Arjun Radhakrishna

Quantitative Synthesis for Concurrent Programs

Pavol Černý, Krishnendu Chatterjee, Thomas A. Henzinger et al. · arXiv (Cornell University) · 2011 · 58 citations · Full text

Computing, Computer Engineering, Computer Science +15

Simulation distances

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna · Theoretical Computer Science · 2011 · 50 citations · Full text

On the fly synthesis of edit suggestions

Anders Miltner, Sumit Gulwani, Vu Le et al. · Proceedings of the ACM on Programming Languages · 2019 · 48 citations · Full text

Computing, Computer Science, Computer-assisted Instruction +7

Quantitative abstraction refinement

Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna · 2013 · 26 citations

Computing, Computer Engineering, Computer Science +11

Succinct Representation of Concurrent Trace Sets

Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna et al. · 2014 · 25 citations · Full text

Computing, Computer Science, Algorithms +13