CSE 590 P: Programming Systems Seminar

Winter 2007

Wednesdays, 3:30-4:20 p.m., EE 026

Mailing List

Topic: Recent papers in language implementation


Date Topic Presenter
Jan 3 Organizational meeting (Dan)
Jan 10 Extensible Programming with First-Class Cases (ICFP 2006) Kate and Matt
Jan 17 Automatic generation of peephole superoptimizers (ASPLOS 06) Ben L. and Steve
Jan 24 The DaCapo benchmarks: Java benchmarking development and analysis (OOPSLA 06) Jacob and Charlie
Jan 31 Compiler Optimizations to Reduce Security Overhead (CGO 06) Sam and Jon
Feb 7 A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (CC07) Anna and Laura
Feb 14 Polyglot: An Extensible Compiler Framework for Java (CC03)
and Untrusted Hosts and Confidentiality: Secure Program Partitioning (SOSP01)
Ben L. and Aaron
Feb 21 Dynamic Heap Type Inference for Program Understanding and Debugging (POPL 07) Miryung and Marius
Feb 28 LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CGO 04) Ben Y. and Chris
Mar 7 Refinement-Based Context-Sensitive Points-To Analysis for Java (PLDI 06) Steve and Andrew

Last modified: Sat Jan 6 2006