BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × France
1 × United Kingdom
Collaborated with:
V.Sarkar M.T.Vechev E.Yahav R.Surendran S.Chaudhuri J.M.Mellor-Crummey J.Zhao
Talks about:
structur (3) parallel (3) program (2) determin (1) scalabl (1) datarac (1) automat (1) repair (1) precis (1) driven (1)

Person: Raghavan Raman

DBLP DBLP: Raman:Raghavan

Contributed to:

PLDI 20142014
PLDI 20122012
SAS 20102010

Wrote 3 papers:

PLDI-2014-SurendranRCMS #parallel #source code #testing
Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.
PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability
Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
SAS-2010-VechevYRS #automation #parallel #source code #verification
Automatic Verification of Determinism for Structured Parallel Programs (MTV, EY, RR, VS), pp. 455–471.

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.