Roopsha Samanta - Department of Computer Science - Purdue University Skip to main content

Roopsha Samanta

Adjunct Assistant Professor of Computer Science

Roopsha Samanta

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 Un… ↓More

Joined department: Fall 2016

Research Areas


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

Contact Info

roopsha@purdue.edu

Websites

My Homepage

dblp

Department of Computer Science, 305 N. University Street, West Lafayette, IN 47907

Purdue University Indianapolis, 723 W. Michigan St., Indianapolis, IN 46202

Phone: (765) 494-6010 • Fax: (765) 494-0739

Copyright © 2024 Purdue University | An equal access/equal opportunity university | Copyright Complaints | DOE Degree Scorecards

Trouble with this page? Accessibility issues? Please contact the College of Science.