Zvonimir Pavlinovic

Zvonimir Pavlinovic

New York University Shanghai - Pudong / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4560269
上海纽约大学
person_outline Zvonimir Pavlinovic's MOST POPULAR ARTICLES
1-) Finding minimum type error sources ACM SIGPLAN Notices 49 (10), 525-542, 2014
2-) Vaccine: Using contextual integrity for data leakage detection The World Wide Web Conference, 1702-1712, 2019
3-) Practical SMT-based type error localization ACM SIGPLAN Notices 50 (9), 412-423, 2015
4-) Data flow refinement type inference Proceedings of the ACM on Programming Languages 5 (POPL), 1-31, 2021
5-) Inferring annotations for device drivers from verification histories Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016