Summer 2003 PLchat

At the moment, PLchat has morphed into SoftwareChat, with a broader focus including software engineering.

• Meeting during the summer on Tuesdays at 10am in AVW 3258 (Schedule)
• SoftwareChat wiki
• SoftwareChat mailing list

Spring 2003 PLchat

The goal of PLchat is to foster the exchange of ideas and feedback among members of the UMD programming languages group. Unless noted otherwise, PLchat takes place on Mondays at 2 PM in A.V. Williams, room 3258.

To be added to the PLchat mailing list, go to the PLchat mailing list web page.

Schedule

March 17th

Presented by Jeremy Manson:

• Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Ownership Types for Object Encapsulation, in POPL 2003.

March 10th

Presented by Ranjeeta Nand:

• George C. Necula, Scott McPeak, and Westley Weimer, CCured: type-safe retrofitting of legacy code, in POPL 2002.
• Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, and Westley Weimer, CCured in the Real World [UMD only], to appear at PLDI 2003.

February 24th

Manuvir Das, Sorin Lerner, and Mark Seigle, ESP: Path-Sensitive Program Verification in Polynomial Time. In PLDI 2002. Presented by David Hovemeyer.

February 10th

Jerome Simeon and Philip Wadler, Essence of XML. In POPL 2003. Presented by Jaime Spacco.

Comments to daveho@cs.umd.edu.