Travelled to:1 × Spain
1 × The Netherlands
4 × USA
Collaborated with:H.Seidl K.Apinis V.Vene M.D.Schwarz J.Kreiker P.Lammich M.Müller-Olm V.Rõtov R.Vogler
Talks about:analysi (5) synchron (2) prioriti (2) program (2) static (2) detect (2) combin (2) race (2) interrupt (1) structur (1)
Person: Vesal Vojdani
DBLP: Vojdani:Vesal
Contributed to:
2014
2013
20112010
2009
2009
2016Wrote 7 papers:
- VMCAI-2014-SchwarzSVA #analysis #precise #source code
- Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.
- PLDI-2013-ApinisSV #equation #how
- How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.
- POPL-2011-SchwarzSVLM #protocol #source code #static analysis
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol (MDS, HS, VV, PL, MMO), pp. 93–104.
- VMCAI-2010-KreikerSV #analysis #c #low level
- Shape Analysis of Low-Level C with Overlapping Structures (JK, HS, VV), pp. 214–230.
- FM-2009-SeidlVV #alias #analysis #linear #polynomial
- A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis (HS, VV, VV), pp. 644–659.
- SAS-2009-SeidlV #analysis #concurrent #detection
- Region Analysis for Race Detection (HS, VV), pp. 171–187.
- ASE-2016-VojdaniARSVV #approach #concurrent #detection
- Static race detection for device drivers: the Goblint approach (VV, KA, VR, HS, VV, RV), pp. 391–402.