Kalmer Apinis

Most-cited papers

Static race detection for device drivers: The Goblint approach
V. Vojdani, Kalmer Apinis, V. Rõtov, H. Seidl +2 more
2016International Conference on Automated Software Engineering83 citations
Semantic Scholar
Efficiently intertwining widening and narrowing
G. Amato, F. Scozzari, H. Seidl, Kalmer Apinis +1 more
2015Science of Computer Programming31 citations Open access
Semantic Scholar
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis
Kalmer Apinis, H. Seidl, V. Vojdani
2012Asian Symposium on Programming Languages and Systems29 citations Open access
Semantic Scholar
How to combine widening and narrowing for non-monotonic systems of equations
Kalmer Apinis, H. Seidl, V. Vojdani
2013ACM-SIGPLAN Symposium on Programming Language Design and Implementation23 citations Open access
Semantic Scholar
Improving Thread-Modular Abstract Interpretation
Michael Schwarz, Simmo Saan, H. Seidl, Kalmer Apinis +2 more
2021Sensors Applications Symposium20 citations Open access
Semantic Scholar
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs
M. Schwarz, H. Seidl, V. Vojdani, Kalmer Apinis
2014International Conference on Verification, Model Checking and Abstract Interpretation14 citations Open access
Semantic Scholar
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard +3 more
2021International Conference on Tools and Algorithms for Construction and Analysis of Systems11 citations
Semantic Scholar
Frameworks for analyzing multi-threaded C
Kalmer Apinis
201410 citations
Semantic Scholar
Enhancing Top-Down Solving with Widening and Narrowing
Kalmer Apinis, H. Seidl, V. Vojdani
2015Semantics, Logics, and Calculi9 citations
Semantic Scholar
Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program
Bruno Vicente Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski
2024Datalog3 citations
Semantic Scholar
Demand-driven interprocedural analysis for map-based abstract domains
Kalmer Apinis, Varmo Vene, V. Vojdani
2018J. Log. Algebraic Methods Program.2 citations Open access
Semantic Scholar
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis
Kalmer Apinis, V. Vojdani
2023International Conference on Tools and Algorithms for Construction and Analysis of Systems1 citations Open access
Semantic Scholar
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages
A. Herz, Kalmer Apinis
2012NASA Formal Methods1 citations Open access
Semantic Scholar
A simple formalization of alpha-equivalence
Kalmer Apinis, D. Ahman
2025arXiv.org0 citations
Semantic Scholar
On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings
Bruno Rucy Carneiro Alves De Lima, Merlin Kramer, Kalmer Apinis
2023Artificial Intelligence and Cloud Computing Conference0 citations Open access
Semantic Scholar
Frameworks for Interprocedural Analysis of Concurrent Programs
H. Seidl, Kalmer Apinis, V. Vojdani
2014Software Systems Safety0 citations
Semantic Scholar
Frameworksforanalyzing multi-threadedC
Kalmer Apinis
20140 citations
Semantic Scholar