Write a Blog >>
Mon 19 Jun 2017 16:35 - 17:00 at Actes, Civil Engineering - Dynamic Analysis and Testing Chair(s): Michael Pradel

Existing techniques for injecting probes into running applications are limited; they either fail to support probing arbitrary locations, or to support scalable, rapid toggling of probes. We introduce a new technique on x86-64, called instruction punning, which allows scalable probes at any instruction. The key idea is that when we inject a jump instruction, the relative address of the jump serves simultaneously as data and as an instruction sequence. We show that this approach achieves probe invocation overheads of only a few dozen cycles, and probe activation/deactivation costs that are cheaper than a system call, even when all threads in the system are both invoking probes and toggling them.

Mon 19 Jun

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

16:10 - 17:50
Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering
Chair(s): Michael Pradel TU Darmstadt
16:10
25m
Talk
Achieving High Coverage for Floating-point Code via Unconstrained Programming
PLDI Research Papers
Zhoulai Fu University of California, Davis, Zhendong Su University of California, Davis
Media Attached
16:35
25m
Talk
Instruction Punning: Lightweight Instrumentation for x86-64
PLDI Research Papers
Buddhika Chamith Indiana University, Luke Dalessandro Indiana University, Bo Joel Svensson Chalmers University of Technology, Sweden, Ryan R. Newton Indiana University
Media Attached
17:00
25m
Talk
Low Overhead Dynamic Binary Translation on ARM
PLDI Research Papers
Amanieu d'Antras University of Manchester, Cosmin Gorgovan University of Manchester, Jim Garside University of Manchester, Mikel Luján
Media Attached
17:25
25m
Talk
Skeletal Program Enumeration for Rigorous Compiler Testing
PLDI Research Papers
Qirun Zhang University of California, Davis, Chengnian Sun University of California, Davis, Zhendong Su University of California, Davis
Media Attached