Zvonimir Pavlinovic

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 7

Top Topics

Static Analysis

Probabilistic Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Data flow refinement type inference. Proc. ACM Program. Lang. 5 (POPL) (2021)
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Data Flow Refinement Type Inference. CoRR (2020)
Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian, Helen Nissenbaum, Prateek Mittal
VACCINE: Using Contextual Integrity For Data Leakage Detection. WWW (2019)
Kedar S. Namjoshi, Zvonimir Pavlinovic
The Impact of Program Transformations on Static Program Analysis. SAS (2018)
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi
Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE (2017)
Yan Shvartzshnaider, Zvonimir Pavlinovic, Thomas Wies, Lakshminarayanan Subramanian, Prateek Mittal, Helen Nissenbaum
The VACCINE Framework for Building DLP Systems. CoRR (2017)
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Inferring annotations for device drivers from verification histories. ASE (2016)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding Minimum Type Error Sources. Software Engineering & Management (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Practical SMT-based type error localization. ICFP (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
On Practical SMT-Based Type Error Localization. CoRR (2015)
Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding minimum type error sources. OOPSLA (2014)