Kalmer Apinis

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 11

Top Venues

CoRR

TACAS (2)

Semantics, Logics, and Calculi

J. Log. Algebraic Methods Program.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings. AICCC (2023)
Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
A Differential Datalog Interpreter. CoRR (2023)
Kalmer Apinis, Vesal Vojdani
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis. TACAS (2) (2023)
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
Improving Thread-Modular Abstract Interpretation. SAS (2021)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) (2021)
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
Improving Thread-Modular Abstract Interpretation. CoRR (2021)
Kalmer Apinis, Varmo Vene, Vesal Vojdani
Demand-driven interprocedural analysis for map-based abstract domains. J. Log. Algebraic Methods Program. 100 (2018)
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
Static race detection for device drivers: the Goblint approach. ASE (2016)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. Sci. Comput. Program. 120 (2016)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
Enhancing Top-Down Solving with Widening and Narrowing. Semantics, Logics, and Calculi (2016)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. CoRR (2015)
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. VMCAI (2014)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
How to combine widening and narrowing for non-monotonic systems of equations. PLDI (2013)
Alexander Herz, Kalmer Apinis
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages. NASA Formal Methods (2012)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. APLAS (2012)

Kalmer Apinis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kalmer Apinis