Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Roopsha Samanta
Researcher
PaperTowards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent ProgramsAuthorship / preprint / 2012PaperCost-Aware Automatic Program RepairAuthorship / preprint / 2014PaperBounded Verification of Doubly-Unbounded Distributed Agreement-Based SystemsAuthorship / preprint / 2022PaperLipschitz Robustness of Finite-state TransducersAuthorship / preprint / 2014PaperLipschitz Robustness of Timed I/O SystemsAuthorship / preprint / 2015PaperSynthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)Authorship / preprint / 2023PaperFrom Non-preemptive to Preemptive Scheduling using Synchronization SynthesisAuthorship / preprint / 2015PaperOptimizing Solution Quality in Synchronization SynthesisAuthorship / preprint / 2015