Registered user since Fri 15 Aug 2014
Name: Zvonimir Pavlinovic
Country: United States
Affiliation: Google, USA
Research interests: programming languages, type systems, abstract interpretation, automated program debugging and repair
Contributions
| POPL 2021 | Author of Data Flow Refinement Type Inference within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile