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.

Opening for a postdoctoral researcher
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.

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.
Short Bio:
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.

Contact:
Office: Lawson 2116L
Address: 305 N. University St., Purdue University, West Lafayette, IN 47907-2107
Email: roopsha at purdue.edu
Phone: (765) 496-9434