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. This semester we will discuss papers from the recent OOPSLA, POPL, and other programming languages conferences. 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 31 | Interruptible Iterators, by Liu, Kimball, Myers, POPL'06 | Liu |
Feb 7 | Context- and Path-sensitive Memory Leak Detection, by Xie, Aiken, FSE'05 | Orlovich |
Feb 14 | Harmless Advice, by Dantas, Walker, POPL'06 | Chong |
Feb 21 | A Virtual Class Calculus, by Ernst, Cook, POPL'06 | Nystrom |
Feb 28 | CUTE: a concolic unit testing engine for C, by Sen, Marinov, Agha, FSE '05 | Fernandes |
Mar 7 | A Verifiable SSA Program Representation for Aggressive Compiler Optimization, by Menon, Glew, Murphy et.al. , POPL'06 | Kulkarni |
Mar 14 | Micro patterns in Java code, by Gil, Maman, OOPSLA'05 | Vikram |
Mar 28 | Javari: adding reference immutability to Java, by Tschantz, Ernst, OOPSLA'05 | Cherem |
Apr 4 | PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code, by Li, Zhou, FSE'05 | Peng |
Apr 11 | Finding application errors and security flaws using PQL: a program query language, by Martin, Livshits, Lam, OOPSLA'05 | Qi |
Apr 18 | A Logic for Information Flow in Object-Oriented Programs, by Amtoft, Bandhakavi, Banerjee, POPL'06 | Clarkson |
Apr 25 | Automatic Discovery of API-Level Exploits, by Ganapathy, Seshia, Jha, Reps, and Bryant, ICSE'05 | Cherem |
May 2 | The Atomos Transactional Programming Language, by Carlstrom, McDonald, Chafi, Chung, Minh, Kozyrakis, Olukotun, PLDI'06 | Kulkarni |