Roopsha Samanta

Adjunct Assistant Professor of Computer Science

Joined department: Fall 2016

Education

Ph.D., The University of Texas at Austin, Electrical and Computer Engineering (2013)

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.

Selected Publications

L. D'Antoni, R. Samanta and R. Singh, "Qlose: Program Repair with Quantitative Objectives", In Proceedings of Computer Aided Verification (CAV), 2016

P. Černý, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta and T. Tarrach, "From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis", In Proceedings of Computer Aided Verification (CAV), 2015

A. Gupta, T. A. Henzinger, A. Radhakrishna, T. Tarrach and R. Samanta, "Succinct Representation of Concurrent Trace Sets", In Proceedings of Principles of Programming Languages (POPL), 2015

T. A. Henzinger, J. Otop and R. Samanta, "Lipschitz-Robustness of Finite-State Transducers", In Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2014

Last Updated: Dec 4, 2020 1:55 PM