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 315.
  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.

• PLClub wiki

People

• Benjamin Pierce
• Stephanie Weirich
• Steve Zdancewic

• Arthur de Amorim Azevedo
• Aaron Bohannon
• Chris Casinghino
• Richard Eisenberg
• Marco Gaboardi
• Michael Greenberg
• Cătălin Hriţcu
• Justin Hsu
• Karl Mazurak
• Benoit Montagu
• Peter-Michael Osera
• Vilhelm Sjöberg
• Benoit Valiron
• Daniel Wagner
• Brent Yorgey
• Bob Zhang
• Jianzhou Zhao

Alumni

• Davi Barbosa
• Julien Cretin
• Malo Denielou
• Nate Foster
• Vladimir Gapayev
• Haruo Hasoya
• Atsushi Igarashi
• Christian Kirkegaard
• Michael Levin
• Peng Li
• 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

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