Vesal Vojdani
Cited by
Cited by
Goblint: Path-sensitive data race analysis
V Vojdani, V Vene
Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009
Static race detection for device drivers: the Goblint approach
V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
Efficiently intertwining widening and narrowing
G Amato, F Scozzari, H Seidl, K Apinis, V Vojdani
Science of Computer Programming 120, 1-24, 2016
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
MD Schwarz, H Seidl, V Vojdani, P Lammich, M Müller-Olm
POPL 2011: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on …, 2011
Region analysis for race detection
H Seidl, V Vojdani
International Static Analysis Symposium, 171-187, 2009
How to combine widening and narrowing for non-monotonic systems of equations
K Apinis, H Seidl, V Vojdani
ACM SIGPLAN Notices 48 (6), 377-386, 2013
Side-effecting constraint systems: a swiss army knife for program analysis
K Apinis, H Seidl, V Vojdani
Asian Symposium on Programming Languages and Systems, 157-172, 2012
Shape analysis of low-level C with overlapping structures
J Kreiker, H Seidl, V Vojdani
International Workshop on Verification, Model Checking, and Abstract …, 2010
Static data race analysis of heap-manipulating C programs
V Vojdani
Precise analysis of value-dependent synchronization in priority scheduled programs
MD Schwarz, H Seidl, V Vojdani, K Apinis
International Conference on Verification, Model Checking, and Abstract …, 2014
Enhancing top-down solving with widening and narrowing
K Apinis, H Seidl, V Vojdani
Semantics, Logics, and Calculi, 272-288, 2016
A smooth combination of linear and Herbrand equalities for polynomial time must-alias analysis
H Seidl, V Vojdani, V Vene
International Symposium on Formal Methods, 644-659, 2009
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution)
S Saan, M Schwarz, JE Kalmer Apinis, H Seidl, R Vogler, V Vojdani
Tools and Algorithms for the Construction and Analysis of Systems 12652, 438, 2021
TruffleReloader: A low-overhead language-neutral reloader
T Pool, AR Gregersen, V Vojdani
Proceedings of the 11th Workshop on Implementation, Compilation …, 2016
Demand-driven interprocedural analysis for map-based abstract domains
K Apinis, V Vene, V Vojdani
Journal of Logical and Algebraic Methods in Programming 100, 57-70, 2018
Improving Thread-Modular Abstract Interpretation
M Schwarz, S Saan, H Seidl, K Apinis, J Erhard, V Vojdani
International Static Analysis Symposium, 359-383, 2021
Approaches to Thread-Modular Static Analysis
V Vojdani, K Apinis, S Saan
NWPT 2019, 81, 2019
Context-Sensitive Meta-Constraint Systems for Modular and Explainable Program Analysis‹
K Apinis, V Vojdani
Lucce: Lazy and Unintrusive Calling Context Encoding for Java
N Salnikov-Tarnovski, V Vojdani
The system can't perform the operation now. Try again later.
Articles 1–19