Languages and Compilers Seminar

Fall 2006
Tue 1:30-2:30pm   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. This semester we will discuss papers from the recent PLDI, OOPSLA, 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
Sep 5  DieHard: Probabilistic Memory Safety for Unsafe Languages, by Berger, Zorn, PLDI'06 Siggi
Sep 12  Memory Leak Analysis by Contradiction, by Orlovich, Rugina, SAS'06 Maksim
Sep 19  Cancelled.  
Sep 26   Practical Dynamic Software Updating for C, by Neamtiu, Hicks, PLDI'06 Yanling
Oct 3  J&: Nested Intersection for Scalable Software Composition, by Nystrom, Qi, Myers, OOPSLA'06 Xin Q.
Oct 10  Fall break  
Oct 17  Efficient software model checking of data structure properties, by Darga, Boyapti, OOPSLA'06 K. Vikram
Oct 24  Cancelled.  
Oct 31 Generic ownership for generic Java, Potanin, Noble, Clarke, Biddle, OOPSLA'06 Jed
Nov 7 Termination proofs for systems code, Cook, Podelsky, Rybalchenko, PLDI'06 Bergur
Nov 14 PLDI deadline.  
Nov 21  LOCKSMITH: Context-Sensitive Correlation Analysis for Race Detection, by Pratikakis, Foster, and Hicks, PLDI'06 Lonnie
Nov 28 Abstracting Allocation: The New New Thing, by Benton, CSL'06 Wojtek

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