Malavika Samak

According to our database, Malavika Samak authored at least 11 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms.

Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

2021

Searching for Replacement Classes.

Malavika Samak, José Pablo Cambronero, Martin C. Rinard

CoRR, 2021

2020

Synthesizing replacement classes.

Malavika Samak, Deokhwan Kim, Martin C. Rinard

Proc. ACM Program. Lang., 2020

2017

Optimizing Big-Data Queries Using Program Synthesis.

Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Directed synthesis of failing concurrent executions.

Malavika Samak, Omer Tripp, Murali Krishna Ramanathan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Synthesizing tests for detecting atomicity violations.

Malavika Samak, Murali Krishna Ramanathan

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Synthesizing racy tests.

Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries.

Malavika Samak, Murali Krishna Ramanathan

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Trace driven dynamic deadlock detection and reproduction.

Malavika Samak, Murali Krishna Ramanathan

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Omen: a tool for synthesizing tests for deadlock detection.

Malavika Samak, Murali Krishna Ramanathan

Proceedings of the SPLASH'14, 2014

Multithreaded test synthesis for deadlock detection.

Malavika Samak, Murali Krishna Ramanathan

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014