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