Vesal Vojdani

According to our database, Vesal Vojdani authored at least 35 papers between 2009 and 2025.

Collaborative distances:

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

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

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

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

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

Abstract Debugging with GobPie.

Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani

Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 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

Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis.

Kalmer Apinis, 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

2018

Demand-driven interprocedural analysis for map-based abstract domains.

Kalmer Apinis, Varmo Vene, Vesal Vojdani

J. Log. Algebraic Methods Program., 2018

2016

Efficiently intertwining widening and narrowing.

Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani

Sci. Comput. Program., 2016

Static race detection for device drivers: the Goblint approach.

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Trufflereloader: a low-overhead language-neutral reloader.

Tõnis Pool, Allan Raundahl Gregersen, Vesal Vojdani

Proceedings of the 11th Workshop on Implementation, 2016

Enhancing Top-Down Solving with Widening and Narrowing.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

Frameworks for Interprocedural Analysis of Concurrent Programs.

Helmut Seidl, Kalmer Apinis, Vesal Vojdani

Proceedings of the Software Systems Safety, 2014

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis

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

2013

How to combine widening and narrowing for non-monotonic systems of equations.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.

Kalmer Apinis, Helmut Seidl, Vesal Vojdani

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Shape Analysis of Low-Level C with Overlapping Structures.

Jörg Kreiker, Helmut Seidl, Vesal Vojdani

Proceedings of the Verification, 2010

2009

Region Analysis for Race Detection.

Helmut Seidl, Vesal Vojdani

Proceedings of the Static Analysis, 16th International Symposium, 2009

A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.

Helmut Seidl, Vesal Vojdani, Varmo Vene

Proceedings of the FM 2009: Formal Methods, 2009