Publications


  • [TOSEM 2015] A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
    Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matt Smithson and Rajeev Barua
    In ACM Transactions on Software Engineering and Methodology, Vol 25, Issue 2, 2015
    [abstract][pdf]

  • [TECS 2015] Instruction-Cache Locking for Improving Embedded System Performance
    Kapil Anand and Rajeev Barua
    In ACM Transactions on Embedded Computer Systems, Vol 14, Issue 3, 2015
    [abstract][pdf]

  • [TPDS 2015] Affine Parallelization using Dependence and Cache Analysis in a Binary Rewriter
    Aparna, Kotha, Kapil Anand, Tim Creech, Khaled Elwazeer, Matt Smithson, Greeshma Yellareddy and Rajeev Barua
    In IEEE Transactions on Parallel and Distributed Systems, Vol 26, Issue 8, 2015
    [abstract][pdf]

  • [ESOP 2014] Affine Parallelization of Loops with Run-time Dependent Bounds from Binaries
    Aparna, Kotha, Kapil Anand, Tim Creech, Khaled Elwazeer, Matt Smithson and Rajeev Barua
    In Proceedings of the 22nd European Symposium on Programming Languages and Systems, 2014
    [abstract][pdf]

  • [WCRE 2013] Static Binary Rewriting without Supplemental Information
    Matt Smithson, Khaled Elwazeer, Kapil Anand, Aparna Kotha and Rajeev Barua
    In Proceedings of the 20th Working Conference on Reverse Engineering, 2013
    [abstract][pdf]

  • [ICSM 2013] An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables
    Kapil Anand, Khaled ElWazeer, Aparna Kotha, Matt Smithson, Rajeev Barua and Angelos Keromytis
    In Proceedings of the 29th International Conference on Software Maintenance, 2013
    [abstract][pdf]

  • [EUROSYS 2013] A Compiler-level Intermediate Representation based Binary Analysis and Rewriting System
    Kapil Anand, Matt Smithson, Khaled ElWazeer, Aparna Kotha, Jim Gruen, Nathan Giles and Rajeev Barua
    In Proceedings of the 8th European Conference on Computer Systems, 2013
    [abstract][pdf][slides]

  • [PLDI 2013] Scalable Variable and Data Type Detection in a Binary Rewriter.
    Khaled ElWazeer, Kapil Anand, Aparna Kotha, Matt Smithson and Rajeev Barua
    In Proceedings of the 34th ACM SIGPLAN conference on Programming Language Design and Implementation, 2013
    [abstract] [pdf][slides]

  • [SEC 2011] Retrofitting Security in COTS Software with Binary Rewriting.
    Padraig O'Sullivan, Kapil Anand, Aparna Kotha, Matt Smithson, Rajeev Barua and Angelos Keromytis
    In Proceedings of the 26th International Information Security Conference, 2011
    [abstract] [pdf]

  • [MICRO 2010] Automatic Parallelization in a Binary Rewriter.
    Aparna Kotha, Kapil Anand, Matt Smithson, Greeshma Yellareddy and Rajeev Barua
    In Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010
    [abstract] [pdf]

  • [CASES 2009] Instruction Cache Locking inside a Binary Rewriter.
    Kapil Anand and Rajeev Barua
    In Proceedings of International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, 2009
    [abstract] [pdf][slides]

  • [RSP 2008] Functional DIF for Rapid Prototyping.
    William Plishker, Nimish Sane, Mary Kiemb, Kapil Anand and Shuvra S. Bhattacharyya
    In Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping,2008
    [abstract] [pdf]