Vesal Vojdani

University of Tartu — EE

Computer Science · Physical Sciences

11h-index342citations34works2.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(17), Formal Methods in Verification(16), Parallel Computing and Optimization Techniques(13), Software Testing and Debugging Techniques(11), Software Engineering Research(8)

Publications34 total

Sound Static Data Race Verification for C: Is the Race Lost?
ACM Transactions on Programming Languages and Systems·2025· 1 cited
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Lecture notes in computer science·2025· 2 cited
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
arXiv (Cornell University)·2024· 1 citedOpen Access
Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results
2024· 2 citedOpen Access
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
International Journal on Software Tools for Technology Transfer·2024· 3 citedOpen Access
Abstract Debugging with GobPie
2024· 1 citedOpen Access
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C
International Journal on Software Tools for Technology Transfer·2024· 2 citedOpen Access
Goblint: Abstract Interpretation for Memory Safety and Termination
Lecture notes in computer science·2024· 8 citedOpen Access
Goblint Validator: Correctness Witness Validation by Abstract Interpretation
Lecture notes in computer science·2024· 4 citedOpen Access
Correctness Witness Validation by Abstract Interpretation
Lecture notes in computer science·2023· 4 cited
Correctness Witness Validation by Abstract Interpretation
arXiv (Cornell University)·2023· 1 citedOpen Access
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C
2023· 7 citedOpen Access
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
arXiv (Cornell University)·2023Open Access
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
Lecture notes in computer science·2023· 19 citedOpen Access
Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis
Lecture notes in computer science·2023· 1 citedOpen Access
Goblint: Autotuning Thread-Modular Abstract Interpretation
Lecture notes in computer science·2023· 12 citedOpen Access
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
arXiv (Cornell University)·2022· 1 citedOpen Access
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints
Lecture notes in computer science·2021· 18 citedOpen Access
Improving Thread-Modular Abstract Interpretation
Lecture notes in computer science·2021Open Access
Demand-driven interprocedural analysis for map-based abstract domains
Journal of Logical and Algebraic Methods in Programming·2018· 3 cited
page 1 of 2Next →

Frequent Co-authors

Helmut Seidl(27), Simmo Saan(18), Michael Schwarz(15), Julian Erhard(15), Kalmer Apinis(11), Sarah Tilscher(9), Karoliine Holter(7), Varmo Vene(3), Martin D. Schwarz(3), Patrick Lam(3), Ralf Vogler(2), Peter Lammich(2), Markus Müller-Olm(2), Stanimir Bozhilov(2), Juhan Oskar Hennoste(2), Manuel Bentele(2), Matthias Heizmann(2), Dominik Klumpp(2), Frank Schüssele(2), Vootele Rõtov(1)