Reading List

ENEE759C Spring 2007

All 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 Schwarz's thesis here.)

Additional readings:

METRIC: tracking down inefficiencies in the memory hierarchy via binary rewriting. J Marathe, F Mueller, T Mohan, BR de Supinski, SA, Yoo, A. In
Code Generation and Optimization, 2003.

Link-time optimizations

De Sutter, B.; De Bus, B.; De Bosschere, K. Link-time binary rewriting techniques for program compaction. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM Press. Vol. 27 (5). 2005. pp. 882-945

Additional readings:

Van Put, L.; Chanet, D.; De Bus, B.; De Sutter, B.; De Bosschere, K. DIABLO: a reliable, retargetable and extensible link-time rewriting framework. Proceedings of the 2005 IEEE International Symposium On Signal Processing And Information Technology. IEEE. 2005. pp. 7-12

Binary rewriting for CISC architectures

Instrumentation and Optimization of Win32/Intel Executables Using Etch. T Romer, G Voelker, D Lee, A Wolman, W Wong, H. In the Proceedings of the
USENIX Windows NT Workshop Seattle, Washington, August 1997.

Additional readings:

Detours: Binary Interception of Win32 Functions (1998) Galen Hunt and Doug Brubacher, February 1999, MSR-TR-98-33 Microsoft Research.

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: Úlfar Erlingsson. The Inlined 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. IRM 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.

Additional readings:

SELF: a transparent security extension for ELF binaries. by DC DuVarney, VN Venkatakrishnan, S Bhatkar - Proceedings of the 2003 workshop on New security paradigms, 2003.

Preventing unauthorized control transfers

Martín Abadi, Mihai Budiu, Úlfar Erlingsson, and Jay Ligatti. Control-Flow Integrity: Principles, Implementations, and Applications. In Proceedings of the 12th ACM Conference on Computer and Communications Security (CCS'05), Alexandria, VA, November 2005.

Additional readings:

Secure execution via program shepherding. by V Kiriansky, D Bruening, S Amarasinghe - Proceedings of the 11th USENIX Security Symposium, 2002.

Dynamic compilation

V Bala, E Duesterwald, S Banerjia. Dynamo: a transparent dynamic optimization system. Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation. Vancouver, British Columbia, Canada, 2000.

Additional readings:

B. Grant, M. Mock, M. Philipose, C. Chambers and S. Eggers. DyC: an expressive annotation-directed dynamic compiler for C. Theoretical Computer Science,
Volume 248 , Issue 1-2, Pages: 147 - 199 (October 2000).

Stream-based computing

Michael Gordon, William Thies, and Saman Amarasinghe. Exploiting Coarse-Grained Task, Data, and Pipeline Parallelism in Stream Programs. In Proceedings of the Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, October, 2006.

Additional readings:

Abhishek Das, William J. Dally, Peter Mattson. Compiling for Stream Processing. Proceedings of the 15th international conference on Parallel architectures and compilation techniques, Seattle, Washington, 2006

Synchronous programming languages and their implementation

A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.

Additional readings:

G Berry, G Gonthier . The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 1992 (Click on "PDF" link on top-right of the page.)

Compiler-inserted prefetching

Todd C. Mowry, Monica S. Lam, and Anoop Gupta. Design and evaluation of a compiler algorithm for prefetching. SIGPLAN Not., 27(9):62–73, 1992

Additional readings:

Vanderwiel, S. P. and Lilja, D. J. 2000. Data prefetch mechanisms. /ACM Comput. Surv./ 32, 2 (Jun. 2000), 174-199.

Optimizations in Java Virtual Machines

M Arnold, S Fink, D Grove, M Hind, PF Sweeney. Adaptive optimization in the Jalapeño JVM. Proceedings of the 15th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Minneapolis, Minnesota, October, 2000.

Additional readings:

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.)