BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × USA
Collaborated with:
T.King T.Wies A.Lal R.Sharma D.Garbervetsky M.B.0001 M.Musuvathi T.Mytkowicz E.Zoppi
Talks about:
error (2) type (2) practic (1) minimum (1) histori (1) analysi (1) static (1) driver (1) verif (1) sourc (1)

Person: Zvonimir Pavlinovic

DBLP DBLP: Pavlinovic:Zvonimir

Contributed to:

ICFP 20152015
OOPSLA 20142014
ASE 20162016
ESEC/FSE 20172017

Wrote 4 papers:

ICFP-2015-Pavlinovic0W #fault #locality #smt
Practical SMT-based type error localization (ZP, TK, TW), pp. 412–423.
OOPSLA-2014-PavlinovicKW #fault
Finding minimum type error sources (ZP, TK, TW), pp. 525–542.
ASE-2016-PavlinovicLS #verification
Inferring annotations for device drivers from verification histories (ZP, AL, RS), pp. 450–460.
ESEC-FSE-2017-GarbervetskyP0M #big data #optimisation #query #static analysis
Static analysis for optimizing big data queries (DG, ZP, MB0, MM, TM, EZ), pp. 932–937.

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.