default search action
Michael F. P. O'Boyle
Person information
- affiliation: University of Edinburgh, Scotland, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c128]Jackson Woodruff, Sam Ainsworth, Michael F. P. O'Boyle:
Secco: Codesign for Resource Sharing in Regular-Expression Accelerators. ASPDAC 2024: 219-224 - [c127]Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle:
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly. CGO 2024: 67-80 - [i26]Jordi Armengol-Estapé, Rodrigo C. O. Rocha, Jackson Woodruff, Pasquale Minervini, Michael F. P. O'Boyle:
Forklift: An Extensible Neural Lifter. CoRR abs/2404.16041 (2024) - 2023
- [c126]Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser
, Michael F. P. O'Boyle:
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis. PACT 2023: 39-50 - [c125]Pablo Antonio Martínez
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. CC 2023: 85-97 - [c124]Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC 2023: 156-167 - [c123]José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle:
C2TACO: Lifting Tensor Code to TACO. GPCE 2023: 42-56 - [c122]Jackson Woodruff
When Does Saving Power Save the Planet? HotCarbon 2023: 20:1-20:6 - [d3]Pablo Antonio Martínez
Matching linear algebra and tensor code to specialized hardware accelerators. Zenodo, 2023 - [d2]Pablo Antonio Martínez
Matching linear algebra and tensor code to specialized hardware accelerators. Zenodo, 2023 - [d1]Pablo Antonio Martínez
Matching linear algebra and tensor code to specialized hardware accelerators. Zenodo, 2023 - [i25]Pablo Antonio Martínez, Jackson Woodruff, Jordi Armengol-Estapé, Gregorio Bernabé, José Manuel García, Michael F. P. O'Boyle:
Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators. CoRR abs/2301.11659 (2023) - [i24]Jordi Armengol-Estapé, Jackson Woodruff, Chris Cummins, Michael F. P. O'Boyle:
SLaDe: A Portable Small Language Model Decompiler for Optimized Assembler. CoRR abs/2305.12520 (2023) - [i23]Jackson Woodruff, Thomas Koehler, Alexander Brauckmann, Chris Cummins, Sam Ainsworth, Michael F. P. O'Boyle:
Rewriting History: Repurposing Domain-Specific CGRAs. CoRR abs/2309.09112 (2023) - [i22]Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis. CoRR abs/2310.04196 (2023) - [i21]Perry Gibson, José Cano, Elliot J. Crowley, Amos J. Storkey, Michael F. P. O'Boyle:
DLAS: An Exploration and Assessment of the Deep Learning Acceleration Stack. CoRR abs/2311.08909 (2023) - 2022
- [c121]Rodrigo C. O. Rocha, Pavlos Petoumenos, Björn Franke, Pramod Bhatotia, Michael F. P. O'Boyle:
Loop Rolling for Code Size Reduction. CGO 2022: 217-229 - [c120]Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos:
F3M: Fast Focused Function Merging. CGO 2022: 242-253 - [c119]Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer:
Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell 2022: 81-94 - [c118]Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães
ExeBench: an ML-scale dataset of executable C functions. MAPS@PLDI 2022: 50-59 - [c117]Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth
Bind the gap: compiling real software to hardware FFT accelerators. PLDI 2022: 687-702 - 2021
- [c116]Bruce Collie
Program Lifting using Gray-Box Behavior. PACT 2021: 60-74 - [c115]Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
Neural architecture search as program transformation exploration. ASPLOS 2021: 915-927 - [c114]Jackson Woodruff, Michael F. P. O'Boyle:
New Regular Expressions on Old Accelerators. DAC 2021: 343-348 - [c113]Siying Feng, Jiawen Sun, Subhankar Pal
CoSPARSE: A Software and Hardware Reconfigurable SpMV Framework for Graph Analytics. DAC 2021: 949-954 - [c112]Nishil Talati, Kyle May, Armand Behroozi, Yichen Yang
Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design. HPCA 2021: 654-667 - [c111]Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle, Hugh Leather:
ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations. ICML 2021: 2244-2253 - [c110]Subhankar Pal
SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. MICRO 2021: 1005-1021 - [i20]Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle:
Neural Architecture Search as Program Transformation Exploration. CoRR abs/2102.06599 (2021) - [i19]Jordi Armengol-Estapé, Michael F. P. O'Boyle:
Learning C to x86 Translation: An Experiment in Neural Compilation. CoRR abs/2108.07639 (2021) - 2020
- [c109]Subhankar Pal
Transmuter: Bridging the Efficiency Gap using Memory and Dataflow Reconfiguration. PACT 2020: 175-190 - [c108]Perry Gibson
Optimizing Grouped Convolutions on Edge Devices. ASAP 2020: 189-196 - [c107]Philip Ginsbach, Bruce Collie
Automatically harnessing sparse acceleration. CC 2020: 179-190 - [c106]John Magnus Morton
DelayRepay: delayed execution for kernel fusion in Python. DLS 2020: 43-56 - [c105]Bruce Collie
Modeling black-box components with probabilistic synthesis. GPCE 2020: 1-14 - [c104]Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey, Gavin Gray:
BlockSwap: Fisher-guided Block Substitution for Network Compression on a Budget. ICLR 2020 - [c103]Subhankar Pal
HETSIM: Simulating Large-Scale Heterogeneous Systems using a Trace-driven, Synchronization and Dependency-Aware Framework. IISWC 2020: 13-24 - [c102]Bruce Collie
M3: Semantic API Migrations. ASE 2020: 90-102 - [c101]Massimiliano Patacchiola, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey:
Bayesian Meta-Learning for the Few-Shot Setting via Deep Kernels. NeurIPS 2020 - [c100]Naums Mogers, Valentin Radu
Automatic generation of specialized direct convolutions for mobile GPUs. GPGPU@PPoPP 2020: 41-50 - [c99]Yuan Wen, Andrew Anderson, Valentin Radu
TASO: Time and Space Optimization for Memory-Constrained DNN Inference. SBAC-PAD 2020: 199-208 - [i18]Philip Ginsbach, Bruce Collie, Michael F. P. O'Boyle:
Automatically Harnessing Sparse Acceleration. CoRR abs/2001.07938 (2020) - [i17]Valentin Radu, Kuba Kaszyk
Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. CoRR abs/2002.08697 (2020) - [i16]Yuan Wen, Andrew Anderson, Valentin Radu, Michael F. P. O'Boyle, David Gregg:
TASO: Time and Space Optimization for Memory-Constrained DNN Inference. CoRR abs/2005.10709 (2020) - [i15]Bruce Collie, Michael F. P. O'Boyle:
Retrofitting Symbolic Holes to LLVM IR. CoRR abs/2006.05875 (2020) - [i14]Perry Gibson, José Cano, Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey:
Optimizing Grouped Convolutions on Edge Devices. CoRR abs/2006.09791 (2020) - [i13]Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle:
M3: Semantic API Migrations. CoRR abs/2008.12118 (2020) - [i12]Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle:
Modeling Black-Box Components with Probabilistic Synthesis. CoRR abs/2010.04811 (2020) - [i11]Chris Cummins, Hugh Leather, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle:
Deep Data Flow Analysis. CoRR abs/2012.01470 (2020)
2010 – 2019
- 2019
- [c98]Bruce Collie
Type-Directed Program Synthesis and Constraint Generation for Library Portability. PACT 2019: 55-67 - [c97]Lewis Crawford, Michael F. P. O'Boyle:
Specialization Opportunities in Graphical Workloads. PACT 2019: 272-283 - [c96]Yuan Wen, Andrew Anderson, Valentin Radu
POSTER: Space and Time Optimal DNN Primitive Selection with Integer Linear Programming. PACT 2019: 489-490 - [c95]Mihai Bujanca
SLAMBench 3.0: Systematic Automated Reproducible Evaluation of SLAM Systems for Robot Vision Challenges and Scene Understanding. ICRA 2019: 6351-6358 - [c94]Valentin Radu
Performance Aware Convolutional Neural Network Channel Pruning for Embedded GPUs. IISWC 2019: 24-34 - [c93]Kuba Kaszyk
Full-System Simulation of Mobile CPU/GPU Platforms. ISPASS 2019: 68-78 - [i10]Jack Turner, Elliot J. Crowley, Gavin Gray, Amos J. Storkey, Michael F. P. O'Boyle:
BlockSwap: Fisher-guided Block Substitution for Network Compression. CoRR abs/1906.04113 (2019) - [i9]Bruce Collie
Augmenting Type Signatures for Program Synthesis. CoRR abs/1907.05649 (2019) - [i8]Bruce Collie
Type-Directed Program Synthesis and Constraint Generation for Library Portability. CoRR abs/1908.04546 (2019) - 2018
- [j31]Zheng Wang
Machine Learning in Compiler Optimization. Proc. IEEE 106(11): 1879-1901 (2018) - [j30]Sajad Saeedi
Navigating the Landscape for Real-Time Localization and Mapping for Robotics and Virtual and Augmented Reality. Proc. IEEE 106(11): 2020-2039 (2018) - [c92]Philip Ginsbach, Toomas Remmelg, Michel Steuwer
Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach. ASPLOS 2018: 139-153 - [c91]Philip Ginsbach, Lewis Crawford, Michael F. P. O'Boyle:
CAnDL: a domain specific language for compiler analysis. CC 2018: 151-162 - [c90]Bruno Bodin
SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. ICRA 2018: 1-8 - [c89]Jack Turner, José Cano
Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. IISWC 2018: 101-110 - [c88]José Cano
Automatic Parameter Tuning of Motion Planning Algorithms. IROS 2018: 8103-8109 - [c87]Bruno Bodin
Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications. ISPASS 2018: 123-124 - [c86]Lewis Crawford, Michael F. P. O'Boyle:
A Cross-platform Evaluation of Graphics Shader Compiler Optimization. ISPASS 2018: 219-228 - [c85]Yuan Wen, Michael F. P. O'Boyle, Christian Fensch:
MaxPair: Enhance OpenCL Concurrent Kernel Execution by Weighted Maximum Matching. GPGPU@PPoPP 2018: 40-49 - [e7]Skevos Evripidou, Per Stenström, Michael F. P. O'Boyle:
Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018, Limassol, Cyprus, November 01-04, 2018. ACM 2018 [contents] - [e6]Jens Knoop, Markus Schordan, Teresa Johnson, Michael F. P. O'Boyle:
Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018. ACM 2018 [contents] - [i7]Zheng Wang, Michael F. P. O'Boyle:
Machine Learning in Compiler Optimisation. CoRR abs/1805.03441 (2018) - [i6]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:
Navigating the Landscape for Real-time Localisation and Mapping for Robotics and Virtual and Augmented Reality. CoRR abs/1808.06352 (2018) - [i5]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:
SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM. CoRR abs/1808.06820 (2018) - [i4]Jack Turner, José Cano, Valentin Radu, Elliot J. Crowley, Michael F. P. O'Boyle, Amos J. Storkey:
Characterising Across-Stack Optimisations for Deep Convolutional Neural Networks. CoRR abs/1809.07196 (2018) - [i3]Elliot J. Crowley, Jack Turner, Amos J. Storkey, Michael F. P. O'Boyle:
Pruning neural networks: is it time to nip it in the bud? CoRR abs/1810.04622 (2018) - [i2]Jack Turner, Elliot J. Crowley, Valentin Radu, José Cano, Amos J. Storkey, Michael F. P. O'Boyle:
HAKD: Hardware Aware Knowledge Distillation. CoRR abs/1810.10460 (2018) - 2017
- [c84]Philip Ginsbach, Michael F. P. O'Boyle:
Discovery and exploitation of general reductions: a constraint based approach. CGO 2017: 269-280 - [c83]Yuan Wen, Michael F. P. O'Boyle:
Merge or Separate?: Multi-job Scheduling for OpenCL Kernels on CPU/GPU Platforms. GPGPU@PPoPP 2017: 22-31 - 2016
- [j29]Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle:
Four Metrics to Evaluate Heterogeneous Multicores. ACM Trans. Archit. Code Optim. 12(4): 37:1-37:25 (2016) - [j28]Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle:
Selecting Heterogeneous Cores for Diversity. ACM Trans. Archit. Code Optim. 13(4): 49:1-49:25 (2016) - [c82]Bruno Bodin
Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding. PACT 2016: 57-69 - [c81]Christos Margiolas, Michael F. P. O'Boyle:
Portable and transparent software managed scheduling on accelerators for fair resource sharing. CGO 2016: 82-93 - [c80]Bruno Bodin
Diplomat: Mapping of Multi-kernel Applications Using a Static Dataflow Abstraction. MASCOTS 2016: 241-250 - 2015
- [c79]Luigi Nardi, Bruno Bodin
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. ICRA 2015: 5783-5790 - [c78]Christos Margiolas, Michael F. P. O'Boyle:
PALMOS: A Transparent, Multi-tasking Acceleration Layer for Parallel Heterogeneous Systems. ICS 2015: 307-318 - [c77]Murali Krishna Emani, Michael F. P. O'Boyle:
Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. PLDI 2015: 499-508 - 2014
- [j27]Zheng Wang
Integrating profile-driven parallelism detection and machine-learning-based mapping. ACM Trans. Archit. Code Optim. 11(1): 2:1-2:26 (2014) - [j26]Hugh Leather
Automatic feature generation for machine learning-based optimising compilation. ACM Trans. Archit. Code Optim. 11(1): 14:1-14:32 (2014) - [j25]Zheng Wang
Automatic and Portable Mapping of Data Parallel Programs to OpenCL for GPU-Based Heterogeneous Systems. ACM Trans. Archit. Code Optim. 11(4): 42:1-42:26 (2014) - [c76]Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle:
Automatic optimization of thread-coarsening for graphics processors. PACT 2014: 455-466 - [c75]Erik Tomusk, Christophe Dubach, Michael F. P. O'Boyle:
Measuring flexibility in single-ISA heterogeneous processors. PACT 2014: 495-496 - [c74]Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle:
Exploiting GPU Hardware Saturation for Fast Compiler Optimization. GPGPU@ASPLOS 2014: 99 - [c73]Kiran Chandramohan, Michael F. P. O'Boyle:
A compiler framework for automatically mapping data parallel programs to heterogeneous MPSoCs. CASES 2014: 9:1-9:10 - [c72]Zheng Wang
Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code. CC 2014: 154-173 - [c71]Christos Margiolas, Michael F. P. O'Boyle:
Portable and Transparent Host-Device Communication Optimization for GPGPU Environments. CGO 2014: 55 - [c70]Yuan Wen, Zheng Wang
Smart multi-task scheduling for OpenCL programs on CPU/GPU heterogeneous platforms. HiPC 2014: 1-10 - [c69]Murali Krishna Emani, Michael F. P. O'Boyle:
Change Detection Based Parallelism Mapping: Exploiting Offline Models and Online Adaptation. LCPC 2014: 208-223 - [c68]Kiran Chandramohan, Michael F. P. O'Boyle:
Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration. LCTES 2014: 73-82 - [e5]Michael F. P. O'Boyle, Keshav Pingali:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014. ACM 2014, ISBN 978-1-4503-2784-8 [contents] - [i1]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:
Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. CoRR abs/1410.2167 (2014) - 2013
- [j24]Zheng Wang
Using machine learning to partition streaming programs. ACM Trans. Archit. Code Optim. 10(3): 20:1-20:25 (2013) - [c67]Michael F. P. O'Boyle, Christian Fensch:
General chairs' welcome message. PACT 2013 - [c66]Murali Krishna Emani, Zheng Wang
Smart, adaptive mapping of parallelism in the presence of external workload. CGO 2013: 13:1-13:10 - [c65]Dominik Grewe, Zheng Wang
Portable mapping of data parallel programs to OpenCL for heterogeneous systems. CGO 2013: 22:1-22:10 - [c64]Dominik Grewe, Zheng Wang
OpenCL Task Partitioning in the Presence of GPU Contention. LCPC 2013: 87-101 - [c63]Alberto Magni, Christophe Dubach, Michael F. P. O'Boyle:
A large-scale cross-architecture evaluation of thread-coarsening. SC 2013: 11:1-11:11 - [e4]Christian Fensch, Michael F. P. O'Boyle, André Seznec, François Bodin:
Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, Edinburgh, United Kingdom, September 7-11, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-1018-2 [contents] - 2012
- [j23]Christophe Dubach, Timothy M. Jones
Exploring and Predicting the Effects of Microarchitectural Parameters and Compiler Optimizations on Performance and Energy. ACM Trans. Embed. Comput. Syst. 11(S1): 24 (2012) - [e3]Michael F. P. O'Boyle:
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. Lecture Notes in Computer Science 7210, Springer 2012, ISBN 978-3-642-28651-3 [contents] - 2011
- [j22]Grigori Fursin, Yuriy Kashnikov, Abdul Wahid Memon, Zbigniew Chamski, Olivier Temam, Mircea Namolaru, Elad Yom-Tov
Milepost GCC: Machine Learning Enabled Self-tuning Compiler. Int. J. Parallel Program. 39(3): 296-327 (2011) - [j21]Christophe Dubach, Timothy M. Jones
An Empirical Architecture-Centric Approach to Microarchitectural Design Space Exploration. IEEE Trans. Computers 60(10): 1445-1458 (2011) - [j20]Timothy M. Jones, Michael F. P. O'Boyle, Jaume Abella
Compiler Directed Issue Queue Energy Reduction. Trans. High Perform. Embed. Archit. Compil. 4: 42-62 (2011) - [c62]Dominik Grewe, Michael F. P. O'Boyle:
A Static Task Partitioning Approach for Heterogeneous Systems Using OpenCL. CC 2011: 286-305 - [c61]Dominik Grewe, Zheng Wang
A workload-aware mapping approach for data-parallel programs. HiPEAC 2011: 117-126 - 2010
- [c60]Zheng Wang
Partitioning streaming parallelism for multi-cores: a machine learning based approach. PACT 2010: 307-318 - [c59]Christophe Dubach, Timothy M. Jones
A Predictive Model for Dynamic Microarchitectural Adaptivity Control. MICRO 2010: 485-496
2000 – 2009
- 2009
- [j19]Michael F. P. O'Boyle, Henk J. Sips:
Obituary: Peter Knijnenburg (1961-2007). Concurr. Comput. Pract. Exp. 21(1): 5 (2009) - [j18]Timothy M. Jones
Exploring the limits of early register release: Exploiting compiler analysis. ACM Trans. Archit. Code Optim. 6(3): 12:1-12:30 (2009) - [j17]Timothy M. Jones
Energy-efficient register caching with compiler assistance. ACM Trans. Archit. Code Optim. 6(4): 13:1-13:23 (2009) - [c58]Hugh Leather
Automatic Feature Generation for Machine Learning Based Optimizing Compilation. CGO 2009: 81-91 - [c57]Christophe Dubach, Timothy M. Jones
Rapid early-stage microarchitecture design using predictive models. ICCD 2009: 297-304 - [c56]John Thomson, Michael F. P. O'Boyle, Grigori Fursin, Björn Franke
Reducing Training Time in a One-Shot Machine Learning-Based Compiler. LCPC 2009: 399-407 - [c55]Hugh Leather
Raced profiles: efficient selection of competing compiler optimizations. LCTES 2009: 50-59 - [c54]Christophe Dubach, Timothy M. Jones
Portable compiler optimisation across embedded programs and microarchitectures using machine learning. MICRO 2009: 78-88 - [c53]Georgios Tournavitis, Zheng Wang
Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. PLDI 2009: 177-187 - [c52]Zheng Wang
Mapping parallelism to multi-cores: a machine learning based approach. PPoPP 2009: 75-84 - [e2]André Seznec, Joel S. Emer, Michael F. P. O'Boyle, Margaret Martonosi, Theo Ungerer:
High Performance Embedded Architectures and Compilers, Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings. Lecture Notes in Computer Science 5409, Springer 2009, ISBN 978-3-540-92989-5 [contents] - 2008
- [c51]Christophe Dubach, Timothy M. Jones
Exploring and predicting the architecture/optimising compiler co-design space. CASES 2008: 31-40 - [c50]Timothy M. Jones
Instruction Cache Energy Saving Through Compiler Way-Placement. DATE 2008: 1196-1201 - 2007
- [j16]Koen De Bosschere, Wayne Luk, Xavier Martorell
High-Performance Embedded Architecture and Compilation Roadmap. Trans. High Perform. Embed. Archit. Compil. 1: 5-29 (2007) - [j15]Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam:
Quick and Practical Run-Time Evaluation of Multiple Program Optimizations. Trans. High Perform. Embed. Archit. Compil. 1: 34-53 (2007) - [j14]Michael F. P. O'Boyle, François Bodin, Marcelo Cintra:
Introduction to Part 2. Trans. High Perform. Embed. Archit. Compil. 1: 139 (2007) - [c49]Christophe Dubach, John Cavazos, Björn Franke
Fast compiler optimisation evaluation using code-feature based performance prediction. Conf. Computing Frontiers 2007: 131-142 - [c48]John Cavazos, Grigori Fursin, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Olivier Temam:
Rapidly Selecting Good Compiler Optimizations using Performance Counters. CGO 2007: 185-197 - [c47]Michael F. P. O'Boyle, François Bodin, José González, Lucian N. Vintan:
Topic 4 High-Performance Architectures and Compilers. Euro-Par 2007: 235 - [c46]Grigori Fursin, John Cavazos, Michael F. P. O'Boyle, Olivier Temam:
MiDataSets: Creating the Conditions for a More Realistic Evaluation of Iterative Optimization. HiPEAC 2007: 245-260 - [c45]Christophe Dubach, Timothy M. Jones
Microarchitectural Design Space Exploration Using an Architecture-Centric Approach. MICRO 2007: 262-271 - [e1]Per Stenström, Michael F. P. O'Boyle, François Bodin, Marcelo Cintra, Sally A. McKee:
Transactions on High-Performance Embedded Architectures and Compilers I. Lecture Notes in Computer Science 4050, Springer 2007, ISBN 978-3-540-71527-6 [contents] - 2006
- [c44]John Cavazos, Christophe Dubach, Felix V. Agakov, Edwin V. Bonilla, Michael F. P. O'Boyle, Grigori Fursin, Olivier Temam:
Automatic performance model construction for the fast software exploration of new hardware designs. CASES 2006: 24-34 - [c43]John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle:
Hybrid Optimizations: Which Optimization Algorithm to Use?. CC 2006: 124-138 - [c42]Thomas J. Ashby, Michael F. P. O'Boyle:
Iterative Collective Loop Fusion. CC 2006: 202-216 - [c41]Felix V. Agakov, Edwin V. Bonilla, John Cavazos, Björn Franke
Using Machine Learning to Focus Iterative Optimization. CGO 2006: 295-305 - [c40]Edwin V. Bonilla, Christopher K. I. Williams, Felix V. Agakov, John Cavazos, John Thomson, Michael F. P. O'Boyle:
Predictive search distributions. ICML 2006: 121-128 - [c39]John Cavazos, Michael F. P. O'Boyle:
Method-specific dynamic compilation using logistic regression. OOPSLA 2006: 229-240 - 2005
- [j13]Jaume Abella
IATAC: a smart predictor to turn-off L2 cache lines. ACM Trans. Archit. Code Optim. 2(1): 55-77 (2005) - [j12]Björn Franke
A Complete Compiler Approach to Auto-Parallelizing C Programs for Multi-DSP Systems. IEEE Trans. Parallel Distributed Syst. 16(3): 234-245 (2005) - [c38]Timothy M. Jones
Compiler Directed Early Register Release. IEEE PACT 2005: 110-122 - [c37]Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, José Moreira:
Topic 4 - Compilers for High Performance. Euro-Par 2005: 323 - [c36]Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam:
A Practical Method for Quickly Evaluating Program Optimizations. HiPEAC 2005: 29-46 - [c35]Timothy M. Jones
Software Directed Issue Queue Power Reduction. HPCA 2005: 144-153 - [c34]Björn Franke
Probabilistic source-level optimisation of embedded programs. LCTES 2005: 78-86 - [c33]John Cavazos, Michael F. P. O'Boyle:
Automatic Tuning of Inlining Heuristics. SC 2005: 14 - 2004
- [j11]Peter M. W. Knijnenburg, Toru Kisuki, Kyle A. Gallivan, Michael F. P. O'Boyle:
The effect of cache models on iterative compilation for combined tiling and unrolling. Concurr. Comput. Pract. Exp. 16(2-3): 247-270 (2004) - [j10]Grigori Fursin, Michael F. P. O'Boyle, Olivier Temam, G. Watts:
A fast and accurate method for determining a lower bound on execution time. Concurr. Comput. Pract. Exp. 16(2-3): 271-292 (2004) - [c32]Hans P. Zima, Siegfried Benkner, Michael F. P. O'Boyle, Beniamino Di Martino:
Topic 4: Compilers for High Performance. Euro-Par 2004: 271 - [c31]Thomas J. Ashby, Anthony D. Kennedy, Michael F. P. O'Boyle:
Cross Component Optimisation in a High Level Category-Based Language. Euro-Par 2004: 654-661 - [c30]Shun Long, Michael F. P. O'Boyle:
Adaptive Java optimisation using instance-based learning. ICS 2004: 237-246 - 2003
- [j9]Michael F. P. O'Boyle, Rupert W. Ford, Elena A. Stöhr:
Towards general and exact distributed invalidation. J. Parallel Distributed Comput. 63(11): 1123-1137 (2003) - [j8]Björn Franke
Array recovery and high-level transformations for DSP applications. ACM Trans. Embed. Comput. Syst. 2(2): 132-162 (2003) - [j7]Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle:
Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. J. Supercomput. 24(1): 43-67 (2003) - [c29]Björn Franke
Combining Program Recovery, Auto-Parallelisation and Locality Analysis for C Programs on Multi-Processor Embedded Systems. IEEE PACT 2003: 104-113 - [c28]Björn Franke
Compiler parallelization of C programs for multi-core DSPs with multiple address spaces. CODES+ISSS 2003: 219-224 - [c27]Michael Gerndt, Chau-Wen Tseng, Michael F. P. O'Boyle, Markus Schordan:
Topic Introduction. Euro-Par 2003: 241 - 2002
- [j6]Michael F. P. O'Boyle, Peter M. W. Knijnenburg:
Integrating Loop and Data Transformations for Global Optimization. J. Parallel Distributed Comput. 62(4): 563-590 (2002) - [j5]Michael F. P. O'Boyle, Elena Stöhr:
Compile Time Barrier Synchronization Minimization. IEEE Trans. Parallel Distributed Syst. 13(6): 529-543 (2002) - [c26]Grigori Fursin, Michael F. P. O'Boyle, Peter M. W. Knijnenburg:
Evaluating Iterative Compilation. LCPC 2002: 362-376 - [c25]Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle:
Iterative Compilation. Embedded Processor Design Challenges 2002: 171-187 - 2001
- [c24]Björn Franke
An empirical evaluation of high level transformations for embedded processors. CASES 2001: 59-66 - [c23]Björn Franke
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications. CC 2001: 69-85 - [c22]Jens Knoop, Manish Gupta, Keshav Pingali, Michael F. P. O'Boyle:
Topic 04: Compilers for High Performance. Euro-Par 2001: 204-206 - 2000
- [c21]Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle:
Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation. IEEE PACT 2000: 237-248 - [c20]Rupert W. Ford, Michael F. P. O'Boyle, Elena Stöhr:
Exact Distributed Invalidation. Euro-Par 2000: 395-404
1990 – 1999
- 1999
- [j4]Michael F. P. O'Boyle, Peter M. W. Knijnenburg:
Nonsingular Data Transformations: Definition, Validity, and Applications. Int. J. Parallel Program. 27(3): 131-159 (1999) - [c19]Michael F. P. O'Boyle, Peter M. W. Knijnenburg:
Efficient Parallelization Using Combined Loop and Data Transformations. IEEE PACT 1999: 283-292 - [c18]Michel Barreteau, François Bodin, Zbigniew Chamski, Henri-Pierre Charles
OCEANS - Optimising Compilers for Embedded Applications. Euro-Par 1999: 1171-1175 - [c17]Toru Kisuki, Peter M. W. Knijnenburg, Michael F. P. O'Boyle, François Bodin, Harry A. G. Wijshoff:
A Feasibility Study in Iterative Compilation. ISHPC 1999: 121-132 - 1998
- [j3]Elena A. Stöhr, Michael F. P. O'Boyle:
First Fast Sink: A compiler algorithm for barrier placement optimisation. Future Gener. Comput. Syst. 13(4-5): 397-406 (1998) - [c16]Michael F. P. O'Boyle, Peter M. W. Knijnenburg:
Integrating Loop and Data Transformations for Global Optimization. IEEE PACT 1998: 12- - [c15]Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles
OCEANS: Optimising Compilers for Embedded Applications. Euro-Par 1998: 1123-1130 - [c14]Michael F. P. O'Boyle:
MARS: A Distributed Memory Approach to Shared Memory Compilation. LCR 1998: 259-274 - 1997
- [c13]Bas Aarts, Michel Barreteau, François Bodin, Peter Brinkhaus, Zbigniew Chamski, Henri-Pierre Charles
OCEANS: Optimizing Compilers for Embedded Applications. Euro-Par 1997: 1351-1356 - [c12]Elena Stöhr, Michael F. P. O'Boyle:
Barrier Synchronisation Optimisation. HPCN Europe 1997: 791-800 - [c11]Elena Stöhr, Michael F. P. O'Boyle:
A Graph Based Approach to Barrier Synchronisation Minimisation. International Conference on Supercomputing 1997: 156-163 - [c10]Michael F. P. O'Boyle, Peter M. W. Knijnenburg:
Non-Singular Data Transformations: Definition, Validity and Applications. International Conference on Supercomputing 1997: 309-316 - 1996
- [j2]Michael F. P. O'Boyle, J. Mark Bull:
Expert Programmer versus Parallelizing Compiler: A Comparative Study of Two Approaches for Distributed Shared Memory. Sci. Program. 5(1): 63-88 (1996) - [c9]Michael F. P. O'Boyle, Andy Nisbet, Rupert W. Ford:
A compiler algorithm to reduce invalidation latency in virtual shared memory systems. IEEE PACT 1996: 248-257 - [c8]Michael F. P. O'Boyle, Rupert W. Ford, Andy Nisbet:
Compiler Reduction of Invalidation Traffic in Virtual Shared Memory Systems. Euro-Par, Vol. I 1996: 432-440 - [c7]Zbigniew Chamski, Michael F. P. O'Boyle:
Practical Loop Generation. HICSS (1) 1996: 223-232 - 1995
- [j1]Michael F. P. O'Boyle, L. Kervella, François Bodin:
Synchronization Minimization in a SPMD Execution Model. J. Parallel Distributed Comput. 29(2): 196-210 (1995) - [c6]Michael F. P. O'Boyle, François Bodin:
Compiler Reduction of Synchronisation in Shared Virtual Memory Systems. International Conference on Supercomputing 1995: 318-327 - [c5]François Bodin, Michael F. P. O'Boyle:
A Compiler Strategy for Shared Virtual Memories. LCR 1995: 57-69 - [c4]Michael F. P. O'Boyle:
A hierarchical locality algorithm for NUMA compilation. PDP 1995: 106-113 - 1994
- [c3]Michael F. P. O'Boyle:
A Data Partitioning Algorithm for Distributed Memory Compilation. PARLE 1994: 61-72 - 1993
- [b1]Michael F. P. O'Boyle:
Program and data transformations for efficient execution on distributed memory architectures. University of Manchester, UK, Technical report series 93-1-6, 1993 - 1992
- [c2]Michael F. P. O'Boyle, G. A. Hedayat:
A transformational approach to compiling Sisal for distributed memory architectures. ICS 1992: 335-346 - [c1]Michael F. P. O'Boyle, G. A. Hedayat:
A New Program Transformation to Minimise Communication in Distributed Memory Architecture. PARLE 1992: 347-362
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: