IMDEA Software Institute researcher Niki Vazou has been awarded a distinguished paper award at the ACM Sigplan conference Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2018 for the paper “Gradual Liquid Type Inference". The conference awarded 4 distinguished paper awards among 59 accepted papers.
The paper is a collaboration with Éric Tanter (University of Chile) and David Van Horn (University of Maryland) and combines gradual with liquid types to aid program migration and provide better error messages.
