| Date |
Paper | Presenter |
|---|---|---|
| Jan. 20, 2003 |
John W. Sias, David I. August, and Wen-mei W. Hwu
Accurate and Efficient Predicate Analysis with Binary Decision Diagrams Proceedings of the 33rd International Symposium on Microrchitecture (MICRO), pp. 112-123, December, 2000 [PostScript] [PDF] [PDF slides] | Suan |
| Jan. 27, 2003 | (No Meeting) | |
| Feb. 3, 2003 |
Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley.
Reconsidering Custom Memory Allocation 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02), pp 1-12, November 2002. [Available Here] | Suan |
| Feb. 10, 2003 |
Arch D. Robinson.
Impact of Economics on Compiler Optimization. Keynote at ACM Java Grande 2001 [Postscript] | |
|
Todd Veldhuizen.
Just when you thought your little language was safe: Expression Templates in Java IUCS Technical Report # 539, July 2000 [Available Here] | ||
| Feb. 17, 2003 |
Sumit Gulwani and George Necula
Discovering affine equalities using random interpretation POPL '03. [ACM download] [S. Gulwani] [G. Necula] | Raghavan |
| Feb. 24, 2003 |
Martin Burtscher, Amer Diwan, Matthias Hauswirth
Static load classification for improving the value predictability of data-cache misses. PLDI 2002 [ ACM download ] | Camille |
| Mar. 3, 2003 |
David F. Bacon, Perry Cheng, and V. T. Rajan.
A Real-time Garbage Collector with Low Overhead and Consistent Utilization POPL '03 [ ACM download ] | Kent |
| Mar. 10, 2003 |
Ahmed Bouajjani, Javier Esparza, and Tayssir Touili.
A Generic Approach to the Static Analysis of Concurrent Programs with Procedures. POPL 2003. [ ACM download ] | Denis |
| Mar. 17, 2003 | (Spring Recess) | |
| Mar. 24, 2003 |
Jan Obdrzálek
Model Checking Java Using Pushdown Systems. Formal Techniques for Java-like Programs 2002. [PDF] | Denis |
| Mar. 31, 2003 |
Javier Esparza.
Decidability of model-checking for infinite-state concurrent systems. Acta Informatica, 34:85-107, 1997. [ Postscript/gz ] [ Esparza ] | |
| Apr. 7, 2003 |
Jérôme Siméon and Philip Wadler
The Essence of XML POPL 2003 [ ACM ] [ Wadler ] | Suan |
| Apr. 14, 2003 |
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard.
Interprocedural Compatibility Analysis for Static Object Preallocation. POPL '03 [PDF (~rinard)] | Camille |
| Apr. 21, 2003 |
Marc-Olivier Killijian, Juan-Carlos Ruiz, and Jean-Charles Fabre.
Portable Serialization of CORBA Objects: a Reflective Approach. OOPSLA 2002 [ ACM ] | Kent |
| Apr. 28, 2003 |
Brian Demsky and Martin Rinard.
Role-Based Exploration of Object-Oriented Programs. International Conference on Software Engineering, ICSE 2002. [ PDF (~rinard) ] | Raghavan |
| May 5, 2003 | Postponed | Suan |
|
Martin Elsman.
Garbage Collection Safety for Region-based Memory Management TLDI 2003. [ ACM ] [ Elsman ] | ||
| May 12, 2003 | ||
|
Cristiano Calcagno
Stratified Operational Semantics for Safety and Correctness of the Region Calculus. POPL 2001. [ ~Calcagno ] | ||
|
Cristiano Calcagno, Simon Helsen, Peter Thiemann
Syntactic Type Soundness Results for the Region Calculus. In Information and Computation Vol. 173, Academic Press. [ ~Calcagno ] | ||
| May 19, 2003 | ||
| May 26, 2003 | ||
| Jun. 2, 2003 | ||
| Jun. 9, 2003 |
Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan
Bug Isolation via Remote Program Sampling PLDI'03 [ ~liblit ] | |
| Jun. 16, 2003 |
M. Stephenson, M. Martin, U. O'Reilly, and S. Amarasinghe.
Meta Optimization: Improving Compiler Heuristics with Machine Learning. PLDI'03 [ MIT MetaOpt ] | |
| Jun. 23, 2003 |
Gregory T. Sullivan, Derek L. Bruening, Iris Baron,
Timothy Garnett, Saman Amarasinghe
Dynamic Native Optimization of Interpreters. ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators. [ PDF ] | Kent |
| Jun. 30, 2003 |
Atsushi Igarashi and Mirko Viroli
On Variance-Based Subtyping for Parametric Types. ECOOP'02, LNCS 2374. [ PDF ] | Mulhern |
| Jul. 7, 2003 |
Gail C. Murphy, David Notkin, and Kevin Sullivan.
Software reflexion models: bridging the gap between source and high-level models FSE '95 [ ACM ] | Raghavan |
| Jul. 14, 2003 |
V. Benjamin Livshits, Monica Lam.
Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs ESEC/FSE 2003 [ PDF ] | Suan |
| Jul. 21, 2003 | ||
| Jul. 28, 2003 |
Jens Krinke
Context-Sensitive Slicing of Concurrent Programs ESEC/FSE 2003 [ Passau ] | Suan |
| Aug. 4, 2003 |
T.Suganuma, T.Yasue, T.Nakatani.
A Region-Based Compilation Technique for a Java Just-In-Time Compiler. PLDI'03 [ ACM ] | Kent |
| Aug. 11, 2003 | ||
| Aug. 18, 2003 | ||
| Aug. 25, 2003 |