Roopsha Samanta

According to our database, Roopsha Samanta authored at least 31 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Explainable Program Synthesis by Localizing Specifications.

Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023

Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions.

Christopher Wagner, Nouraldin Jaber, Roopsha Samanta

Proc. ACM Program. Lang., April, 2023

Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112).

Swen Jacobs, Kenneth McMillan, Roopsha Samanta, Ilya Sergey

Dagstuhl Reports, March, 2023

Trace-Guided Inductive Synthesis of Recursive Functional Programs.

Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta

Proc. ACM Program. Lang., 2023

ImageEye: Batch Image Processing using Program Synthesis.

Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig

Proc. ACM Program. Lang., 2023

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

CoRR, 2022

Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems.

Christopher Wagner, Nouraldin Jaber, Roopsha Samanta

CoRR, 2022

2021

QuickSilver: modeling and parameterized verification for distributed agreement-based systems.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

Proc. ACM Program. Lang., 2021

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, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Augmented example-based synthesis using relational perturbation properties.

Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta

Proc. ACM Program. Lang., 2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

CoRR, 2020

Parameterized Reasoning for Distributed Systems with Consensus.

Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta

CoRR, 2020

Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.

Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Parameterized Verification of Systems with Global Synchronization and Guards.

Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Direct Manipulation for Imperative Programs.

Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni

Proceedings of the Static Analysis - 26th International Symposium, 2019

SemCluster: clustering of imperative programming assignments based on quantitative semantic features.

David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Program Repair via Direct State Manipulation.

Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni

CoRR, 2018

2017

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

Formal Methods Syst. Des., 2017

2016

Lipschitz Robustness of Timed I/O Systems.

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Qlose: Program Repair with Quantitative Objectives.

Loris D'Antoni, Roopsha Samanta, Rishabh Singh

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Optimizing Solution Quality in Synchronization Synthesis.

Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach

CoRR, 2015

Succinct Representation of Concurrent Trace Sets.

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Cost-Aware Automatic Program Repair.

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson

Proceedings of the Static Analysis - 21st International Symposium, 2014

Lipschitz Robustness of Finite-state Transducers.

Thomas A. Henzinger, Jan Otop, Roopsha Samanta

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Robustness Analysis of Networked Systems.

Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Proceedings of the Verification, 2013

Robustness Analysis of String Transducers.

Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

Roopsha Samanta

Proceedings of the Proceedings First Workshop on Synthesis, 2012

2011

An Algorithmic Framework for Synthesis of Concurrent Programs.

E. Allen Emerson, Roopsha Samanta

Proceedings of the Automated Technology for Verification and Analysis, 2011

2008

Automatic Generation of Local Repairs for Boolean Programs.

Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Joint Interference Cancellation and Channel Shortening in Multiuser-MIMO Systems.

Roopsha Samanta, Robert W. Heath Jr., Brian L. Evans

IEEE Trans. Veh. Technol., 2007