Michael F. P. O'Boyle
Orcid: 0000-0003-1619-5052Affiliations:
- University of Edinburgh, Scotland, UK
According to our database1,
Michael F. P. O'Boyle
authored at least 175 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dcs.ed.ac.uk
On csauthors.net:
Bibliography
2024
Commun. ACM, October, 2024
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
2023
Dataset, January, 2023
Dataset, January, 2023
Dataset, January, 2023
Dataset, January, 2023
CoRR, 2023
CoRR, 2023
Proceedings of the 2nd Workshop on Sustainable Computer Systems, 2023
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis.
Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023
2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Proceedings of the MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, 2022
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler.
Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
2021
SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator.
Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021
ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations.
Proceedings of the 38th International Conference on Machine Learning, 2021
Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021
2020
Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020
Proceedings of the GPGPU@PPoPP '20: 13th Annual Workshop on General Purpose Processing using Graphics Processing Unit colocated with 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
HETSIM: Simulating Large-Scale Heterogeneous Systems using a Trace-driven, Synchronization and Dependency-Aware Framework.
Proceedings of the IEEE International Symposium on Workload Characterization, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020
Proceedings of the 31st IEEE International Conference on Application-specific Systems, 2020
Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020
2019
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2019
Proceedings of the IEEE International Symposium on Workload Characterization, 2019
SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding.
Proceedings of the International Conference on Robotics and Automation, 2019
POSTER: Space and Time Optimal DNN Primitive Selection with Integer Linear Programming.
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019
Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019
2018
Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality.
Proc. IEEE, 2018
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality.
CoRR, 2018
Proceedings of the 11th Workshop on General Purpose Processing using GPUs, 2018
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2018
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Proceedings of the 2018 IEEE International Symposium on Workload Characterization, 2018
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018
Proceedings of the 27th International Conference on Compiler Construction, 2018
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018
2017
Proceedings of the General Purpose GPUs, 2017
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017
2016
ACM Trans. Archit. Code Optim., 2016
Proceedings of the 24th IEEE International Symposium on Modeling, 2016
Portable and transparent software managed scheduling on accelerators for fair resource sharing.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016
Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding.
Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016
2015
Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
PALMOS: A Transparent, Multi-tasking Acceleration Layer for Parallel Heterogeneous Systems.
Proceedings of the 29th ACM on International Conference on Supercomputing, 2015
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
2014
ACM Trans. Archit. Code Optim., 2014
Automatic and Portable Mapping of Data Parallel Programs to OpenCL for GPU-Based Heterogeneous Systems.
ACM Trans. Archit. Code Optim., 2014
ACM Trans. Archit. Code Optim., 2014
Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014
Change Detection Based Parallelism Mapping: Exploiting Offline Models and Online Adaptation.
Proceedings of the Languages and Compilers for Parallel Computing, 2014
Proceedings of the 21st International Conference on High Performance Computing, 2014
Portable and Transparent Host-Device Communication Optimization for GPGPU Environments.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014
Proceedings of the Compiler Construction - 23rd International Conference, 2014
A compiler framework for automatically mapping data parallel programs to heterogeneous MPSoCs.
Proceedings of the 2014 International Conference on Compilers, 2014
Proceedings of the Seventh Workshop on General Purpose Processing Using GPUs, 2014
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014
Proceedings of the International Conference on Parallel Architectures and Compilation, 2014
2013
ACM Trans. Archit. Code Optim., 2013
Proceedings of the International Conference for High Performance Computing, 2013
Proceedings of the Languages and Compilers for Parallel Computing, 2013
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, 2013
2012
Exploring and Predicting the Effects of Microarchitectural Parameters and Compiler Optimizations on Performance and Energy.
ACM Trans. Embed. Comput. Syst., 2012
2011
Trans. High Perform. Embed. Archit. Compil., 2011
An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration.
IEEE Trans. Computers, 2011
Int. J. Parallel Program., 2011
Proceedings of the High Performance Embedded Architectures and Compilers, 2011
Proceedings of the Compiler Construction - 20th International Conference, 2011
2010
Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010
Partitioning streaming parallelism for multi-cores: a machine learning based approach.
Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques, 2010
2009
ACM Trans. Archit. Code Optim., 2009
ACM Trans. Archit. Code Optim., 2009
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009
Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Portable compiler optimisation across embedded programs and microarchitectures using machine learning.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009
Proceedings of the Languages and Compilers for Parallel Computing, 2009
Proceedings of the 27th International Conference on Computer Design, 2009
Proceedings of the CGO 2009, 2009
2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 2008 International Conference on Compilers, 2008
2007
Trans. High Perform. Embed. Archit. Compil., 2007
Trans. High Perform. Embed. Archit. Compil., 2007
Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-40 2007), 2007
MiDataSets: Creating the Conditions for a More Realistic Evaluation of Iterative Optimization.
Proceedings of the High Performance Embedded Architectures and Compilers, 2007
Proceedings of the Euro-Par 2007, 2007
Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007
Fast compiler optimisation evaluation using code-feature based performance prediction.
Proceedings of the 4th Conference on Computing Frontiers, 2007
2006
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 2006
Proceedings of the Compiler Construction, 15th International Conference, 2006
Proceedings of the Compiler Construction, 15th International Conference, 2006
Automatic performance model construction for the fast software exploration of new hardware designs.
Proceedings of the 2006 International Conference on Compilers, 2006
2005
IEEE Trans. Parallel Distributed Syst., 2005
ACM Trans. Archit. Code Optim., 2005
Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, 2005
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005
Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005
Proceedings of the High Performance Embedded Architectures and Compilers, 2005
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques (PACT 2005), 2005
2004
The effect of cache models on iterative compilation for combined tiling and unrolling.
Concurr. Comput. Pract. Exp., 2004
Concurr. Comput. Pract. Exp., 2004
Proceedings of the 18th Annual International Conference on Supercomputing, 2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
2003
J. Supercomput., 2003
ACM Trans. Embed. Comput. Syst., 2003
J. Parallel Distributed Comput., 2003
Compiler parallelization of C programs for multi-core DSPs with multiple address spaces.
Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2003
Combining Program Recovery, Auto-Parallelisation and Locality Analysis for C Programs on Multi-Processor Embedded Systems.
Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September, 2003
2002
IEEE Trans. Parallel Distributed Syst., 2002
J. Parallel Distributed Comput., 2002
Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002
Proceedings of the Languages and Compilers for Parallel Computing, 15th Workshop, 2002
2001
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
Proceedings of the Compiler Construction, 10th International Conference, 2001
Proceedings of the 2001 International Conference on Compilers, 2001
2000
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
1999
Int. J. Parallel Program., 1999
Proceedings of the High Performance Computing, Second International Symposium, 1999
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999
1998
Future Gener. Comput. Syst., 1998
Proceedings of the Languages, 1998
Proceedings of the Euro-Par '98 Parallel Processing, 1998
1997
Proceedings of the 11th international conference on Supercomputing, 1997
Proceedings of the 11th international conference on Supercomputing, 1997
Proceedings of the High-Performance Computing and Networking, 1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
1996
Expert Programmer versus Parallelizing Compiler: A Comparative Study of Two Approaches for Distributed Shared Memory.
Sci. Program., 1996
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
A compiler algorithm to reduce invalidation latency in virtual shared memory systems.
Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, 1996
1995
J. Parallel Distributed Comput., 1995
Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), 1995
Proceedings of the 9th international conference on Supercomputing, 1995
1994
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994
1993
Program and data transformations for efficient execution on distributed memory architectures.
PhD thesis, 1993
1992
A New Program Transformation to Minimise Communication in Distributed Memory Architecture.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992
Proceedings of the 6th international conference on Supercomputing, 1992