Kalmer Apinis

According to our database1, Kalmer Apinis authored at least 11 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Demand-driven interprocedural analysis for map-based abstract domains.
J. Log. Algebr. Meth. Program., 2018

2016
Efficiently intertwining widening and narrowing.
Sci. Comput. Program., 2016

Static race detection for device drivers: the Goblint approach.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Enhancing Top-Down Solving with Widening and Narrowing.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Efficiently intertwining widening and narrowing.
CoRR, 2015

2014
Frameworks for Interprocedural Analysis of Concurrent Programs.
Proceedings of the Software Systems Safety, 2014

Frameworks for analyzing multi-threaded C.
PhD thesis, 2014

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013
How to combine widening and narrowing for non-monotonic systems of equations.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.
Proceedings of the NASA Formal Methods, 2012

Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012


  Loading...