Recent Posts

Type Checking for Reliable APIs

Maria Kechagia presented her work on improving the usability of APIs via type checking. Her idea is that compiler should take into account statically availab...

WAPI Open Discussion

We concluded the workshop with on open discussion about the different challenges we see and possible next steps for researchers to work on. I tried to captur...