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.

Conference Day
Tue 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Search and TraceabilityTechnical Papers at E3 room
Chair(s): Sonia HaiducFlorida State University
14:00
17m
Full-paper
Analyzing Requirements and Traceability Information to Improve Bug Localization
Technical Papers
A: Michael RathTechnische Universität Ilmenau, A: David LoSingapore Management University, A: Patrick MäderTechnische Universität Ilmenau
DOI Pre-print
14:17
17m
Full-paper
Towards Extracting Web API Specifications from Documentation
Technical Papers
A: Jinqiu Yang , A: Erik WitternIBM Research, A: Annie T.T. YingEquitySim, A: Julian DolbyIBM Thomas J. Watson Research Center, A: Lin TanUniversity of Waterloo
14:34
17m
Full-paper
Evaluating How Developers Use General-Purpose Web-Search for Code Retrieval
Technical Papers
A: Md Masudur RahmanUniversity of Virginia, USA, A: Jed BarsonUniversity of Virginia, A: Sydney Paul , A: Joshua Kayani , A: Federico Andrés Lois , A: Sebastián Fernandez Quezada , A: Chris ParninNCSU, A: Kathryn StoleeNorth Carolina State University, A: Baishakhi RayColumbia University, New York
Pre-print
14:51
17m
Full-paper
Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflow
Technical Papers
A: Pengcheng Yin, A: Bowen DengCarnegie Mellon University, A: Edgar ChenCarnegie Mellon University, A: Bogdan VasilescuCarnegie Mellon University, A: Graham NeubigCarnegie Mellon University
15:08
7m
Short-paper
A Search System for Mathematical Expressions on Software Binaries
Technical Papers
DOI Pre-print
15:15
15m
Other
Discussion phase
Technical Papers