Kalmer Apinis

19 papers A* 2B 3Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
A simple formalization of alpha-equivalence.
CoRR
Kalmer Apinis, Danel Ahman
2024 — conf
Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program.
Datalog
Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski
2023 J jnl
A Differential Datalog Interpreter.
CoRR
Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
2023 — conf
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis.
TACAS (2)
Kalmer Apinis, Vesal Vojdani
2023 — conf
On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings.
AICCC
Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
2021 — conf
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
TACAS (2)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
2021 B conf
Improving Thread-Modular Abstract Interpretation.
SAS
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2021 J jnl
Improving Thread-Modular Abstract Interpretation.
CoRR
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2018 J jnl
Demand-driven interprocedural analysis for map-based abstract domains.
J. Log. Algebraic Methods Program.
Kalmer Apinis, Varmo Vene, Vesal Vojdani
2016 J jnl
Efficiently intertwining widening and narrowing.
Sci. Comput. Program.
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2016 — conf
Enhancing Top-Down Solving with Widening and Narrowing.
Semantics, Logics, and Calculi
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2016 A* conf
Static race detection for device drivers: the Goblint approach.
ASE
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
2015 J jnl
Efficiently intertwining widening and narrowing.
CoRR
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2014 — ch.
Frameworks for Interprocedural Analysis of Concurrent Programs.
Software Systems Safety
Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2014 — —
Frameworks for analyzing multi-threaded C.
Kalmer Apinis
2014 B conf
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.
VMCAI
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
2013 A* conf
How to combine widening and narrowing for non-monotonic systems of equations.
PLDI
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2012 — conf
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages.
NASA Formal Methods
Alexander Herz, Kalmer Apinis
2012 B conf
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.
APLAS
Kalmer Apinis, Helmut Seidl, Vesal Vojdani