Khaled Elwazeer

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Database Server

Complexity Analysis

Affine Invariant

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables. ACM Trans. Softw. Eng. Methodol. 25 (2) (2016)
Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Greeshma Yellareddy, Rajeev Barua
Affine Parallelization Using Dependence and Cache Analysis in a Binary Rewriter. IEEE Trans. Parallel Distributed Syst. 26 (8) (2015)
Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Rajeev Barua
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. ESOP (2014)
Kapil Anand, Matthew Smithson, Khaled Elwazeer, Aparna Kotha, Jim Gruen, Nathan Giles, Rajeev Barua
A compiler-level intermediate representation based binary analysis and rewriting system. EuroSys (2013)
Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis
An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables. ICSM (2013)
Matthew Smithson, Khaled Elwazeer, Kapil Anand, Aparna Kotha, Rajeev Barua
Static binary rewriting without supplemental information: Overcoming the tradeoff between coverage and correctness. WCRE (2013)
Khaled Elwazeer, Kapil Anand, Aparna Kotha, Matthew Smithson, Rajeev Barua
Scalable variable and data type detection in a binary rewriter. PLDI (2013)