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