Automatic Parallelization in a Binary Rewriter. - Aparna Kotha; Kapil Anand; Matthew Smithson; Greeshma Yellareddy; Rajeev Barua (MICRO, 2010)

Retrofitting Security in COTS Software with Binary Rewriting. - Pádraig O'Sullivan; Kapil Anand; Aparna Kotha; Matthew Smithson; Rajeev Barua; Angelos D. Keromytis (SEC, 2011)

A compiler-level intermediate representation based binary analysis and rewriting system. - Kapil Anand; Matthew Smithson; Khaled Elwazeer; Aparna Kotha; Jim Gruen; Nathan Giles; Rajeev Barua (EuroSys, 2013)

An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables. - Kapil Anand; Khaled Elwazeer; Aparna Kotha; Matthew Smithson; Rajeev Barua; Angelos D. Keromytis (ICSM, 2013)

Efficient multiprogramming for multicores with SCAF. - Timothy Creech; Aparna Kotha; Rajeev Barua (MICRO, 2013)

Scalable variable and data type detection in a binary rewriter. - Khaled Elwazeer; Kapil Anand; Aparna Kotha; Matthew Smithson; Rajeev Barua (PLDI, 2013)

Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness. - Matthew Smithson; Khaled Elwazeer; Kapil Anand; Aparna Kotha; Rajeev Barua (WCRE, 2013)

Automatic Parallelization of Affine Loops using Dependence and Cache analysis in a Binary Rewriter. - Aparna Kotha (2013)

Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. - Aparna Kotha; Kapil Anand; Timothy Creech; Khaled Elwazeer; Matthew Smithson; Rajeev Barua (ESOP, 2014)

Affine Parallelization Using Dependence and Cache Analysis in a Binary Rewriter. - Aparna Kotha; Kapil Anand; Timothy Creech; Khaled Elwazeer; Matthew Smithson; Greeshma Yellareddy; Rajeev Barua (IEEE Trans. Parallel Distributed Syst., 2015)

A Stack Memory Abstraction and Symbolic Analysis Framework for Executables. - Kapil Anand; Khaled Elwazeer; Aparna Kotha; Matthew Smithson; Rajeev Barua; Angelos D. Keromytis (ACM Trans. Softw. Eng. Methodol., 2016)