Programming Languages
|
 |
Research Projects
- Bidirectional Languages and Synchronization
- Language support for XML
- Language based security
- Type-directed programming
- POPLmark (formerly Mechanized Metatheory for the Masses!)
People
- Brian Aydemir
- Aaron Bohannon
- Chris Casinghino
- Nate Foster
- Michael Greenberg
- Limin Jia
- Karl Mazurak
- Peter-Michael Osera
- Alessandro Romanel
- Vilhelm Sjöberg
- Jeff Vaughan
- Daniel Wagner
- Brent Yorgey
- Qi Zhang
- Jianzhou Zhao
Recent Alumni
Publications
Seminars and Courses
- PLClub discussion group
- PLClub wiki
- Student Reading Group / S08 - Proof Theory
- CIS 500 / F07 - Software foundations
- CIS 500 / F06 - Software foundations
- CIS 700 / F06 - Mechanizing Programming Language Metatheory
- CIS 700 / S06 - Parametric and Ad hoc Polymorphism
- CIS 500 / F05 - Software foundations
- CIS 700 / F05 - Software and Compiler Verification
- CIS 700 / S05 - Proof Theory for Programming Languages
- CIS 500 / F04 - Software foundations
- CIS 670 / F04 - Software foundations II
- Student reading group - S04 - Category theory
- CIS 700 / S04 - π-calculus and foundations of concurrent systems
- CIS 500 / F03 - Software foundations
- CIS 670 / F03 - Advanced type systems
- CIS 670 / S03 - Safety and security
- CIS 500 / F02 - Software foundations
- CIS 670 / F02 - Polymorphism
Activities
- Using Proof Assistants for Programming Language Research or, How to write your next POPL paper in Coq, a workshop at POPL 2008
- The Seventh Annual ICFP Programming Contest
- Summer School on Software Security
- New Jersey Programming Languages Seminar
- The TYPES forum
Related Groups at Penn
|
Computer & Information Science School of Engineering and Science University of Pennsylvania |
|