Roopsha Samanta

40 papers A* 2B 9Journal 22Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions.
Proc. ACM Program. Lang.
Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
2023 J jnl
Explainable Program Synthesis by Localizing Specifications.
Proc. ACM Program. Lang.
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
2023 J jnl
ImageEye: Batch Image Processing Using Program Synthesis.
CoRR
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
2023 J jnl
ImageEye: Batch Image Processing using Program Synthesis.
Proc. ACM Program. Lang.
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Isil Dillig
2023 — conf
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.
TACAS (2)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2023 J jnl
Trace-Guided Inductive Synthesis of Recursive Functional Programs.
Proc. ACM Program. Lang.
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
2023 J jnl
Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112).
Dagstuhl Reports
Swen Jacobs, Kenneth L. McMillan, Roopsha Samanta, Ilya Sergey
2022 J jnl
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems.
CoRR
Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
2022 J jnl
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.
CoRR
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2021 B conf
HACCLE: metaprogramming for secure multi-party computation.
GPCE
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
2021 — ed.
MAPS@PLDI 2021: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, Virtual Event, Canada, 21 June, 2021
MAPS@PLDI
Roopsha Samanta, Isil Dillig
2021 J jnl
QuickSilver: modeling and parameterized verification for distributed agreement-based systems.
Proc. ACM Program. Lang.
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2020 B conf
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.
FMCAD
Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
2020 J jnl
Augmented example-based synthesis using relational perturbation properties.
Proc. ACM Program. Lang.
Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
2020 J jnl
HACCLE: An Ecosystem for Building Secure Multi-Party Computations.
CoRR
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
2020 J jnl
Parameterized Reasoning for Distributed Systems with Consensus.
CoRR
Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni, Roopsha Samanta
2020 — conf
Parameterized Verification of Systems with Global Synchronization and Guards.
CAV (1)
Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
2020 J jnl
Parameterized Verification of Systems with Global Synchronization and Guards.
CoRR
Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
2019 J jnl
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.
CoRR
Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
2019 B conf
Direct Manipulation for Imperative Programs.
SAS
Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2019 A* conf
SemCluster: clustering of imperative programming assignments based on quantitative semantic features.
PLDI
David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang
2018 J jnl
Program Repair via Direct State Manipulation.
CoRR
Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2017 J jnl
From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods Syst. Des.
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2016 B conf
Lipschitz Robustness of Timed I/O Systems.
VMCAI
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
2016 — conf
Qlose: Program Repair with Quantitative Objectives.
CAV (2)
Loris D'Antoni, Roopsha Samanta, Rishabh Singh
2015 — conf
From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.
CAV (2)
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 J jnl
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
CoRR
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 J jnl
Lipschitz Robustness of Timed I/O Systems.
CoRR
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
2015 J jnl
Optimizing Solution Quality in Synchronization Synthesis.
CoRR
Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
2015 A* conf
Succinct Representation of Concurrent Trace Sets.
POPL
Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach
2014 B conf
Cost-Aware Automatic Program Repair.
SAS
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2014 — conf
Lipschitz Robustness of Finite-state Transducers.
FSTTCS
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
2014 J jnl
Lipschitz Robustness of Finite-state Transducers.
CoRR
Thomas A. Henzinger, Jan Otop, Roopsha Samanta
2013 J jnl
Cost-Aware Automatic Program Repair.
CoRR
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2013 B conf
Robustness Analysis of Networked Systems.
VMCAI
Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
2013 B conf
Robustness Analysis of String Transducers.
ATVA
Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
2012 — conf
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs
SYNT
Roopsha Samanta
2011 B conf
An Algorithmic Framework for Synthesis of Concurrent Programs.
ATVA
E. Allen Emerson, Roopsha Samanta
2008 B conf
Automatic Generation of Local Repairs for Boolean Programs.
FMCAD
Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson
2007 J jnl
Joint Interference Cancellation and Channel Shortening in Multiuser-MIMO Systems.
IEEE Trans. Veh. Technol.
Roopsha Samanta, Robert W. Heath Jr., Brian L. Evans