Roopsha Samanta

Registered user since Tue 14 Jul 2015

Name: Roopsha Samanta

Affiliation: Purdue University

Personal website: https://www.cs.purdue.edu/homes/roopsha/

Research interests: Program synthesis, Program repair, Concurrency

Contributions

PLDI 2021Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2020Committee 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 2019Artifact 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 2018Committee Member in Review Committee within the OOPSLA-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
PLMW 2017Panelist 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 2018Committee Member in Selection Committee within the Student Research Competition-track
PLMWAuthor of Young Researcher Panel Session within the PLMW-track
Committee Member in Speaker within the PLMW-track
VMCAICommittee 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 2016Author of T7: Trace-based Synchronization Synthesis for Concurrent Programs within the Tutorials-track