CC 2023
Sat 25 - Sun 26 February 2023 Montréal, Canada
Sat 25 Feb 2023 16:40 - 17:00 at St. Laurent 3 - Code Size & Bugs Chair(s): Fernando Magno Quintão Pereira

Just-in-Time (JIT) compilers are ubiquitous in modern computing
systems and are used in a wide variety of software. Dynamic
code generation bugs, where the JIT compiler silently
emits incorrect code, can result in exploitable vulnerabilities.
They, therefore, pose serious security concerns and make
quick mitigation essential. However, due to the size and complexity
of JIT compilers, quickly locating and fixing bugs
is often challenging. In addition, the unique characteristics
of JIT compilers make existing bug localization approaches
inapplicable. Therefore, this paper proposes a new approach
to automatic bug localization, explicitly targeting the JIT
compiler back-end. The approach is based on explicitly modeling
architecture-independent back-end representation and
architecture-specific code-generation. Experiments using a
prototype implementation on a widely used JIT compiler
(Turbofan) indicate that it can successfully localize dynamic
code generation bugs in the back-end with high accuracy.

Sat 25 Feb

Displayed time zone: Eastern Time (US & Canada) change

16:40 - 17:40
Code Size & BugsResearch Papers at St. Laurent 3
Chair(s): Fernando Magno Quintão Pereira Federal University of Minas Gerais
16:40
20m
Talk
Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End
Research Papers
HeuiChan Lim University of Arizona, Saumya Debray University of Arizona
DOI
17:00
20m
Talk
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction
Research Papers
Rodrigo C. O. Rocha University of Edinburgh, Charitha Saumya Purdue University, Kirshanthan Sundararajah Purdue University, Pavlos Petoumenos University of Manchester, Milind Kulkarni Purdue University, Michael F. P. O'Boyle University of Edinburgh
DOI
17:20
20m
Talk
Linker Code Size Optimization for Native Mobile Applications
Research Papers
Gai Liu ByteDance, Umar Farooq ByteDance, Chengyan Zhao ByteDance, Xia Liu ByteDance, Nian Sun ByteDance
DOI