Zvonimir Pavlinovic
Title
Cited by
Cited by
Year
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
382014
Practical SMT-based type error localization
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 50 (9), 412-423, 2015
272015
Inferring annotations for device drivers from verification histories
Z Pavlinovic, A Lal, R Sharma
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
102016
Vaccine: Using contextual integrity for data leakage detection
Y Shvartzshnaider, Z Pavlinovic, A Balashankar, T Wies, L Subramanian, ...
The World Wide Web Conference, 1702-1712, 2019
42019
The impact of program transformations on static program analysis
KS Namjoshi, Z Pavlinovic
International Static Analysis Symposium, 306-325, 2018
42018
Static analysis for optimizing big data queries
D Garbervetsky, Z Pavlinovic, M Barnett, M Musuvathi, T Mytkowicz, ...
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
42017
The vaccine framework for building dlp systems
Y Shvartzshnaider, Z Pavlinovic, T Wies, L Subramanian, P Mittal, ...
arXiv preprint arXiv:1711.02742, 2017
32017
Interactive code snippet synthesis through repository mining
Z Pavlinovic, D Babic
Technical Report UCB/EECS-2013-23, EECS Department, University of California …, 2013
32013
Data Flow Refinement Type Inference
Z Pavlinovic, Y Su, T Wies
arXiv preprint arXiv:2011.04876, 2020
2020
Leveraging Program Analysis for Type Inference
Z Pavlinovic
New York University, 2019
2019
General Type Error Diagnostics Using MaxSMT
Z Pavlinovic
2014
Distributed System for Web Activity Stream Analysis
Z Pavlinović
Fakultet elektrotehnike i računarstva, Sveučilište u Zagrebu, 2011
2011
A Gadget for Temporal Event Organization
Z Pavlinović
Fakultet elektrotehnike i računarstva, Sveučilište u Zagrebu, 2009
2009
Raspodijeljeni sustav za analizu tijekova aktivnosti na Webu
Z Pavlinović
The system can't perform the operation now. Try again later.
Articles 1–14