français | english		EPFL > people@EPFL > Vasu Singh login

Student ETU EDOC EDIC Doctoral Assistant IC IIF MTC

Vasu Singh BIOGRAPHY I am a PhD student working with Prof. Thomas A. Henzinger since July 2005. I graduated from IIT Bombay with a Bachelor's in Electrical Engineering and a Master's in Communications and Signal Processing, in 2004. Professional course Teaching Assistant (Theoretical Computer Science), MTC, EPFL, Fall 2005-2006 Teaching Assistant (Theoretical Computer Science), MTC, EPFL, Fall 2006-2007 Teaching Assistant (Introduction to Distributed Systems), with Prof. Benoit Garbinato, UNIL, Spring 2006-2007 Teaching Assistant (Theoretical Computer Science), MTC, EPFL, Spring 2007-2008 MISSION My research interests are in the field of verification of concurrent programs and distributed algorithms. Currently, I am working on a generic verification technique for software transaction memories. MAIN PUBLICATIONS V. Singh. Formalizing and verifying transactional memories. PhD thesis, Lausanne, 2009. [ Details | Link ] R. Guerraoui, T. Henzinger, M. Kapalka, and V. Singh. Transactions in the Jungle. Technical report, 2009. [ Details | Full Text ] R. Guerraoui, T. A. Henzinger, and V. Singh. Software Transactional Memory on Relaxed Memory Models. In Proceedings of the 21st International Conference on Computer Aided Verification, Berlin, 2009. Springer. [ Details | Link ] A. Dragojevic, A. Singh, R. Guerraoui, and V. Singh. Preventing versus Curing: Avoiding Conflicts in Transactional Memories. In Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2009. [ Details | Full Text | Link ] R. Guerraoui, T. A. Henzinger, and V. Singh. Permissiveness in Transactional Memories. In Proceedings of the 22nd International Symposium on Distributed Computing, 2008. [ Details | Full Text ] R. Guerraoui, T. A. Henzinger, and V. Singh. Completeness and Nondeterminism in Model Checking Transactional Memories. In Proceedings of the 19th International Conference on Concurrency Theory, 2008. [ Details | Full Text ] R. Guerraoui, T. Henzinger, and V. Singh. Model Checking Transactional Memories. In ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI), 2008. [ Details | Full Text | Link ] Other talks * "Model checking transactional memories" in Alpine Verification Meeting, Semmering 2008. * "Verification in transactional memories" at Microsoft Research, Redmond 2008. * "Compiler transformations in concurrent programs" at Microsoft Research, Redmond 2008 and at MTC, EPFL, Lausanne 2008.