Malavika Samak
Massachusetts Institute of Technology(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Radiation Effects in Electronics, Software Engineering Research, Software Reliability and Analysis Research
Most-Cited Works
- → Multithreaded test synthesis for deadlock detection(2014)46 cited
- → Synthesizing racy tests(2015)42 cited
- → Trace driven dynamic deadlock detection and reproduction(2014)37 cited
- → Synthesizing tests for detecting atomicity violations(2015)34 cited
- → Optimizing Big-Data Queries Using Program Synthesis(2017)18 cited
- → Directed synthesis of failing concurrent executions(2016)18 cited
- → Synthesizing replacement classes(2019)14 cited
- → Omen+: a precise dynamic deadlock detector for multithreaded Java libraries(2014)9 cited