Roopsha Samanta

Conference/Journal Papers

1. Explainable Program Synthesis by Localizing Specifications.
   A. Nazari, Y. Huang, R. Samanta, A. Radhakrishna, and M. Raghothaman.
   OOPSLA 2023.
2. Trace-Guided Inductive Synthesis of Recursive Functional Programs.
   Y. Yuan, A. Radhakrishna, and R. Samanta.
   PLDI 2023. Distinguished Paper Award. paper
3. ImageEye: Batch Image Processing using Program Synthesis.
   C. Barnaby, Q. Chen, R. Samanta, and I. Dillig
   PLDI 2023.
4. Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems.
   C. Wagner, N. Jaber, and R. Samanta.
   OOPSLA 2023. paper
5. Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.
   N. Jaber, C. Wagner, S. Jacobs, M. Kulkarni, and R. Samanta.
   TACAS 2023. paper
6. QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement.
   N. Jaber, C. Wagner, S. Jacobs, M. Kulkarni, and R. Samanta.
   OOPSLA 2021. paper | Nour's talk video (available under Supplemental Material)
7. HACCLE: Metaprogramming for Secure Multi-Party Computation.
   Y. Bao, K. Sundararajah, R. Malik, Q. Ye, C. Wagner, N. Jaber, F. Wang, M. Ameri, D. Lu, A. Seto, B. Delaware, R. Samanta, A. Kate, C. Garman, J. Blocki, P. Letourneau, B. Meister, J. Springer, T. Rompf, and M. Kulkarni
   GPCE 2021. paper
8. ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.
   X. Lin, H. Zhu, R. Samanta, and S. Jagannathan.
   FMCAD 2020. paper
9. Parameterized Verification of Systems with Global Synchronization and Guards.
   N. Jaber, S. Jacobs, C. Wagner, M. Kulkarni, and R. Samanta.
   CAV 2020. paper | Nour's talk video
10. Augmented Example-based Synthesis using Relational Perturbation Properties.
    S. An, R. Singh, S. Misailovic, and R. Samanta
    POPL 2020. paper | Roopsha's talk video
11. Direct Manipulation for Imperative Programs.
    Q. Hu, R. Samanta, R. Singh, and L. D'Antoni.
    SAS 2019. paper
12. SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features.
    D. M. Perry, D. Kim, R. Samanta, and X. Zhang.
    PLDI 2019. paper | David's talk video
13. From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
    P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, and T. Tarrach.
    Formal Methods in System Design 2017. paper
14. Qlose: Program Repair with Quantitative Objectives.
    L. D'Antoni, R. Samanta, and R. Singh.
    CAV 2016. paper | Roopsha's slides
15. Lipschitz Robustness of Timed I/O Systems.
    T. A. Henzinger, J. Otop, and R. Samanta.
    VMCAI 2016. paper
16. From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
    P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, and T. Tarrach.
    CAV 2015. paper | Roopsha's slides
17. Succinct Representation of Concurrent Trace Sets.
    A. Gupta, T. A. Henzinger, A. Radhakrishna, R. Samanta, and T. Tarrach.
    POPL 2015. paper | Roopsha's slides
18. Lipschitz Robustness of Finite-state Transducers.
    T. A. Henzinger, J. Otop, and R. Samanta.
    FSTTCS 2014. paper | Roopsha's slides
19. Cost-aware Program Repair.
    R. Samanta, O. Olivo and E. A. Emerson.
    SAS 2014. paper | Roopsha's slides
20. Robustness Analysis of String Transducers.
    R. Samanta, J. V. Deshmukh, and S. Chaudhuri.
    ATVA 2013. paper | Roopsha' slides
21. Robustness Analysis of Networked Systems.
    R. Samanta, J. V. Deshmukh, and S. Chaudhuri.
    VMCAI 2013. paper | Roopsha's slides
22. An Algorithmic Framework for Synthesis of Concurrent Programs.
    E. A. Emerson and R. Samanta.
    ATVA 2011. paper | Roopsha' slides
23. Automatic Generation of Local Repairs for Boolean Programs.
    R. Samanta, J. V. Deshmukh, and E. A. Emerson.
    FMCAD 2008. paper | Roopsha's slides
24. 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
25. 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
26. Codebook Adaptation for Quantized MIMO Beamforming Systems.
    R. Samanta and R. W. Heath, Jr.
    IEEE Asilomar Conference on Signals, Systems, and Computers 2005. paper
27. 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
28. 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

Workshop Papers

1. Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs.
   R. Samanta.
   SYNT 2012. paper | Roopsha's slides]

Technical Reports

1. Optimizing Solution Quality in Synchronization Synthesis.
   P. Cerny, E. M. Clarke, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, and 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.