Arjun Radhakrishna
Arjun Radhakrishna
Verified email at microsoft.com - Homepage
TitleCited byYear
Quantitative synthesis for concurrent programs
P Černý, K Chatterjee, T Henzinger, A Radhakrishna, R Singh
Computer Aided Verification, 243-259, 2011
862011
Simulation distances
P Černý, TA Henzinger, A Radhakrishna
Theoretical Computer Science 413 (1), 21-35, 2012
742012
Simulation distances
P Černý, TA Henzinger, A Radhakrishna
CONCUR 2010-Concurrency Theory, 253-268, 2010
742010
Scaling enumerative program synthesis via divide and conquer
R Alur, A Radhakrishna, A Udupa
International Conference on Tools and Algorithms for the Construction and …, 2017
512017
Model checking of linearizability of concurrent list implementations
P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur
International Conference on Computer Aided Verification, 465-479, 2010
512010
Efficient synthesis for concurrency by semantics-preserving transformations
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International Conference on Computer Aided Verification, 951-967, 2013
352013
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
ACM SIGPLAN Notices 48 (1), 115-128, 2013
292013
Synthesis through unification
R Alur, P Černý, A Radhakrishna
International Conference on Computer Aided Verification, 163-179, 2015
252015
Regression-free synthesis for concurrency
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
192014
Succinct representation of concurrent trace sets
A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach
ACM SIGPLAN Notices 50 (1), 433-444, 2015
182015
Segment abstraction for worst-case execution time analysis
P Černý, TA Henzinger, L Kovács, A Radhakrishna, J Zwirchmayr
European Symposium on Programming Languages and Systems, 105-131, 2015
172015
Gist: A solver for probabilistic games
K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna
International Conference on Computer Aided Verification, 665-669, 2010
172010
Battery transition systems
U Boker, TA Henzinger, A Radhakrishna
ACM SIGPLAN Notices 49 (1), 595-606, 2014
152014
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
International Conference on Computer Aided Verification, 180-197, 2015
142015
Synthesis from incompatible specifications
P Černý, S Gopi, TA Henzinger, A Radhakrishna, N Totla
Proceedings of the tenth ACM international conference on Embedded software …, 2012
132012
Interface simulation distances
P Černý, M Chmelik, TA Henzinger, A Radhakrishna
Theoretical Computer Science 560, 348-363, 2014
102014
Quantitative simulation games
P Černý, TA Henzinger, A Radhakrishna
Time for verification, 42-60, 2010
62010
D roid S tar: callback typestates for Android classes
A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ...
Proceedings of the 40th International Conference on Software Engineering …, 2018
42018
Learning asynchronous typestates for android classes
A Radhakrishna, N Lewchenko, S Meier, S Mover, KC Sripada, D Zufferey, ...
arXiv preprint arXiv:1701.07842, 2017
22017
Optimizing Solution Quality in Synchronization Synthesis
P Černý, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
arXiv preprint arXiv:1511.07163, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20