 | 2006 |
|---|
| 8 |       | Rahul Agarwal,
Scott D. Stoller:
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.
PADTAD 2006: 51-60 |
| 7 | | Rahul Agarwal,
Stephen H. Edwards,
Manuel A. Pérez-Quiñones:
Designing an adaptive learning module to teach software testing.
SIGCSE 2006: 259-263 |
| 2005 |
|---|
| 6 | | Rahul Agarwal,
Amit Sasturkar,
Liqiang Wang,
Scott D. Stoller:
Optimized run-time race detection and atomicity checking using partial discovered types.
ASE 2005: 233-242 |
| 5 | | Rahul Agarwal,
Liqiang Wang,
Scott D. Stoller:
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.
Haifa Verification Conference 2005: 191-207 |
| 4 | | Rahul Agarwal,
Mahender Bisht,
S. N. Maheshwari,
Sanjiva Prasad:
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting.
ICDCIT 2005: 172-183 |
| 3 | | Scott Samson,
Rahul Agarwal,
Sunny Kedia,
Weidong Wang,
Shinzo Onishi,
John Bumgarner:
Fabrication Processes for Packaged Optical MEMS Devices.
ICMENS 2005: 113-120 |
| 2 | | Amit Sasturkar,
Rahul Agarwal,
Liqiang Wang,
Scott D. Stoller:
Automated type-based analysis of data races and atomicity.
PPOPP 2005: 83-94 |
| 2004 |
|---|
| 1 | | Rahul Agarwal,
Scott D. Stoller:
Type Inference for Parameterized Race-Free Java.
VMCAI 2004: 149-160 |
