Picture for Michael F. P. O'Boyle

Michael F. P. O'Boyle

School of Informatics, University of Edinburgh, UK

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

Add code
Oct 06, 2023
Viaarxiv icon

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler

Add code
May 21, 2023
Figure 1 for SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler
Figure 2 for SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler
Figure 3 for SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler
Figure 4 for SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler
Viaarxiv icon

Learning C to x86 Translation: An Experiment in Neural Compilation

Add code
Aug 17, 2021
Figure 1 for Learning C to x86 Translation: An Experiment in Neural Compilation
Figure 2 for Learning C to x86 Translation: An Experiment in Neural Compilation
Figure 3 for Learning C to x86 Translation: An Experiment in Neural Compilation
Figure 4 for Learning C to x86 Translation: An Experiment in Neural Compilation
Viaarxiv icon

TASO: Time and Space Optimization for Memory-Constrained DNN Inference

Add code
May 21, 2020
Figure 1 for TASO: Time and Space Optimization for Memory-Constrained DNN Inference
Figure 2 for TASO: Time and Space Optimization for Memory-Constrained DNN Inference
Figure 3 for TASO: Time and Space Optimization for Memory-Constrained DNN Inference
Figure 4 for TASO: Time and Space Optimization for Memory-Constrained DNN Inference
Viaarxiv icon

Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality

Add code
Aug 20, 2018
Figure 1 for Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality
Figure 2 for Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality
Figure 3 for Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality
Figure 4 for Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality
Viaarxiv icon

Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM

Add code
Feb 26, 2015
Figure 1 for Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM
Figure 2 for Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM
Figure 3 for Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM
Figure 4 for Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM
Viaarxiv icon