ENEE759C Spring 2007
papers are available on-line (follow links below). The first paper in each topic
is its main paper.
Papers on ACM's and IEEE's digital libraries
are accessible only using on-campus computers!
Code improvement in a binary rewriter
Benjamin Schwarz, Saumya Debray, and Gregory Andrews.
PLTO: A Link-Time Optimizer for the Intel IA-32
Architecture. Proc. 2001 Workshop on Binary
Translation (WBT-2001), Sept. 2001.
(Most people in the class only need to read the above paper. However the
presenters can get more details if they need from a full version of this work in
Binary rewriting for CISC architectures
Security policy enforcement in a binary rewriter
This topic is unusual in that the main paper for the presenting group and for
the rest of the students are different:
- For the presenting group:
Reference Monitor Approach to Security Policy Enforcement. Ph.D. thesis,
Department of Computer Science, Cornell University, Department of Computer
Science, Cornell University, Ithaca, NY, 2003.
- For all other students: Úlfar Erlingsson
and Fred Schneider.
enforcement of Java stack inspection. Proceedings 2000 IEEE Symposium on
Security and Privacy (Oakland, California, May 2000), IEEE Computer Society,
Los Alamitos, California, pages 246-255. [Please write pre-seminar
reports on this second paper]
The reason for this split is that the Ph.D
thesis is too long to read for a pre-seminar report, but will make for a better
presentation. The topics of the two papers above are overlapping, but
unfortunately, they are not identical.
Preventing unauthorized control transfers
Synchronous programming languages and their implementation
Optimizations in Java Virtual Machines
- M Arnold, S
Fink, D Grove, M Hind, PF Sweeney.
optimization in the Jalapeño JVM.
of the 15th ACM SIGPLAN conference on Object-Oriented Programming, Systems,
Languages and Applications (OOPSLA), Minneapolis, Minnesota, October, 2000.
- T Suganuma, T
Yasue, M Kawahito, H Komatsu, T. Nakatani.
A dynamic optimization framework for a Java just-in-time compiler.
Proceedings of the 16th ACM SIGPLAN conference on
Object-Oriented Programming, Systems, Languages and Applications (OOPSLA),
Tampa Bay, FL, October, 2001. (Also in SIGPLAN notices, 2001.)