Roopsha Samanta

Identifiers

• name variant Roopsha Samanta 0.60 · backfill

Papers (6)

1. Program Repair via Direct State Manipulation cs.PL · 2018 · author #3
2. Optimizing Solution Quality in Synchronization Synthesis cs.PL · 2015 · author #6
3. Lipschitz Robustness of Timed I/O Systems cs.FL · 2015 · author #3
4. From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis cs.PL · 2015 · author #6
5. Lipschitz Robustness of Finite-state Transducers cs.FL · 2014 · author #3
6. Cost-Aware Automatic Program Repair cs.PL · 2013 · author #1

Mentions

• 1511.07163 #6 · backfill · confidence 0.70 Roopsha Samanta
• 1506.01233 #3 · backfill · confidence 0.70 Roopsha Samanta
• 1505.04533 #6 · backfill · confidence 0.70 Roopsha Samanta
• 1404.6452 #3 · backfill · confidence 0.70 Roopsha Samanta
• 1307.7281 #1 · backfill · confidence 0.70 Roopsha Samanta

Frequent Coauthors

• Thomas A. Henzinger 4 shared papers
• Arjun Radhakrishna 2 shared papers
• Edmund M. Clarke 2 shared papers
• Jan Otop 2 shared papers
• Leonid Ryzhyk 2 shared papers
• Pavol \v{C}ern\'y 2 shared papers
• Thorsten Tarrach 2 shared papers
• E. Allen Emerson 1 shared papers
• Isaac Evavold 1 shared papers
• Loris D'Antoni 1 shared papers
• Oswaldo Olivo 1 shared papers
• Qinheping Hu 1 shared papers
• Rishabh Singh 1 shared papers