| Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014 | 66 | 2014 |
| 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 | 40 | 2019 |
| Practical SMT-based type error localization Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 50 (9), 412-423, 2015 | 36 | 2015 |
| Data flow refinement type inference Z Pavlinovic, Y Su, T Wies Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021 | 12 | 2021 |
| 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 | 12 | 2016 |
| The impact of program transformations on static program analysis KS Namjoshi, Z Pavlinovic Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 11 | 2018 |
| 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 | 8 | 2017 |
| Leveraging Program Analysis for Type Inference Z Pavlinovic New York University, 2019 | 4 | 2019 |
| Interactive code snippet synthesis through repository mining Z Pavlinovic, D Babic Technical Report UCB/EECS-2013-23, EECS Department, University of California …, 2013 | 4 | 2013 |
| The vaccine framework for building dlp systems Y Shvartzshnaider, Z Pavlinovic, T Wies, L Subramanian, P Mittal, ... arXiv preprint arXiv:1711.02742, 2017 | 3 | 2017 |
| General Type Error Diagnostics Using MaxSMT Z Pavlinovic | 2 | 2014 |
| Raspodijeljeni sustav za analizu tijekova aktivnosti na Webu Z Pavlinović Fakultet elektrotehnike i računarstva, 2011 | | 2011 |
Thomas WiesNew York UniversityEmail verificata su cs.nyu.edu