Fang Yu 郁方Ph.D. CandidateAdvisor: Tevfik BultanDepartment
of Computer Science e-mail: yuf at cs.ucsb.edu |
|
Biography Activity Publication Project Photo
Updated News
[Travel] (1) Feb. 23- Mar. 9, Taiwan. (2) Mar. 18- Apr. 6, ETAPS09, York, UK. [Presentation]
[Award] (1) ETAPS 2009 Scholarship. (2) UCSB Dean's Fellowship (2008-2009).
[Publication] (1) "Symbolic String Verification: Combining String Analysis and Size Analysis." TACAS 2009. [pdf]
(2) "Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization." FSE 2008. [doi]
(3) "Symbolic String Verification: An Automata-based Approach." SPIN 2008. [pdf]
~Life can be simple. Science can be natural.~
Last updated on June 8, 2009