|I am seeking a postdoc to work with me on topics such as program synthesis, relational reasoning and reliable AI! The ideal candidate has an internationally competitive record of research in automated techniques for program verification, program synthesis and/or formal methods (broadly interpreted), and is excited about working on some of the above topics. The postdoc will work closely with my research group, PurForM, and will also have the opportunity to collaborate with other researchers in PurPL. To apply, please email me a CV, a brief statement explaining your interest in this position, and contact information for 2 references. Applicants are strongly encouraged to apply by April 30, 2019. However, applications will be accepted until the position is filled.|
|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.