Programming Languages
Research at Penn

Research Projects

• Synchronization
  • Unison
  • Harmony
• Language support for XML
  • XDuce
  • Xtatic
• Security-oriented languages
• Type-directed programming
  • Extensible intensional type analysis
  • Type-directed Java
• POPLmark (formerly Mechanized Metatheory for the Masses!)

People

• Benjamin Pierce
• Stephanie Weirich
• Steve Zdancewic

• Brian Aydemir
• Aaron Bohannon
• Chris Casinghino
• Nate Foster
• Michael Greenberg
• Peng Li
• Karl Mazurak
• Jeff Vaughan
• Dimitrios Vytiniotis
• Jianzhou Zhao

Recent Alumni

• Malo Denielou
• Vladimir Gapayev
• Haruo Hasoya
• Atsushi Igarashi
• Christian Kirkegaard
• Michael Levin
• Damien Pous
• Alexandre Pilkiewicz
• Alan Schmitt
• Eijiro Sumii
• Stephen Tse
• Jérôme Vouillon
• Geoff Washburn

Publications

• All PLClub publications

Seminars and Courses

• PLClub discussion group
• 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

• Logic and Computation
• Security seminar