 | 2009 |
|---|
| 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 |
| 2008 |
|---|
| 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 |
| 2007 |
|---|
| 1 | | Nalini Vasudevan,
Gowri C. Parthasarathy:
Comparative Analysis of Neural Network Techniques Vs Statistical Methods in Capacity Planning.
SERA 2007: 799-806 |
