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 × Estonia
1 × Hungary
1 × The Netherlands
Collaborated with:
T.Uustalu H.Seidl V.Vojdani N.Ghani P.Johann K.Apinis V.Rõtov R.Vogler
Talks about:
generalis (1) polynomi (1) herbrand (1) dataflow (1) approach (1) program (1) goblint (1) augment (1) analysi (1) static (1)

Person: Varmo Vene

DBLP DBLP: Vene:Varmo

Facilitated 1 volumes:

AFP 2004Ed

Contributed to:

FM 20092009
CEFP 20052005
ICFP 20052005
ASE 20162016

Wrote 4 papers:

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.
CEFP-2005-UustaluV #data flow #programming
The Essence of Dataflow Programming (TU, VV), pp. 135–167.
ICFP-2005-GhaniJUV #monad
Monadic augment and generalised short cut fusion (NG, PJ, TU, VV), pp. 294–305.
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.