The Languages and Compilers Seminar meets weekly to discuss recent and interesting papers in the area of programming languages and compilers. The goal is to encourage interactions and discussions between students and faculty with interests in this area. This fall we will discuss papers from the recent PLDI, the upcoming OOPSLA, and other programming languages conferences. The seminar is open to all students interested in languages and compilers; and first-year students are especially encouraged to participate. Participating students should register for the 1-credit course CS719.
Date | Paper | Presenter |
Aug 31 | Scalable Extensibility via Nested Inheritance, N. Nystrom, S. Chong, A. Myers, OOPSLA '04 | Nystrom |
Sep 7 | KISS: Keep It Simple and Sequential, S. Qadeer and D. Wu, PLDI '04 | Shaparenko |
Sep 14 | Region Analysis and Transformation for Java Programs, S. Cherem and R. Rugina, ISMM '04 | Cherem |
Sep 21 | Information Flow Analysis in Logical
Form, T. Amtoft, A. Banerjee, SAS'04 Secure Information Flow by Self-Composition, G. Barthe, P. d'Argenio, T. Rezk, CSFW'04 |
Clarkson |
Sep 28 | Cloning-Based Context-Sensitive Pointer Alias Analyses Using Binary Decision Diagrams ,
J. Whaley and M. Lam, PLDI '04 Jedd: A BDD-based relational extension of Java, O. Lhotak and L. Hendren, PLDI '04 |
Popovici |
Oct 5 | Application-level Checkpointing for Shared Memory Programs, G. Bronevetsky, D. Marques, K. Pingali, P. Szwed, M. Schulz, ASPLOS '04 | Bronevetsky |
Oct 19 | Security Policies for Downgrading, S.Chong, A. Myers, CCS '04 | Chong |
Nov 2 | Finding and Preventing Run-Time Error Handling Mistakes, W. Weimer, G.Necula, OOPLSA '04 | Kot |
Nov 9 | Converting Java Classes to Use
Generics, D. von Dincklage, A. Diwan, OOPSLA '04 Converting Java Programs to Use Generic Libraries, A. Donovan, A. Kiezun, M. Ernst, OOPSLA '04 |
Wang |
Nov 16 | Region-Based Shape Analysis with Tracked Locations, B. Hackett, R. Rugina, POPL'05 | Rugina |
Nov 30 | Array Regrouping and Structure Splitting Using Whole-Program Reference Affinity, Y. Zhong, M. Orlovich, X. Shen, and C. Ding, PLDI '04 | Orlovich |