|
|
|
Vasu Singh
|
|
|
office(s):
BC344
phone(s): [+41 21 69] 31220
|
|
|
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.
|
|
Student