Travelled to:
1 × USA
Collaborated with:
M.K.Ramanathan R.Mudduluru
Talks about:
multithread (1) ineffici (1) pegasus (1) generat (1) barrier (1) automat (1) system (1) direct (1) detect (1) stabl (1)
Person: Monika Dhok
DBLP: Dhok:Monika
Contributed to:
Wrote 2 papers:
- ISSTA-2015-DhokMR #automation #named #parallel #thread
- Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
- FSE-2016-DhokR #detection #generative #testing
- Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.