Write a Blog >>
MSR 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
Tue 29 May 2018 15:08 - 15:15 at E3 room - Search and Traceability Chair(s): Sonia Haiduc

Developers often ask for libraries that implement specific mathematical expressions. A fundamental bottleneck in building information retrieval (IR) systems to answer such mathematical queries is the inability to detect a given expression in software binaries. While we have a few math IR solutions such as EgoMath2 and Tangent-3 that work over text documents, none exist to search over software binaries. Our vision is to build a search system for binaries to answer queries containing mathematical expressions. A wide variety of compilers and differences in the way they optimize the code, pose difficult challenges to solve this problem. In this work, we discuss our preliminary results in detecting mathematical expressions in software binaries. We use a knowledge base assisted approach to solve this problem. We are able to search mathematical expressions with a precision of 80% and a recall of 53%. This work opens up interesting research opportunities in areas such as software security and performance, to help analysts in identifying and analyzing binaries for implementations of mathematical expressions.

Tue 29 May

14:00 - 15:30: Technical Papers - Search and Traceability at E3 room
Chair(s): Sonia HaiducFlorida State University
msr-2018-papers14:00 - 14:17
Michael RathTechnische Universität Ilmenau, David LoSingapore Management University, Patrick MäderTechnische Universität Ilmenau
DOI Pre-print
msr-2018-papers14:17 - 14:34
Jinqiu Yang , Erik WitternIBM Research, Annie T.T. YingEquitySim, Julian DolbyIBM Thomas J. Watson Research Center, Lin TanUniversity of Waterloo
msr-2018-papers14:34 - 14:51
Md Masudur RahmanUniversity of Virginia, USA, Jed BarsonUniversity of Virginia, Sydney Paul , Joshua Kayani , Federico Andrés Lois , Sebastián Fernandez Quezada , Chris ParninNCSU, Kathryn StoleeNorth Carolina State University, Baishakhi RayColumbia University, New York
msr-2018-papers14:51 - 15:08
Pengcheng Yin, Bowen DengCarnegie Mellon University, Edgar ChenCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University, Graham NeubigCarnegie Mellon University
msr-2018-papers15:08 - 15:15
DOI Pre-print
msr-2018-papers15:15 - 15:30