Kalmer Apinis
Orcid: 0009-0006-2395-6584
According to our database1,
Kalmer Apinis
authored at least 15 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
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.
Proceedings of the 6th Artificial Intelligence and Cloud Computing Conference, 2023
2021
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Static Analysis - 28th International Symposium, 2021
2018
J. Log. Algebraic Methods Program., 2018
2016
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the Semantics, Logics, and Calculi, 2016
2014
Proceedings of the Software Systems Safety, 2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012