Malavika Samak

Registered user since Wed 26 Jul 2017

Name:Malavika Samak
Bio:

I am a Postdoctoral Associate working at CSAIL, MIT. I received my PhD from the Department of Computer Science and Automation, IISc Bangalore and was supported by a Google India PhD fellowship. For my doctoral dissertation, I designed and implemented techniques to address the problem of automatically synthesizing clients for detecting concurrency bugs in multithreaded libraries. My research interests are in software engineering and programming languages.

Country:United States
Affiliation:CSAIL, MIT

Contributions

SOAP 2023 Author of RaceInjector: Injecting Races To Evaluate And Learn Dynamic Race Detection Algorithms within the SOAP 2023-track
POPL 2023 Committee Member in Program Committee within the POPL-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Committee Member in Reviewers within the Student Research Competition-track
SPLASH 2020 PLMW Co-Chair in Organizing Committee within the PLMW-track
PLMW Co-Chair in Organizing Committee
POPL 2020 Author of Synthesizing Replacement Classes within the Research Papers-track
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
PLACES 2019 Committee Member in Program Committee within the PLACES-track
PPoPP 2019 PC Member in Program Committee
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
PLDI 2018 Committee Member in Student Research Competition Committee
PPoPP 2018 Artifact Evaluation Chair in Artifact Evaluation Committee
Committee Member in Extended Review Committee
PLDI 2017 Committee Member in Artifact Evaluation Committee
SPLASH 2016 Programme Committee in Program Committee within the OOPSLA Artifacts-track
Author of Directed Synthesis of Failing Concurrent Executions within the OOPSLA-track
PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA Artifacts-track
PLDI 2015 Author of Synthesizing racy tests within the Research Papers-track
SPLASH 2014 Author of Multithreaded Test Synthesis for Deadlock Detection within the OOPSLA-track
Presenter of Multithreaded Test Synthesis for Deadlock Detection within the OOPSLA Artifacts-track
Author of Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection within the Demos-track