About

Hello and welcome to my home page. Since fall 2009, I am a PhD student at Computer Laboratory, University of Cambridge.

My research interests include:

• Automated theorem proving and decision procedures
• Design and analysis of concurrent systems
• Formal methods
• Programming languages
• Software verification and testing

Publications

• Resource-Sensitive Synchronization Inference by Abduction. Proc. of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12), 2011. With Mike Dodds and Suresh Jagannathan. [pdf]
• Safe Asynchronous Multicore Memory Operations. Proc. of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), 2011. With Mike Dodds, Alastair F. Donaldson and Matthew J. Parkinson. [pdf]
• coreStar: The Core of jStar. Proc. of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011), 2011. With Dino Distefano, Mike Dodds, Radu Grigore, Daiva Naudziuniene and Matthew Parkinson. [pdf]
• Automatic Safety Proofs for Asynchronous Memory Operations. (poster) Proc. of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'11), 2011. With Mike Dodds, Alastair F. Donaldson and Matthew J. Parkinson. [pdf] [pptx (poster)]
• Separation Logic Verification of C Programs with an SMT Solver. Proc. of 4th International Workshop on Systems Software Verification (SSV'09), 2009. With Matthew J. Parkinson and Wolfram Schulte. [pdf]
• Verification of Causality Requirements in Java Memory Model is Undecidable. Proceedings of 8th Int. Conf. on Parallel Processing and Applied Mathematics (PPAM 09), Workshop on Language-Based Parallel Programming Models, 2009. With Paola Glavan and Davor Runje. [pdf]
• An Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy. Journal of Computing and Information Technology – CIT, 16(4), 339--344, 2008. With Davor Runje. [pdf]