Anthony W. Lin
I am interested in all aspects (ranging from theory to systems) of the development of principled techniques that can make software less error-prone, and more efficient. My current research interests lie in the field of constraint solving, program analysis, and formal verification, especially motivated by problems in (i) web security, (ii) web performance optimisation, (iii) analysis of concurrent programs with many processes, and (iv) graph databases. I have found logic and automata extremely useful (as abstractions, and algorithmic toolbox) in solving these problems.
For more information, see my personal home page.
Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters
Matthew Hague and Anthony Widjaja Lin
In Computer Aided Verification (CAV), 2012.