BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
H.Seidl V.Vojdani M.D.Schwarz V.Rõtov V.Vene R.Vogler
Talks about:
synchron (1) prioriti (1) approach (1) schedul (1) program (1) monoton (1) goblint (1) analysi (1) system (1) static (1)

Person: Kalmer Apinis

DBLP DBLP: Apinis:Kalmer

Contributed to:

VMCAI 20142014
PLDI 20132013
ASE 20162016

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