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: Raman:Raghavan
Contributed to:
20142012
2010Wrote 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.