Roopsha Samanta

Registered user since Tue 14 Jul 2015

Name:Roopsha Samanta
Affiliation:Purdue University
Research interests:Program synthesis, Program repair, Concurrency

Contributions

MAPS 2021 General Chair in Organizing Committee within the MAPS 2021-track
Chair of Opening Remarks within the MAPS 2021-track
GPCE 2021 Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track
PLDI 2021 Session Chair of Ask Me Anything (part of Ask Me Anything)
Committee Member in Program Committee within the PLDI-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
Session Chair of Synthesis and Decision Procedures (part of Research Papers)
Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track
Session Chair of Complexity / Decision Procedures (part of Research Papers)
PLDI 2019 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Author of SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features within the PLDI Research Papers-track
Artifact Evaluation Co-Chair in Organizing Committee
Committee Member in External Review Committee within the PLDI Research Papers-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
PLMW 2017 Panelist of Career paths in Computer Science within the PLMW-track
Speaker in Mentors within the PLMW-track
Speaker of Formal methods research: The what, the why and the how within the PLMW-track
POPL 2018 Committee Member in Selection Committee within the Student Research Competition-track
PLMW Author of Young Researcher Panel Session within the PLMW-track
Committee Member in Speaker within the PLMW-track
VMCAI Committee Member in Program Committee
Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track
Session Chair of Solver Improvements (part of VMCAI)
POPL 2016 Author of T7: Trace-based Synchronization Synthesis for Concurrent Programs within the Tutorials-track