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:
- DrJava: A lightweight pedagogic IDE for Java supporting Extreme Programming.
- TeachJava: Outreach effort for high school and college faculty, focusing on how to teach OO design.
- DrC#: A lightweight pedagogic IDE for C#.
- NextGen: Growing Java to support first-class genericity.
- Multi-stage programming: High-level languages for program generation.
- Resource Aware Programming: High-level languages for embedded and real-time systems
· People
- Faculty: Robert Cartwright, Walid Taha, Dung Nguyen, Stephen Wong.
- Postdoctoral associates: Emir Pasalic, Kedar Swadi.
- Graduate students: Stephan Ellner, Roumen Kaibachev, James Sasitorn, Mathias Ricken.
- Undergraduate students: Matt Barnett, Van Bui,
Neal Horowitz,
James Hsia,
Ed Pizzi,
Daniel Posada, Robert Rosenbaum,
Elspeth Simpson.
- Recent graduates: Eric Allen, Peter Centgraf, Dennis Lu, Charlie Reis, Brian Stoler, Theo Yaung.
· PLT Seminar: Forum for members and affiliates of PLT to exchange ideas.
· Publications
· Related Courses: Undergraduate:
210,
212,
311,
312,
410,
411,
413
Graduate:
511,
517
· Past Projects
- DrScheme: A comprehensive programming environment for writing, debugging, and analyzing Scheme programs. (Maintained by Scheme PLT)
- TeachScheme!: Outreach effort for high school and college faculty.
This page is maintained by taha@rice.edu.