Roopsha Samanta

Orcid: 0009-0000-2456-217X

Affiliations:
  • Purdue University, West Lafayette, IN, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Explainable Program Synthesis by Localizing Specifications.
Proc. ACM Program. Lang., October, 2023

Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions.
Proc. ACM Program. Lang., April, 2023

Unifying Formal Methods for Trustworthy Distributed Systems (Dagstuhl Seminar 23112).
Dagstuhl Reports, March, 2023

Trace-Guided Inductive Synthesis of Recursive Functional Programs.
Proc. ACM Program. Lang., 2023

ImageEye: Batch Image Processing using Program Synthesis.
Proc. ACM Program. Lang., 2023

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.
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.
CoRR, 2022

Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems.
CoRR, 2022

2021
QuickSilver: modeling and parameterized verification for distributed agreement-based systems.
Proc. ACM Program. Lang., 2021


2020
Augmented example-based synthesis using relational perturbation properties.
Proc. ACM Program. Lang., 2020

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

Parameterized Reasoning for Distributed Systems with Consensus.
CoRR, 2020

Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Parameterized Verification of Systems with Global Synchronization and Guards.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Direct Manipulation for Imperative Programs.
Proceedings of the Static Analysis - 26th International Symposium, 2019

SemCluster: clustering of imperative programming assignments based on quantitative semantic features.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Program Repair via Direct State Manipulation.
CoRR, 2018

2017
From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods Syst. Des., 2017

2016
Lipschitz Robustness of Timed I/O Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Qlose: Program Repair with Quantitative Objectives.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Optimizing Solution Quality in Synchronization Synthesis.
CoRR, 2015

Succinct Representation of Concurrent Trace Sets.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Cost-Aware Automatic Program Repair.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Lipschitz Robustness of Finite-state Transducers.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013
Robustness Analysis of Networked Systems.
Proceedings of the Verification, 2013

Robustness Analysis of String Transducers.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs
Proceedings of the Proceedings First Workshop on Synthesis, 2012

2011
An Algorithmic Framework for Synthesis of Concurrent Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2008
Automatic Generation of Local Repairs for Boolean Programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007
Joint Interference Cancellation and Channel Shortening in Multiuser-MIMO Systems.
IEEE Trans. Veh. Technol., 2007


  Loading...