Travelled to:1 × Germany
1 × India
1 × Italy
1 × USA
Collaborated with:R.Singh T.A.Henzinger A.Radhakrishna T.Tarrach O.Olivo E.A.Emerson J.V.Deshmukh S.Chaudhuri L.D'Antoni D.M.Perry D.Kim X.Zhang Shengwei An S.Misailovic A.Gupta P.Cerný E.M.Clarke L.Ryzhyk
Talks about:program (3) preemptiv (2) synthesi (2) quantit (2) cluster (2) repair (2) base (2) use (2) represent (1) synchron (1)
Person: Roopsha Samanta
DBLP: Samanta:Roopsha
Contributed to:
2015
2015
2014
20132016
20192020Wrote 7 papers:
- CAV-2015-CernyCHRRST #scheduling #synthesis #using
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
- POPL-2015-GuptaHRST #concurrent #representation #set
- Succinct Representation of Concurrent Trace Sets (AG, TAH, AR, RS, TT), pp. 433–444.
- SAS-2014-SamantaOE #automation #cost analysis #program repair
- Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
- VMCAI-2013-SamantaDC #analysis #robust
- Robustness Analysis of Networked Systems (RS, JVD, SC), pp. 229–247.
- CAV-2016-DAntoniSS #named #program repair
- Qlose: Program Repair with Quantitative Objectives (LD, RS, RS), pp. 383–401.
- PLDI-2019-PerryKSZ #clustering #imperative #named #programming #semantics
- SemCluster: clustering of imperative programming assignments based on quantitative semantic features (DMP, DK, RS, XZ), pp. 860–873.
- POPL-2020-AnSMS #relational #synthesis #using
- Augmented example-based synthesis using relational perturbation properties (SA, RS, SM, RS), p. 24.