Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. - Kalmer Apinis; Helmut Seidl; Vesal Vojdani (APLAS, 2012)

Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages. - Alexander Herz; Kalmer Apinis (NASA Formal Methods, 2012)

How to combine widening and narrowing for non-monotonic systems of equations. - Kalmer Apinis; Helmut Seidl; Vesal Vojdani (PLDI, 2013)

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. - Martin D. Schwarz; Helmut Seidl; Vesal Vojdani; Kalmer Apinis (VMCAI, 2014)

Frameworks for analyzing multi-threaded C. - Kalmer Apinis (2014)

Frameworks for Interprocedural Analysis of Concurrent Programs. - Helmut Seidl; Kalmer Apinis; Vesal Vojdani (Software Systems Safety, 2014)

Enhancing Top-Down Solving with Widening and Narrowing. - Kalmer Apinis; Helmut Seidl; Vesal Vojdani (Semantics, Logics, and Calculi, 2016)

Static race detection for device drivers: the Goblint approach. - Vesal Vojdani; Kalmer Apinis; Vootele Rõtov; Helmut Seidl; Varmo Vene; Ralf Vogler (ASE, 2016)

Efficiently intertwining widening and narrowing. - Gianluca Amato; Francesca Scozzari; Helmut Seidl; Kalmer Apinis; Vesal Vojdani (Sci. Comput. Program., 2016)

Demand-driven interprocedural analysis for map-based abstract domains. - Kalmer Apinis; Varmo Vene; Vesal Vojdani (J. Log. Algebraic Methods Program., 2018)

Improving Thread-Modular Abstract Interpretation. - Michael Schwarz 007; Simmo Saan; Helmut Seidl; Kalmer Apinis; Julian Erhard; Vesal Vojdani (SAS, 2021)

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). - Simmo Saan; Michael Schwarz 007; Kalmer Apinis; Julian Erhard; Helmut Seidl; Ralf Vogler; Vesal Vojdani (TACAS (2), 2021)

On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings. - Bruno Rucy Carneiro Alves de Lima; Merlin Kramer; Kalmer Apinis (AICCC, 2023)

Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis. - Kalmer Apinis; Vesal Vojdani (TACAS (2), 2023)

A Differential Datalog Interpreter. - Bruno Rucy Carneiro Alves de Lima; Merlin Kramer; Kalmer Apinis (CoRR, 2023)

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 (Datalog, 2024)

A simple formalization of alpha-equivalence. - Kalmer Apinis; Danel Ahman (CoRR, 2025)