"Hierarchical Tiling for Parallel Applications"
9/18 Don Smith
dsmith@cs.rutgers.edu
"gotcha differences between java and c++; interesting problems
to try to code in java to learn its nooks and crannies
(this lecture will have homework); good polymorphism examples
to code. How to run java on our unix system?"
9/25 Andrew Wright
wright@research.nj.nec.com
"the NEC Java Compiler project"
10/08 Matt Arnold
marnold@cs.rutgers.edu
"java tools: from SUN, javascript, java beans -- what are
these good for and how easy are they to use?"
10/16 Mark Kahrs
kahrs@caip.rutgers.edu
"threads and real-time computing"
10/23 Ramkrishna Chatterjee
ramkrish@cs.rutgers.edu
"structure of byte code and byte code verification"
10/30 Alex Borgida
borgida@cs.rutgers.edu
"exceptions and how they are different/same in other languages;
how does this affect control flow analysis"
11/13 James Gosling
The feel of Java
11/20 Jim Benham
Adding Type Parametrization to Java
OOPSLA'97
12/4 Mathew Arnold
TBA
9/18 Thomas Ball (Bell Lab.)
"Efficient Path Profiling"
To appear in MICRO '96, Dec. 1996
9/26 Chung-hsing Hsu
"Type Inference of SELF:
Analysis of objects with dynamic and multiple inheritance"
O. Agesen, J. Palsberg, adn M. Schwartzbach.
Software-Practice & Experience, 25(9) pp975-996, Sept, 1995
10/10 Jim Benham
"Precise concrete type inference
for object oriented languages"
John Plevyak and Andrew Chien.
OOPSLA '94, pp 324-240
10/24 Barbara Ryder
"Whole-program optimization of object-oriented languages"
Craig Chambers, Jeffery Dean, and David Grove.
Dept. of Comp. Sci. and Eng., TR 96-06-02, Univ. of Washington
2/27 Thomas Marlowe
"Complexity of escape analysis"
Alain Deutsch, POPL' 1997
3/6 Andrew Wright
"Infinitary Control Flow Analysis:
a Collecting Semantics for Closure Analysis"
Neilson, POPL' 1997
3/13 Jim Benham
Does "Just in Time" = "Better Late than Never" ?
Cytron, POPL' 1997
3/27 Ulrich Kremer
"Automatic Data Layout with Read-Only Replication and Memory
Constraints"
general reference: "Initial results for glacial variable analysis"
Autrey and Wolfe, LCPC
4/10 Atanas Rountev
"Cache Behavior Prediction by Abstract Interpretation"
M. Alt, SAS' 1996
4/17 Jyh-shiarn Yur
"Discovering Auxiliary Information for Incremental Computation"
Y. Liu, S. Stoller, and T. Teitelbaum, POPL 1996
8/7 Prof. Barbara Ryder
"The Effects of the Precision of Pointer Analysis"
Marc Shapiro and Susan Horwitz, SAS 97
Schedule for Spring 1998
02/05 Mark Kahrs
"A Type System for Java Bytecode Subroutines"
R. Stata and M. Abadi, POPL'98
02/12 Tom Marlowe
"Path-Sensitive Value-Flow Analysis"
Rastislav Bodik and Sadun Anik, POPL'98
02/19 Tom Marlowe
"Path-Sensitive Value-Flow Analysis"
Rastislav Bodik and Sadun Anik, POPL'98
02/26 Tom Marlowe
"Path-Sensitive Value-Flow Analysis"
Rastislav Bodik and Sadun Anik, POPL'98
03/05 Ram
"Complexity of concrete type-inference in the presence of exceptions"
R.Chatterjee, B.G. Ryder and W.A. Landi, ESOP'98
03/26 Jyh-shiarn
"Refining data-flow information using infeasible paths"
Bodik et. al, FSE'97
04/16 Michael Hsiao
"Overview of low-power architecture and software"
04/23 Jim Benham
"Fast interprocedural class analysis"
DeFouw et. al, POPL'98
05/28 Michael Hind
"An Empirical Comparison of Interprocedural Alias Analysis"
07/16 Nasko
Class Hierarchy Specialization
Frank Tip and Peter Sweeney, OOPSLA'97
07/23 Tom Marlowe
Call Graph Construction in Object-Oriented Languages
David Grove, Greg DeFouw, Jeffrey Dean, and Craig Chambers OOPSLA'97
08/27 Uli Kremer
Fortran RED - A Retargetable Environment for Automatic Data Layout
09/03 Barbara Ryder
"Effective Whole-Program Analysis in the Presence of Pointers"
Darren Atkinson and William Griswold, FSE'98
09/10 Ramkrishna Chatterjee
"Fast, Effective Code Generation in a Just-In-Time Compiler"
PLDI'98
09/17 Atanas Rountev
"Harissa: a Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code"
G. Muller, B. Moura, F. Bellard, C. Consel, COOTS'97
09/24 Mark Kahrs
"Toba: Java for Applications: A Way Ahead of Time (WAT) Compiler"
Todd A. Proebsting, Gregg Townsend, Patrick Bridges, John H. Hartman,
Tim Newsham, and Scott A. Watterson
Tech Report 97-01, Department of Computer Science, 1997
10/01 Jim Benham
"Does Just in Time = Better Late than Never"
Michael P. Plezbert and Ron K. Cytron, POPL'97
and
"Continuous compilation for software development and mobile computing"
Michael P. Plezbert
Master's thesis, Washington University, 1996
10/08 Chung-Hsing Hsu
"IPERF: A Framework for Automatic Construction of Performance Prediction Models"
Chung-Hsing Hsu, Ulrich Kremer, PFDC'98
10/15 Don Smith
"Dynamic Runtime Optimization"
Thomas Kistler
In Proceedings of the Joint Modular Languages
Conference, JMLC'97, pp 53-66. LNCS 1204
and
"Slim Binaries"
In Communications of the
ACM, 40(12), pp 87-94; December 1997. Also published as Technical Report
No. 96-24, Department of Information and Computer Science, University of
California, Irvine; June 1996.
10/22 Tom Marlowe
"CACAO - A 64-bit JavaVM Just-in-Time Compiler"
Andreas Krall and Reinhard Grafl
PPoPP'97 Java Workshop
11/05 Barbara Ryder
"Vortex, An Optimizing Compiler for Object-Oriented Languages"
Dean, Defouw, Grove, Litinov, Chambers, OOPSLA'96
11/05 Ramkrishna Chatterjee
"Relevant Context Inference"
Ramkrishna Chatterjee, Barbara Ryder, Bill Landi, POPL'99
11/19 Michael Hsiao
"Java bytecode to native code translation: the
Caffeine prototype and preliminary results"
Cheng-Hsueh A. Hsieh, John C. Gyllenhaal, and Wen-mei W. Hwu
Proceedings of the 29th International Symposium on
Microarchitecture, December 1996, pp. 90-99.
and
"Optimizing NET Compilers for Improved Java Performance"
Cheng-Hsueh A. Hsieh, Marie T. Conte, Teresa L. Johnson, John C.
Gyllenhaal, and Wen-mei W. Hwu,
IEEE Computer, June 1997, pp. 67-75