PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To demonstrate the impact of these foundations, PLT implements various tools. These include compilers and IDEs, and applies them to challenging software development domains.

·      Current Projects:

·      People

·      PLT Seminar:  Forum for members and affiliates of PLT to exchange ideas.

·      Publications

·      Related Courses: 

·      Past Projects

This page is maintained by mgricken at rice dot edu and cherif at rice dot edu.