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 × Austria
1 × India
1 × Italy
1 × Russia
2 × United Kingdom
3 × USA
Collaborated with:
T.A.Henzinger P.Cerný T.Tarrach L.Ryzhyk R.Alur K.Chatterjee R.Samanta U.Boker B.Jobstmann L.Kovács J.Zwirchmayr A.Gupta R.Singh D.Zufferey S.Chaudhuri Arun Shankar Iyer M.Jonnalagedda Suresh Parthasarathy S.K.Rajamani E.M.Clarke Anders Miltner S.Gulwani V.Le A.Leung G.Soares A.T.0001 A.Udupa
Talks about:
synthesi (7) concurr (5) preemptiv (2) abstract (2) quantit (2) probabilist (1) transform (1) represent (1) implement (1) heterogen (1)

Person: Arjun Radhakrishna

DBLP DBLP: Radhakrishna:Arjun

Contributed to:

CAV 20152015
ESOP 20152015
POPL 20152015
CAV 20142014
POPL 20142014
CAV 20132013
POPL 20132013
CAV 20112011
CAV 20102010
OOPSLA 20192019
PLDI 20192019

Wrote 13 papers:

CAV-2015-AlurCR #synthesis #unification
Synthesis Through Unification (RA, PC, AR), pp. 163–179.
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.
ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case
Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.
POPL-2015-GuptaHRST #concurrent #representation #set
Succinct Representation of Concurrent Trace Sets (AG, TAH, AR, RS, TT), pp. 433–444.
CAV-2014-CernyHRRT #concurrent #synthesis
Regression-Free Synthesis for Concurrency (PC, TAH, AR, LR, TT), pp. 568–584.
Battery transition systems (UB, TAH, AR), pp. 595–606.
CAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
POPL-2013-CernyHR #abstraction #refinement
Quantitative abstraction refinement (PC, TAH, AR), pp. 115–128.
CAV-2011-CernyCHRS #concurrent #source code #synthesis
Quantitative Synthesis for Concurrent Programs (PC, KC, TAH, AR, RS), pp. 243–259.
CAV-2010-CernyRZCA #concurrent #implementation #model checking
Model Checking of Linearizability of Concurrent List Implementations (PC, AR, DZ, SC, RA), pp. 465–479.
CAV-2010-ChatterjeeHJR #game studies #named #probability
Gist: A Solver for Probabilistic Games (KC, TAH, BJ, AR), pp. 665–669.
OOPSLA-2019-MiltnerGLLRSTU #on the #on the fly #synthesis
On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.
PLDI-2019-IyerJPRR #machine learning #synthesis
Synthesis and machine learning for heterogeneous extraction (ASI, MJ, SP, AR, SKR), pp. 301–315.

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.