Följ
Zvonimir Pavlinovic
Zvonimir Pavlinovic
PhD student, New York University
Verifierad e-postadress på cs.nyu.edu - Startsida
Titel
Citeras av
Citeras av
År
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
552014
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
272019
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
Data flow refinement type inference
Z Pavlinovic, Y Su, T Wies
Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021
92021
The impact of program transformations on static program analysis
KS Namjoshi, Z Pavlinovic
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
92018
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–12