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: Radhakrishna:Arjun
Contributed to:
2015
2015
2015201420142013201320112010
2019
2019Wrote 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.
- POPL-2014-BokerHR
- 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.