팔로우
Kalmer Apinis
Kalmer Apinis
Institute of Computer Science, University of Tartu
ut.ee의 이메일 확인됨
제목
인용
인용
연도
Static race detection for device drivers: the Goblint approach
V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
682016
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
392016
Side-effecting constraint systems: a swiss army knife for program analysis
K Apinis, H Seidl, V Vojdani
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012
352012
How to combine widening and narrowing for non-monotonic systems of equations
K Apinis, H Seidl, V Vojdani
ACM SIGPLAN Notices 48 (6), 377-386, 2013
252013
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints: (Competition Contribution)
S Saan, M Schwarz, K Apinis, J Erhard, H Seidl, R Vogler, V Vojdani
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
192021
Precise analysis of value-dependent synchronization in priority scheduled programs
MD Schwarz, H Seidl, V Vojdani, K Apinis
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
132014
Improving thread-modular abstract interpretation
M Schwarz, S Saan, H Seidl, K Apinis, J Erhard, V Vojdani
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
122021
Frameworks for analyzing multi-threaded C
K Apinis
Technische Universität München, 2014
112014
Enhancing top-down solving with widening and narrowing
K Apinis, H Seidl, V Vojdani
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and …, 2016
92016
Demand-driven interprocedural analysis for map-based abstract domains
K Apinis, V Vene, V Vojdani
Journal of Logical and Algebraic Methods in Programming 100, 57-70, 2018
22018
Class-modular, class-escape and points-to analysis for object-oriented languages
A Herz, K Apinis
NASA Formal Methods Symposium, 106-119, 2012
12012
On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings
BR Carneiro Alves De Lima, M Kramer, K Apinis
Proceedings of the 2023 6th Artificial Intelligence and Cloud Computing …, 2023
2023
A Differential Datalog Interpreter
BRCA de Lima, M Kramer, K Apinis
arXiv preprint arXiv:2308.04214, 2023
2023
A Differential Datalog Interpreter
B Rucy Carneiro Alves de Lima, M Kramer, K Apinis
arXiv e-prints, arXiv: 2308.04214, 2023
2023
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis
K Apinis, V Vojdani
International Conference on Tools and Algorithms for the Construction and …, 2023
2023
Frameworks for Interprocedural Analysis of Concurrent Programs
H Seidl, K Apinis, V Vojdani
NATO Science for Peace and Security Series - D: Information and …, 2014
2014
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis (Tech. report)
K Apinis, H Seidl, V Vojdani
2012
Loimeanalüüs Goblintis
V Vojdani, K Apinis
Context-Sensitive Meta-Constraint Systems for Modular and Explainable Program Analysis‹
K Apinis, V Vojdani
Approaches to Thread-Modular Static Analysis
V Vojdani, K Apinis, S Saan
NWPT 2019, 81, 0
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20