My name is Zvonimir Pavlinovic and I am a second year PhD student at NYU Computer Science Department, advised by Thomas Wies. I am generally interested in the theory of programming languages, currently focusing on automatic localization and repair of type errors.

Before joining NYU, I obtained my bachelor's and master's degree in computer science at University of Zagreb, after which I spent two years as a research intern at UC Berkeley working with Dawn Song's security team.

Here is my CV.

I can be reached on name dot surname at gmail dot com or via linkedin.

Publications

Zvonimir Pavlinovic, Tim King, and Thomas Wies: Finding Minimum Type Error Sources, in Proceedings of OOPSLA 2014. [Best Paper Award, paper, slides, poster, code]
Zvonimir Pavlinovic, Domagoj Babic: Interactive Code Snippet Synthesis Through Repository Mining, UCB EECS 2013. [paper]

Workshops

Zvonimir Pavlinovic, Tim King, and Thomas Wies: Finding Minimum Type Error Sources, ADDCT 2014. [presentation-only, paper, slides]

Student papers

Zvonimir Pavlinovic: General Type Error Diagnostics Using MaxSMT, PLDI SRC 2014. [paper, poster]
Ivan Breskovic, Vedrana Jankovic, Zvonimir Pavlinovic, Zeljko Rumenjak: MultiCore SIP, Ericsson Nikola Tesla student competition 2009. [1st prize, paper]