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

Summer Smash!

Research Biography Activity Publication Project Family Photo

Updated News

[Award] (1) ETAPS 2009 Scholarship. (2) UCSB Dean's Fellowship (2008-2009).

[Publication] (1) "Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses." ASE 2009. [pdf]

(2) "Symbolic String Verification: Combining String Analysis and Size Analysis." TACAS 2009. [pdf]

(3) "Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization." FSE 2008. [doi]

(4) "Symbolic String Verification: An Automata-based Approach." SPIN 2008. [pdf] 

~Life can be simple. Science can be natural.~

Last updated on Sep. 28, 2009