Julian Erhard

According to our database, Julian Erhard authored at least 32 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Context Gas and friends: taming context-sensitivity on the fly.

Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, Helmut Seidl

Int. J. Softw. Tools Technol. Transf., April, 2025

Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses.

Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, Helmut Seidl

Proc. ACM Program. Lang., 2025

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2024

The digest framework: concurrency-sensitivity for abstract interpretation.

Michael Schwarz, Julian Erhard

Int. J. Softw. Tools Technol. Transf., December, 2024

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

Int. J. Softw. Tools Technol. Transf., December, 2024

Goblint at SV-COMP 2025.

Simmo Saan, Karoliine Holter, Julian Erhard, Michael Schwarz, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2024

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C.

Julian Erhard, Michael Schwarz, Vesal Vojdani, Simmo Saan, Helmut Seidl

Int. J. Softw. Tools Technol. Transf., October, 2024

Goblint at SV-COMP 2025.

Simmo Saan, Karoliine Holter, Julian Erhard, Michael Schwarz, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, October, 2024

Artifact for the VMCAI'2025 Paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts".

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, October, 2024

Non-numerical weakly relational domains.

Helmut Seidl, Julian Erhard, Sarah Tilscher, Michael Schwarz

Int. J. Softw. Tools Technol. Transf., August, 2024

C-2PO: A Weakly Relational Pointer Domain.

Rebecca Ghidini, Michael Schwarz, Julian Erhard, Helmut Seidl

Dataset, August, 2024

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

CoRR, 2024

Correctness Witness Validation by Abstract Interpretation.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly.

Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, Helmut Seidl

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

C-2PO: A Weakly Relational Pointer Domain: "These Are Not the Memory Cells You Are Looking For".

Rebecca Ghidini, Julian Erhard, Michael Schwarz, Helmut Seidl

Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2024

2-Pointer Logic.

Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher

Proceedings of the Taming the Infinities of Concurrency, 2024

2023

Goblint at SV-COMP 2024.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Correctness Witness Validation by Abstract Interpretation.

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Dataset, August, 2023

Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).

Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.

Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.

Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani

Proceedings of the Programming Languages and Systems, 2023

2022

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

CoRR, 2022

2021

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Improving Thread-Modular Abstract Interpretation.

Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Incremental Abstract Interpretation.

Helmut Seidl, Julian Erhard, Ralf Vogler

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020