Programming Languages
Research at Penn

Publications

• All PLClub publications

Seminars

• PLClub discussion group
  

  PL Club Rules

  1. Talk about PL Club! Everyone's welcome.
  2. We meet in Levine 307.
  3. If it's your first semester at PL Club, you have to PL.
  4. Lunch starts at 12:15. The talk starts at 12:30.
  5. Talks go on as long as they have to, or until 1:30.

People

• Benjamin Pierce
• Stephanie Weirich
• Steve Zdancewic

• Arthur de Amorim Azevedo
• Chris Casinghino
• Richard Eisenberg
• Marco Gaboardi
• Michael Greenberg
• Cătălin Hriţcu
• Justin Hsu
• Leonidas Lambropoulos
• Benoit Montagu
• Peter-Michael Osera
• Jennifer Paykin
• Vilhelm Sjöberg
• Antal Spector-Zabusky
• Benoit Valiron
• Daniel Wagner
• Brent Yorgey
• Bob Zhang
• Jianzhou Zhao

Alumni

• Brian Aydemir
• Davi Barbosa
• Aaron Bohannon
• Julien Cretin
• Malo Denielou
• Nate Foster
• Vladimir Gapayev
• Haruo Hasoya
• Atsushi Igarashi
• Christian Kirkegaard
• Michael Levin
• Peng Li
• Karl Mazurak
• Guillaume Munch
• Sneha Popley
• Damien Pous
• Alexandre Pilkiewicz
• Alessandro Romanel
• Alan Schmitt
• Eijiro Sumii
• Stephen Tse
• Jeff Vaughan
• Jérôme Vouillon
• Dimitrios Vytiniotis
• Geoff Washburn

Courses

• CIS 500 - Software foundations
• CIS 552 - Advanced Programming
• CIS 670 - rotating PL seminar
• CIS 194 - Introduction to Haskell

Activities

• Programming Languages Mentoring Workshop
• 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