[Course] The course webpage of data structures has been announced!
[Study@UCSB] Here are my dissertation and defense slides.
[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. 1, 2010