|
Finding Your Cronies: Static Analysis for Dynamic Object Colocation
with Kathryn S. McKinley
Accepted to OOPSLA 2004
Final version:[PDF][Slides]
Error Checking with Client-Driven Pointer Analysis
with Calvin Lin
Invited to Science of Computer Programming -- an expanded version of our SAS '03 paper below.
[Postscript] [PDF]
Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries
with Calvin Lin
Proceedings of the IEEE: Special Issue on Program Generation, Optimization, and Platform Adaptation
[Postscript] [PDF]
Client-Driven Pointer Analysis
with Calvin Lin
10th Annual Static Analysis Symposium.
June 2003 with FCRC '03. [Postscript] [PDF] [Slides]
Incorporating Domain-Specific Information into the Compilation Process
Advisor: Calvin Lin
Doctoral dissertation
May 2003 [Postscript]
[PDF] [Slides]
Detecting Errors with Configurable Whole-Program Dataflow Analysis
with Emery D. Berger and Calvin Lin
UTCS TR-02-04 [PDF]
Broadway: A Software
Architecture for Scientific Computing
with Calvin Lin
The Architecture of Scientific Software.
R. F. Boisvert and P. T. P. Tang Editors. Kluwer Academic Press, 2000. [Postscript] [PDF]
Optimizing the Use of High Performance Libraries
with Calvin Lin
Proceedings of the 13th International Workshop on Languages and
Compilers for Parallel Computing.
August 2000. [Postscript] [PDF] [Slides]
An Annotation Language for Optimizing Software Libraries
with Calvin Lin
2nd Conference on Domain Specific Languages.
October 1999. [Postscript] [PDF]
|