Zvonimir Pavlinovic

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