Follow
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
2312017
Quantitative synthesis for concurrent programs
P Černý, K Chatterjee, T Henzinger, A Radhakrishna, R Singh
Computer Aided Verification, 243-259, 2011
1132011
Simulation distances
P Černý, TA Henzinger, A Radhakrishna
CONCUR 2010-Concurrency Theory, 253-268, 2010
942010
Synthesis through unification
R Alur, P Černý, A Radhakrishna
International Conference on Computer Aided Verification, 163-179, 2015
862015
Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis
K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
732021
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
682019
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
632010
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
552013
Quantitative abstraction refinement
P Cerny, TA Henzinger, A Radhakrishna
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
412013
Gist: A Solver for Probabilistic Games
K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
362010
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, 97-139, 2017
302017
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
302015
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
292020
Flashfill++: Scaling programming by example by cutting to the chase
J Cambronero, S Gulwani, V Le, D Perelman, A Radhakrishna, C Simon, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 952-981, 2023
282023
Regression-free synthesis for concurrency
P Černý, TA Henzinger, A Radhakrishna, L Ryzhyk, T Tarrach
International conference on computer aided verification, 568-584, 2014
272014
Segment abstraction for worst-case execution time analysis
P Černý, TA Henzinger, L Kovács, A Radhakrishna, J Zwirchmayr
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
262015
Battery transition systems
U Boker, TA Henzinger, A Radhakrishna
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
262014
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
242019
Conformance constraint discovery: Measuring trust in data-driven systems
A Fariha, A Tiwari, A Radhakrishna, S Gulwani, A Meliou
Proceedings of the 2021 International Conference on Management of Data, 499-512, 2021
212021
Towards more effective AI-assisted programming: A systematic design exploration to improve Visual Studio IntelliCode’s user experience
P Vaithilingam, EL Glassman, P Groenwegen, S Gulwani, AZ Henley, ...
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
202023
The system can't perform the operation now. Try again later.
Articles 1–20