Vesal Vojdani

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 18

Top Topics

Abstract Interpretation

Top Venues

Publications

Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation. VMCAI (1) (2024)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution). TACAS (3) (2024)
Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution). TACAS (3) (2024)
Simmo Saan, Michael Schwarz, Julian Erhard, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Correctness Witness Validation by Abstract Interpretation. CoRR (2023)
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. CoRR (2023)
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C. SOAP@PLDI (2023)
Kalmer Apinis, Vesal Vojdani
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis. TACAS (2) (2023)
Simmo Saan, Michael Schwarz, Julian Erhard, Manuel Pietsch, Helmut Seidl, Sarah Tilscher, Vesal Vojdani
Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution). TACAS (2) (2023)
Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. ESOP (2023)
Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. CoRR (2022)
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
Improving Thread-Modular Abstract Interpretation. SAS (2021)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution). TACAS (2) (2021)
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
Improving Thread-Modular Abstract Interpretation. CoRR (2021)
Kalmer Apinis, Varmo Vene, Vesal Vojdani
Demand-driven interprocedural analysis for map-based abstract domains. J. Log. Algebraic Methods Program. 100 (2018)
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
Static race detection for device drivers: the Goblint approach. ASE (2016)
Tõnis Pool, Allan Raundahl Gregersen, Vesal Vojdani
Trufflereloader: a low-overhead language-neutral reloader. ICOOOLPS@ECOOP (2016)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. Sci. Comput. Program. 120 (2016)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
Enhancing Top-Down Solving with Widening and Narrowing. Semantics, Logics, and Calculi (2016)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. CoRR (2015)
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs. VMCAI (2014)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
How to combine widening and narrowing for non-monotonic systems of equations. PLDI (2013)
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. APLAS (2012)
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. POPL (2011)
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
Shape Analysis of Low-Level C with Overlapping Structures. VMCAI (2010)
Helmut Seidl, Vesal Vojdani
Region Analysis for Race Detection. SAS (2009)
Helmut Seidl, Vesal Vojdani, Varmo Vene
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. FM (2009)