Arjun Radhakrishna

According to our database1, Arjun Radhakrishna
  • authored at least 26 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of four.

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


  Loading...