Follow
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
562014
Practical SMT-based type error localization
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 50 (9), 412-423, 2015
352015
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
292019
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
112016
The impact of program transformations on static program analysis
KS Namjoshi, Z Pavlinovic
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
102018
Data flow refinement type inference
Z Pavlinovic, Y Su, T Wies
Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021
92021
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
72017
Interactive code snippet synthesis through repository mining
Z Pavlinovic, D Babic
Technical Report UCB/EECS-2013-23, EECS Department, University of California …, 2013
42013
The vaccine framework for building dlp systems
Y Shvartzshnaider, Z Pavlinovic, T Wies, L Subramanian, P Mittal, ...
arXiv preprint arXiv:1711.02742, 2017
32017
Leveraging Program Analysis for Type Inference
Z Pavlinovic
New York University, 2019
22019
General Type Error Diagnostics Using MaxSMT
Z Pavlinovic
22014
Raspodijeljeni sustav za analizu tijekova aktivnosti na Webu
Z Pavlinović
Fakultet elektrotehnike i računarstva, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–12