|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.|
|Jun'19||Direct Manipulation for Imperative Programs with Qinheping Hu, Rishabh Singh and Loris D'Antoni accepted to SAS 2019!|
|Apr'19||New draft available:
Parameterized Synthesis for Distributed Applications with Consensus
|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.||All posts|
|SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features.
D. M. Perry, D. Kim, R. Samanta and X. Zhang.
PLDI 2019. paper
|From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach.
Formal Methods in System Design 2017. paper
|Qlose: Program Repair with Quantitative Objectives.
L. D'Antoni, R. Samanta and R. Singh.
CAV 2016. paper | slides
|Succinct Representation of Concurrent Trace Sets.
A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta and T. Tarrach.
POPL 2015. 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.