Languages and Compilers Seminar

CS719    Spring 2007
Tue 3:00-4:00pm   Upson 5130

Radu Rugina and Andrew Myers

The Languages and Compilers Seminar meets weekly to discuss recent papers in the area of programming languages, program analysis, and compilers. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everybody interested in languages and compilers. First-year and second-year students are especially encouraged to participate. Participating students should register for the 1-credit course CS719.

Date Paper Presenter
Jan 23 A Framework for Implementing Pluggable Type Systems, Andreae, Noble, Markstrum, and Millstein, OOPSLA'06 Michael George
Feb 13 JavaScript Instrumentation for Browser Security, Yu, Chander, Islam, Serikov, POPL'07 Xin Zheng
Feb 20 Static Detection of Security Vulnerabilities in Scripting Languages,  Xie, Aiken, USENIX Security '06 Maks Orlovich
Apr 3 A Practical Escape and Effect Analysis for Building Lightweight Method Summaries, Cherem, Rugina CC'07 Siggi Cherem
Apr 10 Program Verification as Probabilistic Inference, Gulwani, Jojic, POPL'07 Steve Chong
Apr 17 Dynamic Heap Type Inference for Program Understanding and Debugging, Polishchuk, Liblit, and Schulze, POPL 07 K. Vikram
Apr 24 Lock allocation, Emmi, Fischer, Jhala, Majumdar, POPL'07 Lonnie Princehouse
May 1 Practical Memory Leak Detection using Guarded Value Flow Analysis, Cherem, Princehouse, Rugina, PLDI'07 Siggi Cherem

Past seminars: Fall 03, Spring 04, Fall04, Spring05, Spring06