Hi All,
My name is Zvonimir Pavlinovic. I am a first year PhD student at NYU, advised by Thomas Wies. I am generally interested in programming languages, with a current focus on automatic localization and repair of type errors. I will be participating at PLDI Student Research Competition with my work on how can we leverage SMT solvers to enable compilers localize type errors in functional programming languages like OCaml.
This is the first time I am attending PLDI and also visiting Edinburgh. I am quite excited since there is a bunch of really interesting papers appearing at the conference, and Edinburgh seems to be a really cool place as well.
See you all there!
No comments:
Post a Comment