Fang Yu 郁方 Ph.D. Candidate Advisor: Tevfik Bultan Department of Computer Science College of Engineering University of California, Santa Barbara e-mail: yuf at cs.ucsb.edu My CV My Public Key

Samuel is Two Years Old.

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