Arjun Radhakrishna
Arjun Radhakrishna
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
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
1172017
Quantitative synthesis for concurrent programs
P Černı, K Chatterjee, T Henzinger, A Radhakrishna, R Singh
Computer Aided Verification, 243-259, 2011
1002011
Simulation distances
P Černı, TA Henzinger, A Radhakrishna
CONCUR 2010-Concurrency Theory, 253-268, 2010
782010
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
582010
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
432013
Synthesis through unification
R Alur, P Černı, A Radhakrishna
International Conference on Computer Aided Verification, 163-179, 2015
392015
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
322013
Gist: A solver for probabilistic games
K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna
International Conference on Computer Aided Verification, 665-669, 2010
262010
Succinct representation of concurrent trace sets
A Gupta, TA Henzinger, A Radhakrishna, R Samanta, T Tarrach
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
232015
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
202015
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
Battery transition systems
U Boker, TA Henzinger, A Radhakrishna
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
192014
From non-preemptive to preemptive scheduling using synchronization synthesis
P Černı, EM Clarke, TA Henzinger, A Radhakrishna, L Ryzhyk, ...
Formal methods in system design 50 (2-3), 97-139, 2017
152017
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
142012
On the fly synthesis of edit suggestions
A Miltner, S Gulwani, V Le, A Leung, A Radhakrishna, G Soares, A Tiwari, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
112019
Interface simulation distances
P Černı, M Chmelik, TA Henzinger, A Radhakrishna
Theoretical Computer Science 560, 348-363, 2014
102014
Synthesis and machine learning for heterogeneous extraction
A Iyer, M Jonnalagedda, S Parthasarathy, A Radhakrishna, SK Rajamani
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
82019
DroidStar: callback typestates for Android classes
A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ...
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
82018
Quantitative simulation games
P Černı, TA Henzinger, A Radhakrishna
Time for Verification, 42-60, 2010
72010
Feedback-driven semi-supervised synthesis of program transformations
X Gao, S Barke, A Radhakrishna, G Soares, S Gulwani, A Leung, ...
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20