Programming Languages Seminar

Year 2004

Meeting time: Wed 10-12
Classroom: NEB 317

Overview

The seminar is discussion-based. Each week a paper or a topic is picked and announced at least 2 days before the seminar. The discussion starts on the assumption that everyone has read the paper beforehand. Feel free to suggest a paper or propose a discussion topic. The person who makes the suggestion is supposed to start the discussion.

Starting from October 2004, additional project meetings are held each Wednesday at 10AM, right before the regular 11 o'clock PL seminar. The goal of these meetings is to promote informal discussions on projects conducted by PL researchers at Johns Hopkins.

Proposed Discussion Schedule

Date	Paper/Topic	Discussion Leader
July 14	Scharli, Ducasse, Nierstrasz, Wuyts, Composable Encapsulation Policies (ECOOP'04)	David
Sept 8	Organizational Meeting	tout le monde
Sept 15	A General Discussion on PL-based Security	Mark, Scott
Sept 22	Project Progress: Temporal Logic with Filters	Fei
Sept 29	E Language Security	Mark M.
Oct 6	Project Progress: Flow-sensitive Type Constraints	Pari
10AM: Oct 13	Project Progress: Data Security and Control Security	Mark T.
11AM: Oct 13	Dyna: A Language for Dynamic Programming	Eric
10AM: Oct 20	Project Progress: Connector-based Java MicroKernel	Xiaoqi
11AM: Oct 20	Fisher, Shivers, Multi-return Function Call (ICFP'04)	Mark S.
10AM: Oct 27	Project Progress: Objects with Interaction Interfaces	David
11AM: Oct 27	Chin, Craciun, Qin, Rinard, Region Inference for an OO Language (PLDI'04)	Mark T.
11AM: Nov 3	Chen, Wagner, MOPS: an Infrastructure for Examining Security Properties of Software (CCS'02)	Fei
4PM: Nov 3	Sensor Network Research at UIUC	Gul Agha
10AM: Nov 10	Project Progress: Flow-sensitive Type Constraints: Formal Development	Pari
11AM: Nov 10	NDL: A Domain-Specific Language for Device Drivers	Scott
11AM: Nov 19	Checking Type Safety of Foreign Fuction Calls	Jeff Foster
Nov 24	No seminar	Turkey
10AM: Dec 1	Project Progress: Classage Implementation	David
11AM: Dec 1	Nystrom, Clarkson, Myers, Polyglot: An Extensible Compiler Framework for Java (CC'03)	David
10AM: Dec 8	TBA	TBA
11AM: Dec 8	TBA	TBA
11AM: Dec 15	On increasing the Reliability of Distributed Software	Adrian Francalanza

Date Paper/Topic Discussion Leader

Jan 28 POPL/FOOL'04 Overview Scott, Pari

Feb 4 Benton, Simple Relational Correctness Proofs for Static Analyses and Program Transformations Pari

Feb 11 Ford,
[1] Packrat Parsing: Simple, Powerful, Lazy, Linear Time
[2] Parsing Expression Grammars: A Recognition-Based Syntactic Foundation Mark S.

Feb 18 Liang, Bracha, Dynamic Class Loading in the Java Virtual Machine (OOPSLA'98) David

Feb 25 Schneider, Enforceable Security Policies Scott

Mar 3 Pottier, Gauthier, Polymorphic Typed Defunctionalization (POPL'04) Pari

Mar 10 Barringer, Goldberg, Havelund, Sen, Rule-based Runtime Verification Fei

Mar 17 Spring Break

Mar 24 Miller, Yee, Shapiro, Capability Myths Demolished Xiaoqi

Mar 31 No seminar

Apr 7 Corwin, Bacon, Grove, Murthy, MJ: A Rational Module System for Java and its Applications David

Apr 14 Review: Java Packages and Classloaders David

Apr 21 Review: Dynamic Linking in Java and C# David

Apr 28 Recursive make Considered Harmful Eric

May 5 No seminar, probably

May 12 Distributed Data Structures Christian Scheideler

Planned Topics

David: the Brave New World of big and small assemblages
Xiaoqi: Java microkernel
Mark: language security; fine-grained capabilities; E concurrency control
Proof-Carrying Code (PCC)
E's auditor
Linear type systems; Deline and Fandrich
tinyDB; Mate
Fei: temporal logic grammars, etc
Foster's type qualifiers

Older Planned Topics

Model checking programs: SLAM, MOPS, etc.
Control Flow Analysis: nCFA, CPA, types as flow, flow-sensitive analysis
Correctness of program transformations
Object Confinement type theories
Mobile computing and remote (modulated) references
Effect Types