1. Efficient, Deterministic and Deadlock-free Concurrency Vasudevan, Nalini 2011 Reports Computer science
2. Buffer Sharing in Rendezvous Programs Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
4. Determinism Should Ensure Deadlock-Freedom Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
5. Ensuring Deterministic Concurrency through Compilation Vasudevan, Nalini; Edwards, Stephen A. 2010 Articles Computer science
6. Simple and Fast Biased Locks Vasudevan, Nalini; Namjoshi, Kedar S.; Edwards, Stephen A. 2010 Articles Computer science
8. Buffer Sharing in CSP-like Programs Vasudevan, Nalini; Edwards, Stephen A. 2009 Articles Computer science
9. Celling SHIM: Compiling Deterministic Concurrency to a Heterogeneous Multicore Vasudevan, Nalini; Edwards, Stephen A. 2009 Articles Computer science
10. Compile-Time Analysis and Specialization of Clocks in Concurrent Programs Vasudevan, Nalini; Tardieu, Olivier; Dolby, Julian; Edwards, Stephen A. 2009 Articles Computer science