Roopsha Samanta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2008–2023
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TACAS | Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification. | Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta |
| 2021 | GPCE | HACCLE: metaprogramming for secure multi-party computation. | Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benot Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni |
| 2020 | CAV | Parameterized Verification of Systems with Global Synchronization and Guards. | Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta |
| 2020 | FMCAD | Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. | Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan |
| 2019 | PLDI | SemCluster: clustering of imperative programming assignments based on quantitative semantic features. | David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang |
| 2019 | SAS | Direct Manipulation for Imperative Programs. | Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni |
| 2016 | CAV | Qlose: Program Repair with Quantitative Objectives. | Loris D'Antoni, Roopsha Samanta, Rishabh Singh |
| 2016 | VMCAI | Lipschitz Robustness of Timed I/O Systems. | Thomas A. Henzinger, Jan Otop, Roopsha Samanta |
| 2015 | CAV | From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. | Pavol Cern, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach |
| 2015 | POPL | Succinct Representation of Concurrent Trace Sets. | Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
| 2014 | SAS | Cost-Aware Automatic Program Repair. | Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson |
| 2013 | ATVA | Robustness Analysis of String Transducers. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2013 | VMCAI | Robustness Analysis of Networked Systems. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2011 | ATVA | An Algorithmic Framework for Synthesis of Concurrent Programs. | E. Allen Emerson, Roopsha Samanta |
| 2008 | FMCAD | Automatic Generation of Local Repairs for Boolean Programs. | Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson |