BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Agarwal:Rahul

Contributed to:

ASE 20052005
PPoPP 20052005
VMCAI 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.