|Feb'19||SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features (conditionally) accepted to PLDI 2019!|
|Feb'19||Delighted and honored to receive an NSF CAREER Award!|
|Jan'19||Excited to be serving on the PC of POPL 2020.|
|Nov'18||Two new drafts available:
1. Augmented Example-based Synthesis
2. SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features
|Oct'18||Excited to be co-chairing the AEC and serving on the ERC of PLDI 2019.|
|Sep'18||Gave an invited talk at Papers We Love Conference 2018. video | slides|
|Qlose: Program Repair with Quantitative Objectives.
L. D'Antoni, R. Samanta and R. Singh.
CAV 2016. paper | slides
|From Non-preemptive to Preemptive Scheduling using
P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach.
CAV 2015. paper | slides
|Succinct Representation of Concurrent Trace Sets.
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta and T. Tarrach.
POPL 2015. paper |slides
|Lipschitz Robustness of Finite-state Transducers.
T. A. Henzinger, J. Otop and R. Samanta.
FSTTCS 2014. paper | slides
|Roopsha Samanta is an Assistant Professor in the Department of Computer Science at Purdue University. Her research mission is to make it easier for people to build provably reliable programs. Her research focuses on developing algorithms and tools for automated program repair and synthesis, and targets diverse application domains such as concurrent and distributed systems, personalized education and machine learning. Roopsha completed her Ph.D. at The University of Texas at Austin in 2013 and was a postdoctoral researcher at the Institute of Science and Technology Austria (IST Austria) from 2014-2016.|