Michael F. P. O'Boyle

205 papers A* 22A 25B 39C 5Misc 6Journal 62Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Accelerating Sparse Algebra with Program Synthesis. CC José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
2026	B	`conf`	Optimizing Sparse Tensor Compilation for Sparse Output. CC Shideh Hashemian, Michael F. P. O'Boyle, Amir Shaikhha
2026	A	`conf`	Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis. CGO Alexander Brauckmann, Aarsh Chaube, José Wesley de S. Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle
2025	B	`conf`	DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses. CC Alexander Brauckmann, Anderson Faustino da Silva, Gabriel Synnaeve, Michael F. P. O'Boyle, Jerónimo Castrillón, Hugh Leather
2025	J	`jnl`	DLAS: A Conceptual Model for Across-Stack Deep Learning Acceleration. ACM Trans. Archit. Code Optim. Perry Gibson, José Cano, Elliot Crowley, Amos Storkey, Michael F. P. O'Boyle
2025	B	`conf`	Guess, Measure & Edit: Using Lowering to Lift Tensor Code. PACT José Wesley de Souza Magalhães, Jackson Woodruff, Jordi Armengol-Estapé, Alexander Brauckmann, Luc Jaulmes, Elizabeth Polgreen, Michael F. P. O'Boyle
2025	J	`jnl`	Guided Tensor Lifting. CoRR Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
2025	J	`jnl`	Guided Tensor Lifting. Proc. ACM Program. Lang. Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
2025	A	`conf`	Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. CGO Alexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle
2025	J	`jnl`	What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces. CoRR Jordi Armengol-Estapé, Quentin Carbonneaux, Tianjun Zhang, Aram H. Markosyan, Volker Seeker, Chris Cummins, Melanie Kambadur, Michael F. P. O'Boyle, Sida I. Wang, Gabriel Synnaeve, Hugh James Leather
2024	J	`jnl`	Forklift: An Extensible Neural Lifter. CoRR Jordi Armengol-Estapé, Rodrigo C. O. Rocha, Jackson Woodruff, Pasquale Minervini, Michael F. P. O'Boyle
2024	B	`conf`	Hot Call-Chain Inlining for the Glasgow Haskell Compiler. GPCE Celeste Hollenbeck, Michael F. P. O'Boyle
2024	J	`jnl`	Neural Architecture Search as Program Transformation Exploration. Commun. ACM Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
2024	A	`conf`	SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly. CGO Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle
2024	B	`conf`	Secco: Codesign for Resource Sharing in Regular-Expression Accelerators. ASPDAC Jackson Woodruff, Sam Ainsworth, Michael F. P. O'Boyle
2023	B	`conf`	C2TACO: Lifting Tensor Code to TACO. GPCE José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
2023	J	`jnl`	DLAS: An Exploration and Assessment of the Deep Learning Acceleration Stack. CoRR Perry Gibson, José Cano, Elliot J. Crowley, Amos Storkey, Michael F. P. O'Boyle
2023	B	`conf`	HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle
2023	B	`conf`	Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. CC Pablo Antonio Martínez, Jackson Woodruff, Jordi Armengol-Estapé, Gregorio Bernabé, José Manuel García, Michael F. P. O'Boyle
2023	J	`jnl`	Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. CoRR Pablo Antonio Martínez, Jackson Woodruff, Jordi Armengol-Estapé, Gregorio Bernabé, José Manuel García, Michael F. P. O'Boyle
2023	J	`jnl`	Rewriting History: Repurposing Domain-Specific CGRAs. CoRR Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, Michael F. P. O'Boyle
2023	J	`jnl`	SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler. CoRR Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle
2023	—	`conf`	When Does Saving Power Save the Planet? HotCarbon Jackson Woodruff, David Schall, Michael F. P. O'Boyle, Christopher Woodruff
2023	B	`conf`	mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis. PACT Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2023	J	`jnl`	mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis. CoRR Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2022	A*	`conf`	Bind the gap: compiling real software to hardware FFT accelerators. PLDI Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, Michael F. P. O'Boyle
2022	—	`conf`	ExeBench: an ML-scale dataset of executable C functions. MAPS@PLDI Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães, Michael F. P. O'Boyle
2022	A	`conf`	F3M: Fast Focused Function Merging. CGO Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos
2022	C	`conf`	Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer
2022	A	`conf`	Loop Rolling for Code Size Reduction. CGO Rodrigo C. O. Rocha, Pavlos Petoumenos, Björn Franke, Pramod Bhatotia, Michael F. P. O'Boyle
2021	A*	`conf`	CoSPARSE: A Software and Hardware Reconfigurable SpMV Framework for Graph Analytics. DAC Siying Feng, Jiawen Sun, Subhankar Pal, Xin He, Kuba Kaszyk, Dong-Hyeon Park, John Magnus Morton, Trevor N. Mudge, Murray Cole, Michael F. P. O'Boyle, Chaitali Chakrabarti, Ronald G. Dreslinski
2021	J	`jnl`	Learning C to x86 Translation: An Experiment in Neural Compilation. CoRR Jordi Armengol-Estapé, Michael F. P. O'Boyle
2021	J	`jnl`	Neural Architecture Search as Program Transformation Exploration. CoRR Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
2021	A*	`conf`	Neural architecture search as program transformation exploration. ASPLOS Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
2021	A*	`conf`	New Regular Expressions on Old Accelerators. DAC Jackson Woodruff, Michael F. P. O'Boyle
2021	A*	`conf`	ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations. ICML Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle, Hugh Leather
2021	A*	`conf`	Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design. HPCA Nishil Talati, Kyle May, Armand Behroozi, Yichen Yang, Kuba Kaszyk, Christos Vasiladiotis, Tarunesh Verma, Lu Li, Brandon Nguyen, Jiawen Sun, John Magnus Morton, Agreen Ahmadi, Todd M. Austin, Michael F. P. O'Boyle, Scott A. Mahlke, Trevor N. Mudge, Ronald G. Dreslinski
2021	B	`conf`	Program Lifting using Gray-Box Behavior. PACT Bruce Collie, Michael F. P. O'Boyle
2021	A*	`conf`	SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. MICRO Subhankar Pal, Aporva Amarnath, Siying Feng, Michael F. P. O'Boyle, Ronald G. Dreslinski, Christophe Dubach
2020	—	`conf`	Automatic generation of specialized direct convolutions for mobile GPUs. GPGPU@PPoPP Naums Mogers, Valentin Radu, Lu Li, Jack Turner, Michael F. P. O'Boyle, Christophe Dubach
2020	J	`jnl`	Automatically Harnessing Sparse Acceleration. CoRR Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
2020	B	`conf`	Automatically harnessing sparse acceleration. CC Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle
2020	A*	`conf`	Bayesian Meta-Learning for the Few-Shot Setting via Deep Kernels. NeurIPS Massimiliano Patacchiola, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey
2020	A*	`conf`	BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. ICLR Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey, Gavin Gray
2020	J	`jnl`	Deep Data Flow Analysis. CoRR Chris Cummins, Hugh Leather, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle
2020	C	`conf`	DelayRepay: delayed execution for kernel fusion in Python. DLS John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle
2020	—	`conf`	HETSIM: Simulating Large-Scale Heterogeneous Systems using a Trace-driven, Synchronization and Dependency-Aware Framework. IISWC Subhankar Pal, Kuba Kaszyk, Siying Feng, Björn Franke, Murray Cole, Michael F. P. O'Boyle, Trevor N. Mudge, Ronald G. Dreslinski
2020	A*	`conf`	M3: Semantic API Migrations. ASE Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
2020	J	`jnl`	M3: Semantic API Migrations. CoRR Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle
2020	J	`jnl`	Modeling Black-Box Components with Probabilistic Synthesis. CoRR Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
2020	B	`conf`	Modeling black-box components with probabilistic synthesis. GPCE Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle
2020	—	`conf`	Optimizing Grouped Convolutions on Edge Devices. ASAP Perry Gibson, José Cano, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey
2020	J	`jnl`	Optimizing Grouped Convolutions on Edge Devices. CoRR Perry Gibson, José Cano, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey
2020	J	`jnl`	Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. CoRR Valentin Radu, Kuba Kaszyk, Yuan Wen, Jack Turner, José Cano, Elliot J. Crowley, Björn Franke, Amos Storkey, Michael F. P. O'Boyle
2020	J	`jnl`	Retrofitting Symbolic Holes to LLVM IR. CoRR Bruce Collie, Michael F. P. O'Boyle
2020	C	`conf`	TASO: Time and Space Optimization for Memory-Constrained DNN Inference. SBAC-PAD Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg
2020	J	`jnl`	TASO: Time and Space Optimization for Memory-Constrained DNN Inference. CoRR Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg
2020	B	`conf`	Transmuter: Bridging the Efficiency Gap using Memory and Dataflow Reconfiguration. PACT Subhankar Pal, Siying Feng, Dong-Hyeon Park, Sung Kim, Aporva Amarnath, Chi-Sheng Yang, Xin He, Jonathan Beaumont, Kyle May, Yan Xiong, Kuba Kaszyk, John Magnus Morton, Jiawen Sun, Michael F. P. O'Boyle, Murray Cole, Chaitali Chakrabarti, David T. Blaauw, Hun-Seok Kim, Trevor N. Mudge, Ronald G. Dreslinski
2019	J	`jnl`	Augmenting Type Signatures for Program Synthesis. CoRR Bruce Collie, Michael F. P. O'Boyle
2019	J	`jnl`	BlockSwap: Fisher-guided Block Substitution for Network Compression. CoRR Jack Turner, Elliot J. Crowley, Gavin Gray, Amos Storkey, Michael F. P. O'Boyle
2019	B	`conf`	Full-System Simulation of Mobile CPU/GPU Platforms. ISPASS Kuba Kaszyk, Harry Wagstaff, Tom Spink, Björn Franke, Michael F. P. O'Boyle, Bruno Bodin, Henrik Uhrenholt
2019	B	`conf`	POSTER: Space and Time Optimal DNN Primitive Selection with Integer Linear Programming. PACT Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg
2019	—	`conf`	Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. IISWC Valentin Radu, Kuba Kaszyk, Yuan Wen, Jack Turner, José Cano, Elliot J. Crowley, Björn Franke, Amos Storkey, Michael F. P. O'Boyle
2019	A*	`conf`	SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. ICRA Mihai Bujanca, Paul Gafton, Sajad Saeedi, Andy Nisbet, Bruno Bodin, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Graham D. Riley, Barry Lennox, Mikel Luján, Steve B. Furber
2019	B	`conf`	Specialization Opportunities in Graphical Workloads. PACT Lewis Crawford, Michael F. P. O'Boyle
2019	B	`conf`	Type-Directed Program Synthesis and Constraint Generation for Library Portability. PACT Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
2019	J	`jnl`	Type-Directed Program Synthesis and Constraint Generation for Library Portability. CoRR Bruce Collie, Philip Ginsbach, Michael F. P. O'Boyle
2018	B	`conf`	A Cross-platform Evaluation of Graphics Shader Compiler Optimization. ISPASS Lewis Crawford, Michael F. P. O'Boyle
2018	B	`conf`	Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. ISPASS Bruno Bodin, Luigi Nardi, Harry Wagstaff, Paul H. J. Kelly, Michael F. P. O'Boyle
2018	A*	`conf`	Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS Philip Ginsbach, Toomas Remmelg, Michel Steuwer, Bruno Bodin, Christophe Dubach, Michael F. P. O'Boyle
2018	A	`conf`	Automatic Parameter Tuning of Motion Planning Algorithms. IROS José Cano, Yiming Yang, Bruno Bodin, Vijay Nagarajan, Michael F. P. O'Boyle
2018	B	`conf`	CAnDL: a domain specific language for compiler analysis. CC Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle
2018	—	`conf`	Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. IISWC Jack Turner, José Cano, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey
2018	J	`jnl`	Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. CoRR Jack Turner, José Cano, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos Storkey
2018	J	`jnl`	HAKD: Hardware Aware Knowledge Distillation. CoRR Jack Turner, Elliot J. Crowley, Valentin Radu, José Cano, Amos Storkey, Michael F. P. O'Boyle
2018	J	`jnl`	Machine Learning in Compiler Optimisation. CoRR Zheng Wang, Michael F. P. O'Boyle
2018	J	`jnl`	Machine Learning in Compiler Optimization. Proc. IEEE Zheng Wang, Michael F. P. O'Boyle
2018	—	`conf`	MaxPair: Enhance OpenCL Concurrent Kernel Execution by Weighted Maximum Matching. GPGPU@PPoPP Yuan Wen, Michael F. P. O'Boyle, Christian Fensch
2018	J	`jnl`	Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. Proc. IEEE Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo Marugán, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
2018	J	`jnl`	Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. CoRR Sajad Saeedi, Bruno Bodin, Harry Wagstaff, Andy Nisbet, Luigi Nardi, John Mawer, Nicolas Melot, Oscar Palomar, Emanuele Vespa, Tom Spink, Cosmin Gorgovan, Andrew M. Webb, James Clarkson, Erik Tomusk, Thomas Debrunner, Kuba Kaszyk, Pablo González de Aledo, Andrey Rodchenko, Graham D. Riley, Christos Kotselidis, Björn Franke, Michael F. P. O'Boyle, Andrew J. Davison, Paul H. J. Kelly, Mikel Luján, Steve B. Furber
2018	A	`ed.`	Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018 CGO Jens Knoop, Markus Schordan, Teresa Johnson, Michael F. P. O'Boyle
2018	B	`ed.`	Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018, Limassol, Cyprus, November 01-04, 2018 PACT Skevos Evripidou, Per Stenström, Michael F. P. O'Boyle
2018	J	`jnl`	Pruning neural networks: is it time to nip it in the bud? CoRR Elliot J. Crowley, Jack Turner, Amos Storkey, Michael F. P. O'Boyle
2018	A*	`conf`	SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. ICRA Bruno Bodin, Harry Wagstaff, Sajad Saeedi, Luigi Nardi, Emanuele Vespa, John Mawer, Andy Nisbet, Mikel Luján, Steve B. Furber, Andrew J. Davison, Paul H. J. Kelly, Michael F. P. O'Boyle
2018	J	`jnl`	SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. CoRR Bruno Bodin, Harry Wagstaff, Sajad Saeedi, Luigi Nardi, Emanuele Vespa, John Mawer, Andy Nisbet, Mikel Luján, Steve B. Furber, Andrew J. Davison, Paul H. J. Kelly, Michael F. P. O'Boyle
2017	A	`conf`	Discovery and exploitation of general reductions: a constraint based approach. CGO Philip Ginsbach, Michael F. P. O'Boyle
2017	—	`conf`	Merge or Separate?: Multi-job Scheduling for OpenCL Kernels on CPU/GPU Platforms. GPGPU@PPoPP Yuan Wen, Michael F. P. O'Boyle
2016	B	`conf`	Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. MASCOTS Bruno Bodin, Luigi Nardi, Paul H. J. Kelly, Michael F. P. O'Boyle
2016	J	`jnl`	Four Metrics to Evaluate Heterogeneous Multicores. ACM Trans. Archit. Code Optim. Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
2016	B	`conf`	Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. PACT Bruno Bodin, Luigi Nardi, M. Zeeshan Zia, Harry Wagstaff, Govind Sreekar Shenoy, Murali Krishna Emani, John Mawer, Christos Kotselidis, Andy Nisbet, Mikel Luján, Björn Franke, Paul H. J. Kelly, Michael F. P. O'Boyle
2016	A	`conf`	Portable and transparent software managed scheduling on accelerators for fair resource sharing. CGO Christos Margiolas, Michael F. P. O'Boyle
2016	J	`jnl`	Selecting Heterogeneous Cores for Diversity. ACM Trans. Archit. Code Optim. Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
2015	A*	`conf`	Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. PLDI Murali Krishna Emani, Michael F. P. O'Boyle
2015	A*	`conf`	Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. ICRA Luigi Nardi, Bruno Bodin, M. Zeeshan Zia, John Mawer, Andy Nisbet, Paul H. J. Kelly, Andrew J. Davison, Mikel Luján, Michael F. P. O'Boyle, Graham D. Riley, Nigel P. Topham, Stephen B. Furber
2015	A	`conf`	PALMOS: A Transparent, Multi-tasking Acceleration Layer for Parallel Heterogeneous Systems. ICS Christos Margiolas, Michael F. P. O'Boyle
2014	Misc	`conf`	A compiler framework for automatically mapping data parallel programs to heterogeneous MPSoCs. CASES Kiran Chandramohan, Michael F. P. O'Boyle
2014	A*	`ed.`	ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014 PLDI Michael F. P. O'Boyle, Keshav Pingali
2014	J	`jnl`	Automatic and Portable Mapping of Data Parallel Programs to OpenCL for GPU-Based Heterogeneous Systems. ACM Trans. Archit. Code Optim. Zheng Wang, Dominik Grewe, Michael F. P. O'Boyle
2014	J	`jnl`	Automatic feature generation for machine learning-based optimising compilation. ACM Trans. Archit. Code Optim. Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle
2014	B	`conf`	Automatic optimization of thread-coarsening for graphics processors. PACT Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
2014	—	`conf`	Change Detection Based Parallelism Mapping: Exploiting Offline Models and Online Adaptation. LCPC Murali Krishna Emani, Michael F. P. O'Boyle
2014	B	`conf`	Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. CC Zheng Wang, Daniel Christopher Powell, Björn Franke, Michael F. P. O'Boyle
2014	—	`conf`	Exploiting GPU Hardware Saturation for Fast Compiler Optimization. GPGPU@ASPLOS Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
2014	J	`jnl`	Integrating profile-driven parallelism detection and machine-learning-based mapping. ACM Trans. Archit. Code Optim. Zheng Wang, Georgios Tournavitis, Björn Franke, Michael F. P. O'Boyle
2014	J	`jnl`	Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. CoRR Luigi Nardi, Bruno Bodin, M. Zeeshan Zia, John Mawer, Andy Nisbet, Paul H. J. Kelly, Andrew J. Davison, Mikel Luján, Michael F. P. O'Boyle, Graham D. Riley, Nigel P. Topham, Steve B. Furber
2014	B	`conf`	Measuring flexibility in single-ISA heterogeneous processors. PACT Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle
2014	B	`conf`	Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration. LCTES Kiran Chandramohan, Michael F. P. O'Boyle
2014	A	`conf`	Portable and Transparent Host-Device Communication Optimization for GPGPU Environments. CGO Christos Margiolas, Michael F. P. O'Boyle
2014	Misc	`conf`	Smart multi-task scheduling for OpenCL programs on CPU/GPU heterogeneous platforms. HiPC Yuan Wen, Zheng Wang, Michael F. P. O'Boyle
2013	A	`conf`	A large-scale cross-architecture evaluation of thread-coarsening. SC Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle
2013	B	`conf`	General chairs' welcome message. PACT Michael F. P. O'Boyle, Christian Fensch
2013	—	`conf`	OpenCL Task Partitioning in the Presence of GPU Contention. LCPC Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle
2013	A	`conf`	Portable mapping of data parallel programs to OpenCL for heterogeneous systems. CGO Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle
2013	B	`ed.`	Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, Edinburgh, United Kingdom, September 7-11, 2013 PACT Christian Fensch, Michael F. P. O'Boyle, André Seznec, François Bodin
2013	A	`conf`	Smart, adaptive mapping of parallelism in the presence of external workload. CGO Murali Krishna Emani, Zheng Wang, Michael F. P. O'Boyle
2013	J	`jnl`	Using machine learning to partition streaming programs. ACM Trans. Archit. Code Optim. Zheng Wang, Michael F. P. O'Boyle
2012	B	`ed.`	Compiler Construction - 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings CC Michael F. P. O'Boyle
2012	J	`jnl`	Exploring and Predicting the Effects of Microarchitectural Parameters and Compiler Optimizations on Performance and Energy. ACM Trans. Embed. Comput. Syst. Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2011	B	`conf`	A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. CC Dominik Grewe, Michael F. P. O'Boyle
2011	—	`conf`	A workload-aware mapping approach for data-parallel programs. HiPEAC Dominik Grewe, Zheng Wang, Michael F. P. O'Boyle
2011	J	`jnl`	An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration. IEEE Trans. Computers Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2011	J	`jnl`	Compiler Directed Issue Queue Energy Reduction. Trans. High Perform. Embed. Archit. Compil. Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González
2011	J	`jnl`	Milepost GCC: Machine Learning Enabled Self-tuning Compiler. Int. J. Parallel Program. Grigori Fursin, Yuriy Kashnikov, Abdul Wahid Memon, Zbigniew Chamski, Olivier Temam, Mircea Namolaru, Elad Yom-Tov, Bilha Mendelson, Ayal Zaks, Eric Courtois, François Bodin, Phil Barnard, Elton Ashton, Edwin V. Bonilla, John Thomson, Christopher K. I. Williams, Michael F. P. O'Boyle
2010	A*	`conf`	A Predictive Model for Dynamic Microarchitectural Adaptivity Control. MICRO Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Michael F. P. O'Boyle
2010	B	`conf`	Partitioning streaming parallelism for multi-cores: a machine learning based approach. PACT Zheng Wang, Michael F. P. O'Boyle
2009	A	`conf`	Automatic Feature Generation for Machine Learning Based Optimizing Compilation. CGO Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle
2009	J	`jnl`	Energy-efficient register caching with compiler assistance. ACM Trans. Archit. Code Optim. Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González, Oguz Ergin
2009	J	`jnl`	Exploring the limits of early register release: Exploiting compiler analysis. ACM Trans. Archit. Code Optim. Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González, Oguz Ergin
2009	—	`ed.`	High Performance Embedded Architectures and Compilers, Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings HiPEAC André Seznec, Joel S. Emer, Michael F. P. O'Boyle, Margaret Martonosi, Theo Ungerer
2009	B	`conf`	Mapping parallelism to multi-cores: a machine learning based approach. PPoPP Zheng Wang, Michael F. P. O'Boyle
2009	J	`jnl`	Obituary: Peter Knijnenburg (1961-2007). Concurr. Comput. Pract. Exp. Michael F. P. O'Boyle, Henk J. Sips
2009	A*	`conf`	Portable compiler optimisation across embedded programs and microarchitectures using machine learning. MICRO Christophe Dubach, Timothy M. Jones, Edwin V. Bonilla, Grigori Fursin, Michael F. P. O'Boyle
2009	B	`conf`	Raced profiles: efficient selection of competing compiler optimizations. LCTES Hugh Leather, Michael F. P. O'Boyle, Bruce Worton
2009	C	`conf`	Rapid early-stage microarchitecture design using predictive models. ICCD Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2009	—	`conf`	Reducing Training Time in a One-Shot Machine Learning-Based Compiler. LCPC John Thomson, Michael F. P. O'Boyle, Grigori Fursin, Björn Franke
2009	A*	`conf`	Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. PLDI Georgios Tournavitis, Zheng Wang, Björn Franke, Michael F. P. O'Boyle
2008	Misc	`conf`	Exploring and predicting the architecture/optimising compiler co-design space. CASES Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2008	A	`conf`	Instruction Cache Energy Saving Through Compiler Way-Placement. DATE Timothy M. Jones, Sandro Bartolini, Bruno De Bus, John Cavazos, Michael F. P. O'Boyle
2007	—	`conf`	Fast compiler optimisation evaluation using code-feature based performance prediction. Conf. Computing Frontiers Christophe Dubach, John Cavazos, Björn Franke, Grigori Fursin, Michael F. P. O'Boyle, Olivier Temam
2007	J	`jnl`	High-Performance Embedded Architecture and Compilation Roadmap. Trans. High Perform. Embed. Archit. Compil. Koen De Bosschere, Wayne Luk, Xavier Martorell, Nacho Navarro, Michael F. P. O'Boyle, Dionisios N. Pnevmatikatos, Alex Ramírez, Pascal Sainrat, André Seznec, Per Stenström, Olivier Temam
2007	J	`jnl`	Introduction to Part 2. Trans. High Perform. Embed. Archit. Compil. Michael F. P. O'Boyle, François Bodin, Marcelo Cintra
2007	—	`conf`	MiDataSets: Creating the Conditions for a More Realistic Evaluation of Iterative Optimization. HiPEAC Grigori Fursin, John Cavazos, Michael F. P. O'Boyle, Olivier Temam
2007	A*	`conf`	Microarchitectural Design Space Exploration Using an Architecture-Centric Approach. MICRO Christophe Dubach, Timothy M. Jones, Michael F. P. O'Boyle
2007	J	`jnl`	Quick and Practical Run-Time Evaluation of Multiple Program Optimizations. Trans. High Perform. Embed. Archit. Compil. Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam
2007	A	`conf`	Rapidly Selecting Good Compiler Optimizations using Performance Counters. CGO John Cavazos, Grigori Fursin, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Olivier Temam
2007	—	`conf`	Topic 4 High-Performance Architectures and Compilers. Euro-Par Michael F. P. O'Boyle, François Bodin, José González, Lucian N. Vintan
2007	—	`ed.`	Transactions on High-Performance Embedded Architectures and Compilers I Trans. HiPEAC Per Stenström, Michael F. P. O'Boyle, François Bodin, Marcelo Cintra, Sally A. McKee
2006	Misc	`conf`	Automatic performance model construction for the fast software exploration of new hardware designs. CASES John Cavazos, Christophe Dubach, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Grigori Fursin, Olivier Temam
2006	B	`conf`	Hybrid Optimizations: Which Optimization Algorithm to Use?. CC John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle
2006	B	`conf`	Iterative Collective Loop Fusion. CC Thomas J. Ashby, Michael F. P. O'Boyle
2006	A	`conf`	Method-specific dynamic compilation using logistic regression. OOPSLA John Cavazos, Michael F. P. O'Boyle
2006	A*	`conf`	Predictive search distributions. ICML Edwin V. Bonilla, Christopher K. I. Williams, Felix V. Agakov, John Cavazos, John Thomson, Michael F. P. O'Boyle
2006	A	`conf`	Using Machine Learning to Focus Iterative Optimization. CGO Felix V. Agakov, Edwin V. Bonilla, John Cavazos, Björn Franke, Grigori Fursin, Michael F. P. O'Boyle, John Thomson, Marc Toussaint, Christopher K. I. Williams
2005	J	`jnl`	A Complete Compiler Approach to Auto-Parallelizing C Programs for Multi-DSP Systems. IEEE Trans. Parallel Distributed Syst. Björn Franke, Michael F. P. O'Boyle
2005	—	`conf`	A Practical Method for Quickly Evaluating Program Optimizations. HiPEAC Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam
2005	A	`conf`	Automatic Tuning of Inlining Heuristics. SC John Cavazos, Michael F. P. O'Boyle
2005	—	`conf`	Compiler Directed Early Register Release. IEEE PACT Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González, Oguz Ergin
2005	J	`jnl`	IATAC: a smart predictor to turn-off L2 cache lines. ACM Trans. Archit. Code Optim. Jaume Abella, Antonio González, Xavier Vera, Michael F. P. O'Boyle
2005	B	`conf`	Probabilistic source-level optimisation of embedded programs. LCTES Björn Franke, Michael F. P. O'Boyle, John Thomson, Grigori Fursin
2005	A*	`conf`	Software Directed Issue Queue Power Reduction. HPCA Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella, Antonio González
2005	—	`conf`	Topic 4 - Compilers for High Performance. Euro-Par Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, José Moreira
2004	J	`jnl`	A fast and accurate method for determining a lower bound on execution time. Concurr. Comput. Pract. Exp. Grigori Fursin, Michael F. P. O'Boyle, Olivier Temam, G. Watts
2004	A	`conf`	Adaptive Java optimisation using instance-based learning. ICS Shun Long, Michael F. P. O'Boyle
2004	—	`conf`	Cross Component Optimisation in a High Level Category-Based Language. Euro-Par Thomas J. Ashby, Anthony D. Kennedy, Michael F. P. O'Boyle
2004	J	`jnl`	The effect of cache models on iterative compilation for combined tiling and unrolling. Concurr. Comput. Pract. Exp. Peter M. W. Knijnenburg, Toru Kisuki, Kyle A. Gallivan, Michael F. P. O'Boyle
2004	—	`conf`	Topic 4: Compilers for High Performance. Euro-Par Hans P. Zima, Siegfried Benkner, Michael F. P. O'Boyle, Beniamino Di Martino
2003	J	`jnl`	Array recovery and high-level transformations for DSP applications. ACM Trans. Embed. Comput. Syst. Björn Franke, Michael F. P. O'Boyle
2003	J	`jnl`	Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. J. Supercomput. Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle
2003	—	`conf`	Combining Program Recovery, Auto-Parallelisation and Locality Analysis for C Programs on Multi-Processor Embedded Systems. IEEE PACT Björn Franke, Michael F. P. O'Boyle
2003	Misc	`conf`	Compiler parallelization of C programs for multi-core DSPs with multiple address spaces. CODES+ISSS Björn Franke, Michael F. P. O'Boyle
2003	—	`conf`	Topic Introduction. Euro-Par Michael Gerndt, Chau-Wen Tseng, Michael F. P. O'Boyle, Markus Schordan
2003	J	`jnl`	Towards general and exact distributed invalidation. J. Parallel Distributed Comput. Michael F. P. O'Boyle, Rupert W. Ford, Elena A. Stöhr
2002	J	`jnl`	Compile Time Barrier Synchronization Minimization. IEEE Trans. Parallel Distributed Syst. Michael F. P. O'Boyle, Elena Stöhr
2002	—	`conf`	Evaluating Iterative Compilation. LCPC Grigori Fursin, Michael F. P. O'Boyle, Peter M. W. Knijnenburg
2002	J	`jnl`	Integrating Loop and Data Transformations for Global Optimization. J. Parallel Distributed Comput. Michael F. P. O'Boyle, Peter M. W. Knijnenburg
2002	—	`conf`	Iterative Compilation. Embedded Processor Design Challenges Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle
2001	Misc	`conf`	An empirical evaluation of high level transformations for embedded processors. CASES Björn Franke, Michael F. P. O'Boyle
2001	B	`conf`	Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. CC Björn Franke, Michael F. P. O'Boyle
2001	—	`conf`	Topic 04: Compilers for High Performance. Euro-Par Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle
2000	—	`conf`	Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. IEEE PACT Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle
2000	—	`conf`	Exact Distributed Invalidation. Euro-Par Rupert W. Ford, Michael F. P. O'Boyle, Elena Stöhr
1999	—	`conf`	A Feasibility Study in Iterative Compilation. ISHPC Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, François Bodin, Harry A. G. Wijshoff
1999	—	`conf`	Efficient Parallelization Using Combined Loop and Data Transformations. IEEE PACT Michael F. P. O'Boyle, Peter M. W. Knijnenburg
1999	J	`jnl`	Nonsingular Data Transformations: Definition, Validity, and Applications. Int. J. Parallel Program. Michael F. P. O'Boyle, Peter M. W. Knijnenburg
1999	—	`conf`	OCEANS - Optimising Compilers for Embedded Applications. Euro-Par Michel Barreteau, François Bodin, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Toru Kisuki, Peter M. W. Knijnenburg, Paul van der Mark, Andy Nisbet, Michael F. P. O'Boyle, Erven Rohou, André Seznec, Elena Stöhr, Menno Treffers, Harry A. G. Wijshoff
1998	J	`jnl`	First Fast Sink: A compiler algorithm for barrier placement optimisation. Future Gener. Comput. Syst. Elena A. Stöhr, Michael F. P. O'Boyle
1998	—	`conf`	Integrating Loop and Data Transformations for Global Optimization. IEEE PACT Michael F. P. O'Boyle, Peter M. W. Knijnenburg
1998	—	`conf`	MARS: A Distributed Memory Approach to Shared Memory Compilation. LCR Michael F. P. O'Boyle
1998	—	`conf`	OCEANS: Optimising Compilers for Embedded Applications. Euro-Par Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, Erven Rohou, Rizos Sakellariou, André Seznec, Elena Stöhr, Menno Treffers, Harry A. G. Wijshoff
1997	A	`conf`	A Graph Based Approach to Barrier Synchronisation Minimisation. International Conference on Supercomputing Elena Stöhr, Michael F. P. O'Boyle
1997	—	`conf`	Barrier Synchronisation Optimisation. HPCN Europe Elena Stöhr, Michael F. P. O'Boyle
1997	A	`conf`	Non-Singular Data Transformations: Definition, Validity and Applications. International Conference on Supercomputing Michael F. P. O'Boyle, Peter M. W. Knijnenburg
1997	—	`conf`	OCEANS: Optimizing Compilers for Embedded Applications. Euro-Par Bas Aarts, Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles, Christine Eisenbeis, John R. Gurd, Jan Hoogerbrugge, Ping Hu, William Jalby, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, Erven Rohou, Rizos Sakellariou, Henk Schepers, André Seznec, Elena Stöhr, Marco Verhoeven, Harry A. G. Wijshoff
1996	—	`conf`	A compiler algorithm to reduce invalidation latency in virtual shared memory systems. IEEE PACT Michael F. P. O'Boyle, Andy Nisbet, Rupert W. Ford
1996	—	`conf`	Compiler Reduction of Invalidation Traffic in Virtual Shared Memory Systems. Euro-Par, Vol. I Michael F. P. O'Boyle, Rupert W. Ford, Andy Nisbet
1996	J	`jnl`	Expert Programmer versus Parallelizing Compiler: A Comparative Study of Two Approaches for Distributed Shared Memory. Sci. Program. Michael F. P. O'Boyle, J. Mark Bull
1996	—	`conf`	Practical Loop Generation. HICSS (1) Zbigniew Chamski, Michael F. P. O'Boyle
1995	—	`conf`	A Compiler Strategy for Shared Virtual Memories. LCR François Bodin, Michael F. P. O'Boyle
1995	C	`conf`	A hierarchical locality algorithm for NUMA compilation. PDP Michael F. P. O'Boyle
1995	A	`conf`	Compiler Reduction of Synchronisation in Shared Virtual Memory Systems. International Conference on Supercomputing Michael F. P. O'Boyle, François Bodin
1995	J	`jnl`	Synchronization Minimization in a SPMD Execution Model. J. Parallel Distributed Comput. Michael F. P. O'Boyle, L. Kervella, François Bodin
1994	—	`conf`	A Data Partitioning Algorithm for Distributed Memory Compilation. PARLE Michael F. P. O'Boyle
1993	—	`—`	Program and data transformations for efficient execution on distributed memory architectures. Michael F. P. O'Boyle
1992	—	`conf`	A New Program Transformation to Minimise Communication in Distributed Memory Architecture. PARLE Michael F. P. O'Boyle, G. A. Hedayat
1992	A	`conf`	A transformational approach to compiling Sisal for distributed memory architectures. ICS Michael F. P. O'Boyle, G. A. Hedayat