Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.

Static scheduling in clouds
T.A. Henzinger, A. Singh, V. Singh, T. Wies, D. Zufferey, in:, USENIX, 2011, pp. 1–6.

Quantitative evaluation of BFT protocols
R. Halalai, T.A. Henzinger, V. Singh, in:, IEEE, 2011, pp. 255–264.

Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.

Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.

A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.

FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.

Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.

Verifying local transformations on relaxed memory models
S. Burckhardt, M. Musuvathi, V. Singh, in:, R. Gupta (Ed.), Springer, 2010, pp. 104–123.

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, Distributed Computing 22 (2010) 129–145.

Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.

Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.

Preventing versus curing: Avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16.

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.

Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.

Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.

Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.