Vesal Vojdani

36 papers A* 3A 1B 6Journal 11Unranked 14
YearRankTypeTitle / Venue / Authors
2026 — conf
Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).
TACAS (2)
Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl
2026 — conf
Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution).
TACAS (2)
Karoliine Holter, Paulína Ayaziová, Simmo Saan, Jan Strejcek, Vesal Vojdani
2025 — conf
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts.
VMCAI (1)
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2025 J jnl
Sound Static Data Race Verification for C: Is the Race Lost?
ACM Trans. Program. Lang. Syst.
Karoliine Holter, Simmo Saan, Patrick Lam, Vesal Vojdani
2024 — conf
Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results.
Onward!
Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani
2024 — conf
Abstract Debugging with GobPie.
DEBT@ISSTA
Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani
2024 — conf
Correctness Witness Validation by Abstract Interpretation.
VMCAI (1)
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2024 J jnl
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).
CoRR
Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2024 — conf
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).
TACAS (3)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
2024 — conf
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).
TACAS (3)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
2024 J jnl
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.
Int. J. Softw. Tools Technol. Transf.
Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl
2024 J jnl
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C.
Int. J. Softw. Tools Technol. Transf.
Julian Erhard, Michael Schwarz, Vesal Vojdani, Simmo Saan, Helmut Seidl
2023 A conf
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
ESOP
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
2023 J jnl
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
CoRR
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
2023 — conf
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis.
TACAS (2)
Kalmer Apinis, Vesal Vojdani
2023 J jnl
Correctness Witness Validation by Abstract Interpretation.
CoRR
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2023 — conf
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution).
TACAS (2)
Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
2023 — conf
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C.
SOAP@PLDI
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl
2022 J jnl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
CoRR
Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl
2021 — conf
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).
TACAS (2)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
2021 B conf
Improving Thread-Modular Abstract Interpretation.
SAS
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2021 J jnl
Improving Thread-Modular Abstract Interpretation.
CoRR
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2018 J jnl
Demand-driven interprocedural analysis for map-based abstract domains.
J. Log. Algebraic Methods Program.
Kalmer Apinis, Varmo Vene, Vesal Vojdani
2016 J jnl
Efficiently intertwining widening and narrowing.
Sci. Comput. Program.
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2016 — conf
Enhancing Top-Down Solving with Widening and Narrowing.
Semantics, Logics, and Calculi
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2016 A* conf
Static race detection for device drivers: the Goblint approach.
ASE
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
2016 — conf
Trufflereloader: a low-overhead language-neutral reloader.
ICOOOLPS@ECOOP
Tõnis Pool, Allan Raundahl Gregersen, Vesal Vojdani
2015 J jnl
Efficiently intertwining widening and narrowing.
CoRR
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2014 — ch.
Frameworks for Interprocedural Analysis of Concurrent Programs.
Software Systems Safety
Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2014 B conf
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs.
VMCAI
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
2013 A* conf
How to combine widening and narrowing for non-monotonic systems of equations.
PLDI
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2012 B conf
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis.
APLAS
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2011 A* conf
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.
POPL
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm
2010 B conf
Shape Analysis of Low-Level C with Overlapping Structures.
VMCAI
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
2009 B conf
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.
FM
Helmut Seidl, Vesal Vojdani, Varmo Vene
2009 B conf
Region Analysis for Race Detection.
SAS
Helmut Seidl, Vesal Vojdani