Presentation templates

• Template for slides, report, and evaluation form is here
• Slide example is here.
• Evaluation form example is here.
• Report example is here.

Extra lectures

• Similarity analysis: similarity.pdf.
• Watermarking: watermarking.pdf.
• Obfuscation: obfuscation.pdf.

Papers

• Interpreters, mandatory reading:
  1. M. Anton Ertl: Stack Caching for Interpreters. ACM Programming Language Design and Implementation (PLDI'95), 1995, pp. 315--318.
• Interpreters, student presentations:
  1. Ertl, Wien: Retargeting JIT compilers by using C-compiler generated executable code
  2. Todd Proebsting: Optimizing an ANSI C Interpreter with Superoperators, ACM Principles of Programming Languages (POPL'96), January 1996, pp. 322--332.
  3. M. Anton Ertl, David Gregg, Andreas Krall, Bernd Paysan: vmgen --- A Generator of Efficient Virtual Machine Interpreters, SOFTWARE: PRACTICE AND EXPERIENCE
• Garbage collection, mandatory reading:
  1. Jacques Cohen: Garbage Collection of Linked Data Structures, Computing Surveys, Vol. 13, No. 3, Sept 1981.
• Garbage collection, student presentations:
  1. Edward E. Aftandilian Samuel Z. Guyer: GC Assertions: Using the Garbage Collector to Check Heap Properties, Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation.
  2. Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise Garbage Collection for C, Proceedings of the 2009 international symposium on Memory management
  3. Stephen M Blackburn, Perry Cheng, Kathryn S McKinley: Myths and Realities: The Performance Impact of Garbage Collection Proceedings of the joint international conference on Measurement and modeling of computer systems (SIGMETRICS '04/Performance '04)
• Finding bugs by static analysis, student presentations:
  1. Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros ,Asya Kamsky, Scott McPeak, and Dawson Engler: A Few Billion Lines of Code Later - Using Static Analysis to Find Bugs in the Real World
  2. Dawson Engler, Benjamin Chelf, Andy Chou, Seth Hallem: Checking System Rules Using System-Specific, Programmer-Written, Compiler Extensions
  3. Nathaniel Ayewah, William Pugh, David Morgenthaler, John Penix, YuQian Zhou: Evaluating Static Analysis Defect Warnings On Production Software
  4. David Hovemeyer, William Pugh: Finding More Null Pointer Bugs, But Not Too Many
  5. David Hovemeyer, Jaime Spacco, and William Pugh: Evaluating and Tuning a Static Analysis to Find NullPointer Bugs
• Code generation, student presentations:
  1. Harry Massalin, Superoptimizer - A look at the smallest program
• Decompilation, student presentations:
  1. Christina Cifuentes, John Gough Decompilation of Binary Programs
  2. Christina Cifuentes,= Structuring Decompiled Graphs

Exam Material