BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vojdani:Vesal

Contributed to:

VMCAI 20142014
PLDI 20132013
POPL 20112011
VMCAI 20102010
FM 20092009
SAS 20092009
ASE 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.