Roopsha Samanta

My research mission is to make it easier for programmers to write provably reliable programs. I am particularly interested in developing algorithms and tools for automated program repair and synthesis in domains such as concurrent and distributed systems, personalized education, and machine learning. An overarching theme of my research approach is the use of formal methods and programming languages techniques. Check out my research group, PurForM, to learn more.

I am looking for motivated and talented graduate and undergraduate students! If you wish to work with me, email me with a statement explaining your interest in my research.

News
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
All posts
Select publications
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 Synchronization Synthesis.
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
Conference papers
  1. Qlose: Program Repair with Quantitative Objectives.
    L. D'Antoni, R. Samanta and R. Singh.
    CAV 2016. [paper, slides]
  2. Lipschitz Robustness of Timed I/O Systems.
    T. A. Henzinger, J. Otop and R. Samanta.
    VMCAI 2016. [paper]
  3. 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.
    CAV 2015. [paper, slides]
  4. Succinct Representation of Concurrent Trace Sets.
    A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta and T. Tarrach.
    POPL 2015. [paper, slides]
  5. Lipschitz Robustness of Finite-state Transducers.
    T. A. Henzinger, J. Otop and R. Samanta.
    FSTTCS 2014. [paper, slides]
  6. Cost-aware Program Repair.
    R. Samanta, O. Olivo and E. A. Emerson.
    SAS 2014. [paper, slides]
  7. Robustness Analysis of String Transducers.
    R. Samanta, J. V. Deshmukh and S. Chaudhuri.
    ATVA 2013. [paper, slides]
  8. Robustness Analysis of Networked Systems.
    R. Samanta, J. V. Deshmukh and S. Chaudhuri.
    VMCAI 2013. [paper, slides]
  9. An Algorithmic Framework for Synthesis of Concurrent Programs.
    E. A. Emerson and R. Samanta.
    ATVA 2011. [paper, slides]
  10. Automatic Generation of Local Repairs for Boolean Programs.
    R. Samanta, J. V. Deshmukh and E. A. Emerson.
    FMCAD 2008. [paper, slides]
  11. Codebook Adaptation for Quantized MIMO Beamforming Systems.
    R. Samanta and R. W. Heath, Jr.
    IEEE Asilomar Conference on Signals, Systems, and Computers 2005. [paper]
  12. Frame Theoretic Quantization of Limited Feedback MIMO Beamforming Systems.
    B. Mondal, R. Samanta, and R. W. Heath, Jr.
    Wireless Networks, Communications and Mobile Computing 2005. [paper]
  13. Joint Space-Time Interference Cancellation and Channel Shortening.
    R. Samanta, R. W. Heath, Jr., and B. L. Evans.
    IEEE Asilomar Conference on Signals, Systems, and Computers 2003. [paper]
Journal Papers
  1. 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 2016. [paper]
  2. On the Voronoi Tessellations of a Sphere by an Equiangular Unit Norm Frame.
    B. Mondal, R. Samanta, and R. W. Heath, Jr.
    Applied and Computational Harmonic Analysis 2007. [paper]
  3. Joint Interference Cancellation and Channel Shortening for Multi-User MIMO Systems.
    R. Samanta, R. W. Heath, Jr., and B. L. Evans.
    IEEE Transactions on Vehicular Technology 2007. [paper]
Workshop Papers
  1. Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs.
    R. Samanta.
    SYNT 2012. [paper, slides]
Technical Reports
  1. Optimizing Solution Quality in Synchronization Synthesis.
    P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach.
    ArXiv e-prints 2015, arXiv:1511.07163. [paper]
  2. Economical Tranformations for Structured Data.
    J. V. Deshmukh, E. A. Emerson and R. Samanta.
    The University of Texas at Austin, Department of Computer Sciences, Technical Report TR-10-28 2010. [paper]
Theses
  1. Program Reliability through Algorithmic Design and Analysis.
    Ph.D. Dissertation. The University of Texas at Austin 2013. [dissertation]
  2. Joint Space-Time Interference Cancellation and Channel Shortening.
    Master's Report. The University of Texas at Austin 2003. [report]
Patents
  1. Link Performance Prediction Presence of Co-channel Interference.
    N. Himayat, R. Samanta, and S. Talwar.
    US Patent 7,697,906. Awarded 2010.
  2. MIMO Precoding in the Presence of Co-channel Interference.
    S. Talwar, R. Samanta, and N. Himayat.
    US Patent Application 20,070/211,813. Filed 2006.
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.

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