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: Pavlinovic:Zvonimir
Contributed to:
2015
2014
2016
2017Wrote 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.