Languages and Compilers Seminar

CS 719  Fall 2005
Tue 1:30-2:30pm   Upson 5130

Radu Rugina,  Keshav Pingali,  Andrew Myers

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

Past seminars: Fall 03, Spring 04, Fall04