팔로우
Julian Erhard
제목
인용
인용
연도
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
Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution)
S Saan, M Schwarz, J Erhard, M Pietsch, H Seidl, S Tilscher, V Vojdani
International Conference on Tools and Algorithms for the Construction and …, 2023
132023
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
Clustered relational thread-modular abstract interpretation with local traces
M Schwarz, S Saan, H Seidl, J Erhard, V Vojdani
European Symposium on Programming, 28-58, 2023
112023
Incremental abstract interpretation
H Seidl, J Erhard, R Vogler
From Lambda Calculus to Cybersecurity Through Program Analysis: Essays …, 2020
102020
Goblint: Abstract Interpretation for Memory Safety and Termination: (Competition Contribution)
S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
32024
When long jumps fall short: Control-flow tracking and misuse detection for non-local jumps in C
M Schwarz, J Erhard, V Vojdani, S Saan, H Seidl
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023
32023
Correctness witness validation by abstract interpretation
S Saan, M Schwarz, J Erhard, H Seidl, S Tilscher, V Vojdani
International Conference on Verification, Model Checking, and Abstract …, 2023
22023
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl
arXiv preprint arXiv:2209.10445, 2022
22022
Goblint Validator: Correctness Witness Validation by Abstract Interpretation: (Competition Contribution)
S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
12024
2-pointer logic
H Seidl, J Erhard, M Schwarz, S Tilscher
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024
12024
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
J Erhard, JF Schinabeck, M Schwarz, H Seidl
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of …, 2024
2024
Non-Numerical Weakly Relational Domains
H Seidl, J Erhard, S Tilscher, M Schwarz
arXiv preprint arXiv:2401.05165, 2024
2024
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–13