Programming Languages

Computer Science and
Electrical & Computer Engineering
University of Waterloo

The Programming Languages Group (PLG) conducts research in the following areas:

  • Concurrency
  • Compiler construction
  • Persistence
  • Programming language design
  • Software engineering
  • Static program analysis
  • Virtual machine design
  • Type systems


January 2016 Submit proposals for SPLASH 2016 Workshops.
December 2015 The paper Crowdie: Feedback-Directed Instrumentation for Deployed JavaScript Applications by Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, and Anders Møller was accepted to ICSE.
The journal article Type-Based Call Graph Construction Algorithms for Scala by Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby, and Frank Tip was accepted to TOSEM.
November 2015 Submit your best papers to European Conference on Object-Oriented Programming (ECOOP) 2016.
October 2015 Werner Dietl, together with Michael Ernst, gave three talks at JavaOne 2015: the tutorial Preventing Errors Before They Happen (TUT4416), the conference talk Collaborative Verification of the Information Flow for a High-Assurance App Store (CON4444), and the bird-of-a-feather session Using Type Annotations to Improve Your Code (BOF4390).
September 2015 Marianna Rapoport, Ondřej Lhoták, and Frank Tip received the Radhia Cousot award at SAS 2015.
May 2015 The paper Static analysis of event-driven Node.js JavaScript applications by Magnus Madsen, Frank Tip, and Ondřej Lhoták was accepted to OOPSLA.
The paper Precise data-flow analysis in the presence of correlated method calls by Marianna Rapoport, Ondřej Lhoták, and Frank Tip was accepted to SAS.