September 15, 1999 Organizational details and introduction
to data-flow analysis.
(see link to CS516 notes on Ryder webpage, lectures 3,4).
September 22, 1999
The Vortex Compiler Project
Talk slides.
September 30, 1999
Florin Isaila to present:
E. Gagnon, L. Hendren,
Intra-procedural Inference of Static Types for Java Bytecode",
Sable Technical Report NO 1999-1, March 1999.
Talk slides.
Fancong Zeng to present:
V. Sundaresan, L. Hendren,
C. Razafimahefa, R. Vallee-Rai, P. Lam, E. Gagnon,
"Practical Virtual Method Call Resolution for Java" Sable
Technical Report NO 1999-2, April 1999.
Talk sldies.
Discussion of the Sable group SOOT framework for Java
October 7, 1999
(12:30pm)Ramkrishna Chatterjee, Ph.D. Defense,
"Modular Data-flow Analysis of Statically Typed Object-oriented
Programming Languages",
(see
DCS-TR-360, ).
(3:00pm)Dr. Frank Tip, IBM T.J. Watson Research Center,
to present his work on
JAX to be presented at OOPSLA'99
for more details see
the JAX webpage
October 12, 1999 Dr. Walter Tichy, University of Karlsruhe
October 14, 1999
Nasko Rountev to present:
D. Grove, G. DeFauw, J. Dean, C. Chambers, "Call
Graph Construction in OO Languages",
OOPSLA'97, October 1997,
pp 108-124.
Talk slides.
Chung-hsing Hsu to present:
O. Agesen, U. Holzle, "Type Feedback vs Concrete Type Inference:
A Comparison of
Optimization Techniques for OO Languages", OOPSLA'95
t
Ageson Ph.D. thesis)
Talk slides
October 21, 1999
Matt Arnold to present:
"The Jalapeno Dynamic Optimizing Compiler for Java",
1999 ACM Java Grande Conference
Talk slides.
Ana Milanova to present:
Trishul Chilimbi, Bob Davidson, and James Larus
"Cache-Conscious Structure Definition"
Talk slides.
October 28, 1999
Barbara Ryder to present:
Microsoft Marmot Compiler
Talk slides.
Dr. Bill Pugh, University of Maryland, to present his OOPSLA'99 paper
on the Java memory model;
See his
website for Java papers. Read Chapter 17 in Java Language
Specification. See
his OOPSLA99 paper
Skip week of OOPSLA'99
November 11, 1999
Matt Arnold to present:
U.Holzle, D. Ungar,"Reconciling Responsiveness with Performance
in Pure Object-oriented Languages", ACM TOPLAS'96.
Talk slides.
Chung-hsing Hsu to present:
G. Aigner, U. Holzle, "Eliminating Virtual Function Calls in C++
Programs", ECOOP'96
Talk slides
For reference also consult:
(1)
(also to look at
K. Driesen, U. Holzle, "The Direct Cost of Virtual Function Calls
in C++", OOPLSA96.
(2) Driesen's PhD thesis, "Software and Hardware Techniques for Efficient Polymorphic Calls", 1999.
November 18, 1999
Fancong Zeng to present:
(1)
M. Odersky, P. Wadler, "Pizza into Java: Translating theory
into practice", POPL97, January 1997.
Talk slides.
. Related papers are available. See also the home page of pizza.
Tom Marlowe to present overview of profiling techniques
December 2, 1999 Craig Chambers to visit to talk about "Whirlwind: A Staged Compilation Infrastructure".
December 9, 1999 Barbara Ryder to present synopsis of OOPSLA'99
Florin Isaila to present:
A. Krall, M. Probst, "Monitors and Exceptions: How to implement
Java Efficiently",
1998 ACM Java Workshop for High Performance Computing,
(see his website
Andi Krall at University
of Vienna).
Talk slides
December 14, 1999
Ana Milanova to present:
Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C. Sreedhar,
Sam Midkiff,
"Escape Analysis for Java", 1999 ACM SIGPLAN Conference on Object-Oriented Programming
Systems, Languages, and Applications (OOPSLA'99), Denver, Colorado,
November 1, 1999.
Talk slides.
Nasko Rountev to present:
L. Larsen, M. J. Harrold, "Slicing Object-Oriented Software",
"18th International Conference on Software Engineering (ICSE'96),
pages 495--505, March 1996.
Talk slides.
Last updated by Barbara Ryder at 7:45pm, December 20, 1999.