Zvonimir Pavlinovic

According to our database, Zvonimir Pavlinovic authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Data flow refinement type inference.

Zvonimir Pavlinovic, Yusen Su, Thomas Wies

Proc. ACM Program. Lang., 2021

2019

Leveraging Program Analysis for Type Inference.

Zvonimir Pavlinovic

PhD thesis, 2019

VACCINE: Using Contextual Integrity For Data Leakage Detection.

Yan Shvartzshnaider, Zvonimir Pavlinovic, Ananth Balashankar, Thomas Wies, Lakshminarayanan Subramanian, Helen Nissenbaum, Prateek Mittal

Proceedings of the World Wide Web Conference, 2019

2018

The Impact of Program Transformations on Static Program Analysis.

Kedar S. Namjoshi, Zvonimir Pavlinovic

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

The VACCINE Framework for Building DLP Systems.

Yan Shvartzshnaider, Zvonimir Pavlinovic, Thomas Wies, Lakshminarayanan Subramanian, Prateek Mittal, Helen Nissenbaum

CoRR, 2017

Static analysis for optimizing big data queries.

Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Inferring annotations for device drivers from verification histories.

Zvonimir Pavlinovic, Akash Lal, Rahul Sharma

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Finding Minimum Type Error Sources.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Practical SMT-based type error localization.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015