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).
7 Jun 2002: Radha Jagadeesan will present a tutorial on Aspect-Oriented Programming.
31 Mar 2002: No meeting.
24 Mar 2002: Alan Jeffrey presented work in progress on When Good Hosts Go Bad: Cryptographic Types for Insider Attacks, joint work with Andrew D. Gordon.
17 Mar 2002: No meeting.
10 Mar 2002: James Riely presented Boxed Ambients and Reasoning about Security in Mobile Ambients by Michele Bugliesi, Giuseppe Castagna and Silvia Crafa.
3 Mar 2002: Alan Jeffrey presented work in progress on A Fully Abstract Semantics for a Fragment of Java, joint work with Julian Rathke.
26 Apr 2002: No meeting (faculty retreat).
19 Apr 2002: No meeting (faculty meeting).
12 Apr 2002: Corin Pitcher presented Regular Expression Pattern Matching for XML by Haruo Hosoya and Benjamin Pierce.
15 Mar 2002: Alan Jeffrey presented CCured: Type-Safe Retrofitting of Legacy Code by George Necula, Scott McPeak and Westley Weimer.
8 Mar 2002: No meeting.
1 Mar 2002, 5pm-6.30pm: Radha Jagadeesan presented work in progress on Modal Transition Systems Revisited.
22 Feb 2002: Will Marrero presented Symbolic Model Checking without BDDs by Armin Biere, Alessandro Cirnatti, Edmund Clarke and Yunshan Zhu.
15 Feb 2002, 5pm-6.30pm: Will Marrero presented An Introduction to Model Checking with Binary Decision Diagrams.
8 Feb 2002: No meeting.
1 Feb 2002: Radha Jagadeesan presented The Metric Analogue of Weak Bisimulation for Probabilistic Processes, by Josée Desharnais, Vineet Gupta, Radha Jagadeesan and Prakash Panangaden.
25 Jan 2002: James Riely presented Stack Inspection: Theory and Variants, by Cédric Fournet and Andrew D. Gordon.
18 Jan 2002: Alan Jeffrey presented A Fully Abstract May Testing Semantics for Concurrent Objects, joint work with Julian Rathke.
11 Jan 2002: Corin Pitcher presented work in progress on Synthesising Regular Expression Types for Finite State Transducers.
9 Nov 2001: John Maraist presented Modules, Abstract Types, and Distributed Versioning by Peter Sewell.
2 Nov 2001: Radha Jagadeesan presented work in progress on Secure Substitution Part 2.
26 Oct 2001: Alan Jeffrey presented work in progress on A Fully Abstract Semantics For Objects, joint work with Julian Rathke.
19 Oct 2001, 4pm-5.30pm: Rance Cleaveland, SUNY Stony Brook, presented A Semantic Theory for Heterogeneous System Design by Rance Cleaveland and Gerald Lüttgen.
12 Oct 2001, 4pm-5.30pm: Will Marrero presented A Cost-Based Framework for Analysis of Denial of Service in Networks by Catherine Meadows.
5 Oct 2001: Radha Jagadeesan presented work in progress on Secure Substitution.
28 Sep 2001: James Riely presented work in progress, following on from Francesca Levi and Davide Sangiorgi's work on Controlling Interference In Ambients.
14 Sep 2001: Alan Jeffrey presented A Bug Report on Java Generics. Based on the JSR14: Add Generic Types To The Java Programming Language draft specification.
William Brown, DePaul Computer Science MS student.
Radha Jagadeesan, Loyola faculty.
Alan Jeffrey, DePaul faculty.
Karen Bernstein Jeffrey, DePaul faculty.
Ghulam Lashari, DePaul Computer Science MS student.
John Maraist, DePaul faculty.
Will Marrero, DePaul faculty.
Corin Pitcher, DePaul faculty.
James Riely, DePaul faculty.
Azuolas Sinkevicius, DePaul Computer Science MS student.