The Foundations of Programming Languages Group runs a weekly seminar discussing issues raised in the design and implementation of modern programming languages. Issues of interest include concurrent languages, distributed languages, object orientation, functional languages, model checking and security.
Meetings normally consist of discussing a research paper from 4.30-6.00pm. In some cases, we will discuss one main paper, with some supporting papers to provide background material. Seminar participants take turns leading the discussions. We usually then ajourn to the Exchequer Pub across the road, to continue discussions over beer!
The seminar is open to anyone interested, including advanced undergraduates, masters students and PhD students. Students can choose to receive academic credit for the seminar as CSC547 (for four credits, including a project).
Seminars will be held in room 610 of the CTI building at 243 South Wabash Ave.
The papers are available in PostScript or PDF format. To view or print the PostScript papers, install Ghostscript. To view or print the PDF papers, install Adobe Acrobat
If you would like to attend the group, please sign up to our mailing list.
23 Apr 2004 (3.30pm): Alan Jeffrey presented work in progress on Strong Normalization for Objects, which is joint work with James Riely.
13 Feb 2004 (3.30pm): Radha Jagadeesan presented work in progress on Abstracting Games.
6 Feb 2004 (3.30pm): Christian Haack presented Part 2 of work in progress on The Cryptyc Project, which is joint work with Alan Jeffrey.
30 Jan 2004 (3.30pm): Christian Haack presented Part 1 of work in progress on The Cryptyc Project, which is joint work with Alan Jeffrey.
9 Jan 2004 (3.30pm): Alan Jeffrey presented work in progress on A Minimal Aspect-Based Language, which is joint work with Glenn Bruns, Radha Jagadeesan and James Riely.
7 Nov 2003: Christian Haack presented Generalized Iteration and Coiteration for Higher-Order Nested Datatypes by Abel, Matthes and Uustalu, with some reference to the longer paper Iteration and Coiteration Schemes for Higher-Order Nested Datatypes by the same authors.
31 Oct 2003: James Riely presented Access Control Based on Execution History by Abadi and Fournet.
24 Oct 2003 (room 436a): John Reppy from University of Chicago presented Concurrency in the Moby Programming Language.
17 Oct 2003 Security Research Seminar (room 436a): Ehab Al-Shaer presented Tightening Your Firewall Security.
10 Oct 2003: Radha Jagadeesan will present Games and alternating temporal logics, including discussion of Alternating Refinement Relations by Alur, Henzinger, Kupferman and Vardi, and Alternating Time Temporal Logic by Alur, Henzinger and Kupferman.
19 Sep 2003 Security Research Seminar (room 436a): Alan Jeffrey presented Cryptyc: A Cryptographic Protocol Type Checker.
Radha Jagadeesan, DePaul faculty.
Christian Haack, DePaul Research Associate.
Alan Jeffrey, DePaul faculty.
Glenn Lancaster, DePaul faculty.
Will Marrero, DePaul faculty.
Jigar Moday, DePaul MS student.
Corin Pitcher, DePaul faculty.
James Riely, DePaul faculty.
Steve Rogers, DePaul Ph.D. student.
Bhumika Thakkar, DePaul MS student.