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 attending the seminar, either as CSC547 (for four credits, including a project) or as CSC599 (as a one-credit research seminar).
Seminars will be held in room 621.
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 email Alan Jeffrey (ajeffrey@cs.depaul.edu).
8 June 2001: James Riely will present Controlling Interference In Ambients by Francesca Levi and Davide Sangiorgi.
1 June 2001: Alan Jeffrey presented part 3 of work in progress on The Cryptyc Project by Alan Jeffrey and Andrew Gordon.
25 May 2001: Alan Jeffrey presented part 2 of work in progress on The Cryptyc Project by Alan Jeffrey and Andrew Gordon.
18 May 2001: Alan Jeffrey presented part 1 of work in progress on The Cryptyc Project by Alan Jeffrey and Andrew Gordon.
11 May 2001: James Riely presented Information Flow vs. Resource Access in the Asynchronous Pi-Calculus by Matthew Hennessy and James Riely and The security pi-calculus and non-interference by Matthew Hennessy.
4 May 2001: Radha Jagadeesan presented work in progress on Probability, Economics and Concurrency.
27 Apr 2001: James Riely presented A Simple View of Type-Secure Information Flow in the Pi-Calculus by François Pottier.
20 Apr 2001: John Maraist presented BI as an Assertion Language for Mutable Data Structures by Samin Ishtiaq and Peter O'Hearn.
16 Mar 2001: Alan Jeffrey presented work in progress on Extensions to Cryptic, joint work with Andrew D. Gordon.
9 Mar 2001: Radha Jagadeesan presented Modal Transition Systems and Program Analysis: framework and algorithms
2 Mar 2001: No meeting.
23 Feb 2001: Alan Jeffrey presented A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting and MSR, Access Control, and the Most Powerful Attacker by Iliano Cervesato.
16 Feb 2001: Alan Jeffrey presented On the Algorithmics of Higraphs by Ornit Grossman and David Harel.
9 Feb 2001: Karen Bernstein Jeffrey presented A Format for Semantic Equivalence Comparison by Vashti Galpin.
2 Feb 2001: James Riely presented Cryptographic Security of Reactive Systems by Birgit Pfitzmann, Matthias Schunter and Michael Waidner.
26 Jan 2001: John Maraist presented Non-stop Haskell by Andy Cheadle, Tony Field, Simon Marlow, Simon Peyton Jones, and Lyndon While.
19 Jan 2001: James Riely presented The Receptive Distributed Pi-Calculus by Roberto Amadio, Gérard Boudol and Cédric Lhoussaine. A full version of the paper is also available.
10 Nov 2000: Alan Jeffrey presented work in progress on System F subtyping with recursive types.
3 Nov 2000: No meeting.
27 Oct 2000: James Riely presented Using CSP for Protocol Analysis: the Needham-Schroeder Public-Key Protocol by Steve Schneider.
20 Oct 2000: Jeremy Gibbons, of the Oxford University Computing Lab, presented Pointwise Relational Programming by Oege de Moor and Jeremy Gibbons.
13 Oct 2000: Alan Jeffrey presented Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion by G.M. Bierman, A.M. Pitts and C.V. Russo.
6 Oct 2000: Will Marrero presented Efficient Verification of Security Protocols Using Partial Order Reductions.
29 Sep 2000: Radha Jagadeesan presented Modal Transition Systems.
22 Sep 2000: No seminar since HOOTS 2000 is today.
15 Sep 2000: Karen Bernstein Jeffrey presented Designing a Framework for Data Synchronization (Work in Progress).
8 Sep 2000: John Maraist presented Relating Cryptography and Polymorphism by Eijiro Sumii and Benjamin Pierce.
1 Sep 2000: Alan Jeffrey presented Typing Correspondence Assertions for Cryptographic Protocols (Work in Progress) by Andrew D. Gordon and Alan Jeffrey.
Margaret Bryant, CNA, DePaul Computer Science MS student.
Jeff Greene, DePaul Computer Science MS student.
Radha Jagadeesan, Loyola faculty.
Alan Jeffrey, DePaul faculty.
Karen Bernstein Jeffrey, DePaul faculty.
John Maraist, DePaul faculty.
Will Marrero, DePaul faculty.
Corin Pitcher, DePaul faculty.
James Riely, DePaul faculty.
Ed Thoele, ComEd, DePaul PhD student.