Travelled to:2 × USA
Collaborated with:S.D.Stoller A.Sasturkar L.Wang
Talks about:type (3) race (3) atom (2) parameter (1) partial (1) analysi (1) discov (1) detect (1) optim (1) infer (1)
Person: Rahul Agarwal
DBLP: Agarwal:Rahul
Contributed to:
2005
2005
2004Wrote 3 papers:
- ASE-2005-AgarwalSWS #concurrent #detection #runtime #using
- Optimized run-time race detection and atomicity checking using partial discovered types (RA, AS, LW, SDS), pp. 233–242.
- PPoPP-2005-SasturkarAWS #analysis #automation #type system
- Automated type-based analysis of data races and atomicity (AS, RA, LW, SDS), pp. 83–94.
- VMCAI-2004-AgarwalS #java #type inference
- Type Inference for Parameterized Race-Free Java (RA, SDS), pp. 149–160.