Fang Yu 郁方Ph.D. Candidate Advisor: Tevfik Bultan Department
of Computer Science |
|
Research
|
Updated News
[Move] I have moved back to Taiwan and joined the Department of Management Information Systems, National Chengchi University on August 1, 2010. [Find me]
[Graduation] I have graduated from UCSB this June! [Dissertation] [Defense Talk]
[Publication] (1) “Relational String Verification Using Multi-track Automata.” CIAA 2010. (2) “Modular Verification of Synchronization with Reentrant Locks.'' MEMOCODE 2010.
[Award] The 2010 Outstanding Dissertation Award in Computer Science, UCSB. [certificate]
[Tool] Our string analysis tool: STRANGER is online now. [download]
~Life can be simple. Science can be natural.~
Last updated on Sep. 5, 2010