Practical SMT-based type error localization. - Zvonimir Pavlinovic; Tim King 001; Thomas Wies (ICFP, 2015)

Finding Minimum Type Error Sources. - Zvonimir Pavlinovic; Tim King 001; Thomas Wies (Software Engineering & Management, 2015)

Inferring annotations for device drivers from verification histories. - Zvonimir Pavlinovic; Akash Lal; Rahul Sharma 001 (ASE, 2016)

Static analysis for optimizing big data queries. - Diego Garbervetsky; Zvonimir Pavlinovic; Michael Barnett 001; Madanlal Musuvathi; Todd Mytkowicz; Edgardo Zoppi (ESEC/SIGSOFT FSE, 2017)

The VACCINE Framework for Building DLP Systems. - Yan Shvartzshnaider; Zvonimir Pavlinovic; Thomas Wies; Lakshminarayanan Subramanian; Prateek Mittal; Helen Nissenbaum (CoRR, 2017)

The Impact of Program Transformations on Static Program Analysis. - Kedar S. Namjoshi; Zvonimir Pavlinovic (SAS, 2018)

VACCINE: Using Contextual Integrity For Data Leakage Detection. - Yan Shvartzshnaider; Zvonimir Pavlinovic; Ananth Balashankar; Thomas Wies; Lakshminarayanan Subramanian; Helen Nissenbaum; Prateek Mittal (WWW, 2019)

Leveraging Program Analysis for Type Inference. - Zvonimir Pavlinovic (2019)

Data flow refinement type inference. - Zvonimir Pavlinovic; Yusen Su; Thomas Wies (Proc. ACM Program. Lang., 2021)