Kalmer Apinis

According to our database, Kalmer Apinis authored at least 15 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Differential Datalog Interpreter.

Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis

CoRR, 2023

Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis.

Kalmer Apinis, Vesal Vojdani

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

On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings.

Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis

Proceedings of the 6th Artificial Intelligence and Cloud Computing Conference, 2023

2021

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani

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

Improving Thread-Modular Abstract Interpretation.

Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani

Proceedings of the Static Analysis - 28th International Symposium, 2021

2018

Demand-driven interprocedural analysis for map-based abstract domains.

Kalmer Apinis, Varmo Vene, Vesal Vojdani

J. Log. Algebraic Methods Program., 2018

2016

Efficiently intertwining widening and narrowing.

Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani

Sci. Comput. Program., 2016

Static race detection for device drivers: the Goblint approach.

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Enhancing Top-Down Solving with Widening and Narrowing.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Frameworks for Interprocedural Analysis of Concurrent Programs.

Helmut Seidl, Kalmer Apinis, Vesal Vojdani

Proceedings of the Software Systems Safety, 2014

Frameworks for analyzing multi-threaded C.

Kalmer Apinis

PhD thesis, 2014

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

How to combine widening and narrowing for non-monotonic systems of equations.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

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.

Alexander Herz, Kalmer Apinis

Proceedings of the NASA Formal Methods, 2012

Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012