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 email Alan Jeffrey (ajeffrey@cs.depaul.edu).
4pm 23 May 2003: Radha Jagadeesan presented an overview of recent work on games semantics.
16 May 2003: Christian Haack presented Fresh ML: Programming with Binders Made Simple by Shinwell, Pitts and Gabbay.
9 May 2003: James Riely presented Secure Information Flow and Pointer Confinement in a Java-like Language by Banerjee and Naumann.
25 April 2003: Alan Jeffrey will present A Theory of Aspects by Walker, Zdancewic and Ligatti.
11 Apr 2003: Michael Benedikt of Bell Laboratories presented Structural Properties of XPath Fragments, joint work with Fan and Kuper.
7 Mar 2003: Alan Jeffrey presented Proof-Carrying Code with Untrusted Proof Rules by Necula and Schneck.
14 Feb 2003: Corin Pitcher presented work in progress with Radha Jagadeesan on logics for XML documents.
7 Feb 2003: Christian Haack presented Type Error Slicing in Implicitly Typed, Higher-Order Languages by Haack and Wells.
31 Jan 2003: Will Marrero presented Counterexample-guided Abstraction Refinement by Clarke, Grumberg, Jha, Lu and Veith.
17 Jan 2003: Alan Jeffrey presented Part 2 of work in progress with Julian Rathke on Java Jr.
15 Nov 2002: Alan Jeffrey presented Part 1 of work in progress with Julian Rathke on Java Jr.
5pm, 1 Nov 2002: Corin Pitcher presented CDuce: a white paper by Benzaken, Castagna and Frisch.
25 Oct 2002: Radha Jagadeesan presented Software Model Checking: A Subjective Introduction.
18 Oct 2002: Julian Rathke of the University of Sussex presented in progress on Full Abstraction for Higher-Order Pi joint work with Alan Jeffrey.
11 Oct 2002: James Riely presented work in progress on A Calculus for Aspect-Oriented Programming II: weaving, joint work with Radha Jagadeesan and Alan Jeffrey.
4 Oct 2002: Alan Jeffrey presented A Logic For Reasoning about Digital Rights by Riccardo Pucella and Vicky Weissman.
27 Sep 2002: James Riely presented work in progress on A Calculus for Aspect-Oriented Programming I: dynamic semantics, joint work with Radha Jagadeesan and Alan Jeffrey.
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.