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 Spring we will discuss papers from the recent OOPSLA, POPL, 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 |
Feb 1 | Practical Predicate Dispatch, T. Millstein, OOPSLA 04 | Cherem |
Feb 8 | Finding Your Cronies: Static Analysis for Dynamic Object Colocation, S. Guyer, K. McKinley, OOPSLA 04 | Marques |
Feb 15 | Scalable Error Detection using Boolean Satisfiability, Y. Xie, A, Aiken, POPL 05 | R. Wang |
Feb 22 | A Dataflow Language for Scriptable Debugging, by Marceau, Cooper, Krishnamurthi, and Reiss, ASE '04 | Stowell |
Mar 1 | Implementation and Evaluation of a Scalable Application-level Checkpoint-Recovery Scheme for MPI Programs, M. Schulz, G. Bronevetsky, R. Fernandes, D. Marques, K. Pingali, and P. Stodghill, SC 04 | Bronevetsky |
Mar 8 | Downgrading Policies and Relaxed Noninterference, P. Li, S. Zdancewic, POPL 05 | Xin |
Mar 15 | Cancelled. | |
Mar 29 | An Extensible static checker for Cyclone. | Y. Wang |
Apr 5 | Combinators for Bi-Directional Tree Transformations, N. Foster, Michael., J. Moore, B. Pierce, A. Schmitt, POPL'05 | Nystrom |
Apr 12 | Decentralizing Execution of Composite Web Services, M. Nanda, S. Chandra, V. Sarkar, OOPSLA 04 | Fernandes |
Apr 19 | End-to-End Availability Policies and Noninterference, L. Zheng, A. Myers, CSFW'05 | Zheng |
Apr 26 | IntelŪ PentiumŪ 4 Processor, talk by Doug Carmean (in Upson B17) | |
May 3 | Belief in Information Flow, M. Clarkson, A. Myers, F. Schneider, CSFW'05 | Clarkson |