• "A Constraint Language for Static Semantic Analysis Based on Scope Graphs." 19 January 2016. PEPM 2016. slides publication
  • "A Constraint-based Approach to Name Binding and Type Checking using Scope Graphs." 07 January 2016. MSc Defense, Delft University of Technology. slides publication