# Arjun Radhakrishna

According to our database

^{1}, Arjun Radhakrishna## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

From non-preemptive to preemptive scheduling using synchronization synthesis.

Formal Methods in System Design, 2017

Learning Asynchronous Typestates for Android Classes.

CoRR, 2017

Scaling Enumerative Program Synthesis via Divide and Conquer.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Optimizing Solution Quality in Synchronization Synthesis.

CoRR, 2015

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.

CoRR, 2015

Synthesis through Unification.

CoRR, 2015

Succinct Representation of Concurrent Trace Sets.

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Segment Abstraction for Worst-Case Execution Time Analysis.

Proceedings of the Programming Languages and Systems, 2015

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Synthesis Through Unification.

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Interface simulation distances.

Theor. Comput. Sci., 2014

Regression-free Synthesis for Concurrency.

CoRR, 2014

Battery transition systems.

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Regression-Free Synthesis for Concurrency.

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Quantitative abstraction refinement.

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Simulation distances.

Theor. Comput. Sci., 2012

Interface Simulation Distances

Proceedings of the Proceedings Third International Symposium on Games, 2012

Synthesis from incompatible specifications.

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Quantitative Synthesis for Concurrent Programs

CoRR, 2011

Quantitative Synthesis for Concurrent Programs.

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

GIST: A Solver for Probabilistic Games

CoRR, 2010

Simulation Distances.

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Gist: A Solver for Probabilistic Games.

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Model Checking of Linearizability of Concurrent List Implementations.

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Quantitative Simulation Games.

Proceedings of the Time for Verification, 2010