BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Samanta:Roopsha

Contributed to:

CAV 20152015
POPL 20152015
SAS 20142014
VMCAI 20132013
CAV (2) 20162016
PLDI 20192019
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.