Nalini Vasudevan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC 2009: 48-62

6 Baolin Shao, Nalini Vasudevan, Stephen A. Edwards: Compositional deadlock detection for rendezvous communication. EMSOFT 2009: 59-66

5 Nalini Vasudevan, Stephen A. Edwards: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. SAC 2009: 1626-1631

4 Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE 2008: 1498-1503

3 Nalini Vasudevan, Satnam Singh, Stephen A. Edwards: A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12

2 Nalini Vasudevan, Stephen A. Edwards: Static Deadlock Detection for the SHIM Concurrent Language. MEMOCODE 2008: 49-58

Selection of 6 from 7 records - Nalini Vasudevan has 6 coauthors

7		Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC 2009: 48-62
6		Baolin Shao, Nalini Vasudevan, Stephen A. Edwards: Compositional deadlock detection for rendezvous communication. EMSOFT 2009: 59-66
5		Nalini Vasudevan, Stephen A. Edwards: Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore. SAC 2009: 1626-1631
4		Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE 2008: 1498-1503
3		Nalini Vasudevan, Satnam Singh, Stephen A. Edwards: A deterministic multi-way rendezvous library for haskell. IPDPS 2008: 1-12
2		Nalini Vasudevan, Stephen A. Edwards: Static Deadlock Detection for the SHIM Concurrent Language. MEMOCODE 2008: 49-58