Student Paper Presentations

Adam Cramer,
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation by Chris Lattner and Vikram Adve in Proceedings of the International Symposium on Code Generation and Optimization, 2004.
Powerpoint presentation and slides in PDF
Robert Mireles,
Abstract Stack Graph to Detect Obfuscated Calls in Binaries, by Arun Lakhotia and Eric Uday Kumar, in Proceedings of Fourth IEEE International Workshop on Source Code Analysis and Manipulation, September 2004.
Powerpoint presentation and slides in PDF
---Additional related papers---
Deobfuscation: Reverse Engineering Obfuscated Code by Sharath K. Udupa, Saumya K. Debray, and Matias Madou.
Static Disassembly of Obfuscated Binaries, by Christopher Kruegel, William Robertson, Fredrik Valeur and Giovanni Vigna.
Static Verification of Worm and Virus Behavior in Binary Executables using Model Checking, by Prabhat K Singh and Arun Lakhotia.
Understanding Obfuscated Code, by Matias Madou, Ludo Van Put and Koen De Bosschere.

Anitha Marnene
Model Checking and Code Generation for UML State Machines and Collaborations by Alexander Knapp and Stephan Merz in Proceedings of the 5th Workshop on Tools for System Design and Verification, 2002.
Powerpoint presentation and slides in PDF
---Additional related papers---
FINITE STATE MACHINE AUTOMATIC CODE GENERATION by Ljubica Lazareviae and Dragan Miliaev.
Hui Shen
Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams, by Atanas Rountev, Olga Volgin, and Miriam Reddoch, The 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005)
Powerpoint presentation and slides in PDF
---Additional related papers---
Static analysis versus software model checking for bug finding by Dawson Engler and Madanlal Musuvathi, invited paper for Eighth International Conference on Verification, Model Checking and Abstract Interpretation, 2004.
Software Analysis and Model Checking by Gerard J. Holzmann.

Kevin Do
Selecting, Refining, and Evaluating Predicates for Program Analysis by Nii Dodoo, Lee Lin, and Michael D. Ernst in Technical Report MIT-LCS-TR-914, MIT Lab for Computer Science, 2003.
Powerpoint presentation and slides in PDF
Mark Smith
Variably Interprocedural Program Analysis for Runtime Error Detection by Aaron Tomb, Guillaume Brat, and Willem Visser, in Proceedings of the international symposium on Software testing and analysis, 2007.
Powerpoint presentation and slides in PDF

Steve O'Hara
Evaluation of Software Modernization Estimation Methods Using NIMSAD Meta Framework by Jussi Koskinen, Heikki Lintinen, Henna Sivula, and Tero Tilus, in Publications of the Information Technology Research Institute, 2004.
Powerpoint presentation and slides in PDF

Mike Stiles,
Dependence-Based Program Analysis, by Richard Johnson and Keshav Pingali, in Proceedings of the ACM SIGPLAN symposium on Programming Languages Design and Implementation, June, 1993.
slides in PDF
Sridevi Jagavarapu
Improving Security Using Extensible Lightweight Static Analysis by David Evans and David Larochelle, in IEEE Software, Jan, 2002.
---Additional related papers---
Statically Detecting Likely Buffer Overflow Vulnerabilities by David Larochelle, 2001.
Finding Security Vulnerabilities Before Evil Doers Do by David Evans.
Powerpoint presentation and slides in PDF

Tony Castaldo,
Iterative modulo scheduling: an algorithm for software pipelining loops, by B. Ramakrishna Rau, in Proceedings of the 27th annual international symposium on Microarchitecture, 1994.
---Additional related papers---
Lifetime-sensitive Modulo Schedulingin a Production Environment, by Josep Llosa, Eduard Ayguade, Antonio Gonzalez, Mateo Valero and Jason Eckhardt, in IEEE Transactions on Computers, 2001.
slides in PDF
Devineni Soujanya
Program Slicing by Mark Weiser, in Proceedings of the 5th international conference on Software engineering,1981.
---Additional related papers---
Program Slicing by David Binkley and Keith Brian Gallagher, in Advances in Computers, 1996.
Powerpoint presentation and slides in PDF