Thu 18 Jul 2019 14:20 - 14:45 at Epernay - Session #2 Chair(s): Daryl Maier

We present an automatic binary profiling and optimisation framework to perform binary instrumentation and optimisations such as exploiting thread-level, data level, and memory-level parallelism for application binaries. A static binary analyser first examines an executable and determines the instrumentation or modification operations required, encoding them as a series of rewrite rules that a dynamic binary modifier uses to perform transformations. Rewrite rules can be lifted to a domain-specific language (DSL) so that developers can write high-level binary optimisation plugins in this framework.

In this talk, we demonstrate the performance by performing automatic parallelisation, vectorisation and software prefetching on a selection of application binaries. We also discuss our on-going work on DSL and new plugins in security and error-robustness applications.

Thu 18 Jul (GMT+01:00) Greenwich Mean Time : Belfast change

13:30 - 15:10: AORTA 2019 - Session #2 at Epernay
Chair(s): Daryl MaierIBM Canada
aorta-2019-papers13:30 - 13:55
Christos KotselidisUniversity of Manchester, UK
aorta-2019-papers13:55 - 14:20
Stefan MarrUniversity of Kent
aorta-2019-papers14:20 - 14:45
Ruoyu ZhouUniversity of Cambridge, UK, Timothy M. JonesUniversity of Cambridge, UK
aorta-2019-papers14:45 - 15:10
Andrew CraikIBM Canada