15-745 Spring 2012
Class Projects

Here are the class projects for 2012 (in no particular order):

Compiler Optimization and JavaScript:

• Range Analysis for IonMonkey. Ryan Pearl and Michael Sullivan.
• Instrumenting V8 to Measure the Efficacy of Dynamic Optimizations on Production Code. Michael Maas and Ilari Shafer.

Register Allocation:

• Improved Heuristics for Coalescing. Carol Wang and Patrick Xia.
• Towards a Faster Register Allocator via Matrix Multiplicatives Weights. David Witmer and John Wright.

Static Code Analysis to Understand Software Properties:

• Static Information Analysis and Machine Learning Analysis on Automated Detecting Browser Extension Vulnerabilities. Jaicheng Hong, Boyan Li, and Qinsi Wang.
• Combinatorial Algorithms for Specification Inference in Information Flow Problems. Sarah Loos and Akshay Krishnamurthy.
• Binary Inference on Typed Assembly Language. Carlo Angiuli and Matthew Maurer.

Vectorization and Code Scheduling:

• Vectorization of Programs in CPS Form. Anton Bachin and Anand Subramanian.
• Eliminating Loop Iterations using a Polyhedral Model. Rachata Ausavarungnirun and Donghyuk Lee.
• Aggressive Scheduling for Numerical Programs. Richard Veras, Flavio Cruz, and Berkin Akin.

Machine Learning and Code Optimization:

• Phase Order Search with Feature Selection. Joao Martins and David Henriques.
• Predicting Sequence of Parameterized Transform Passes using Machine Learning Techniques. Ashique Khudabukhsh and Jayant Krishnamurthy.

Optimizing Parallelism:

• Mapping Parallelism to Multi-cores. Mehdi Samadi and Ankit Sharma.
• Automatic Parallelism in Octopus. Shiva Kaul and Kristina Sojakova.

Singular Topics:

• Virtual Views. Kevin Chang and Vivek Seshadri.
• CREAT: Computational Reduction of Expressions using Algebraic Techniques. Bao Hong Tan and Vincent Teo.
• Memory-Conscious Data Layout. Justin Meza and Yoongu Kim.
• Implementing Profile-Guided Speculative Code Motion in LLVM. Ben Jaiyen and Jamie Liu.
• Scalable context-sensitive and flow-sensitive alias analysis. Hugues Bruant.

Back to CS745 home page.