Kalmer Apinis

According to our database, Kalmer Apinis authored at least 17 papers between 2012 and 2025.

Collaborative distances:

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

2025

A simple formalization of alpha-equivalence.

Kalmer Apinis, Danel Ahman

CoRR, July, 2025

2024

Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program.

Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski

Proceedings of the Proceedings 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) co-located with the 17th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2024), 2024

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