![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Michael O'Boyle
Texas Tech University, Lubbock, TX, USA
Likely matches
- Michael F. P. O'Boyle
University of Edinburgh, Scotland, UK - Michael F. O'Boyle
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 213 matches
- 2024
- 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 - 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
- Thomas Adams
, Michael J. O'Sullivan
, Cameron G. Walker, Keming Wang
, Luke Boyle
:
Application of a risk-averse objective function for scheduling surgeries. Comput. Oper. Res. 151: 106086 (2023) - 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 - 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. CC 2023: 85-97 - Rodrigo C. O. Rocha, Charitha Saumya, Kirshanthan Sundararajah
, Pavlos Petoumenos, Milind Kulkarni, Michael F. P. O'Boyle:
HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction. CC 2023: 156-167 - 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 - Jackson Woodruff
, David Schall
, Michael F. P. O'Boyle
, Christopher Woodruff
:
When Does Saving Power Save the Planet? HotCarbon 2023: 20:1-20:6 - 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) - 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) - Michael F. O'Boyle, Charalampos Markakis:
Discontinuous collocation and symmetric integration methods for distributionally-sourced hyperboloidal partial differential equations. CoRR abs/2308.02385 (2023) - 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) - Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser
, Michael F. P. O'Boyle:
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis. CoRR abs/2310.04196 (2023) - 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
- Shengwen Deng
, Crystal Franklin, Michael O'Boyle, Wei Zhang, Betty L. Heyl, Paul Jerabek, Hanzhang Lu, Peter T. Fox:
Hemodynamic and metabolic correspondence of resting-state voxel-based physiological metrics in healthy adults. NeuroImage 250: 118923 (2022) - 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 - 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 - 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 - Jordi Armengol-Estapé, Jackson Woodruff, Alexander Brauckmann, José Wesley de Souza Magalhães
, Michael F. P. O'Boyle:
ExeBench: an ML-scale dataset of executable C functions. MAPS@PLDI 2022: 50-59 - Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth
, Michael F. P. O'Boyle:
Bind the gap: compiling real software to hardware FFT accelerators. PLDI 2022: 687-702 - Michael F. O'Boyle, Charalampos Markakis, Lidia J. Gomes Da Silva
, Rodrigo Panosso Macedo
, Juan A. Valiente Kroon:
Conservative Evolution of Black Hole Perturbations with Time-Symmetric Numerical Methods. CoRR abs/2210.02550 (2022) - 2021
- Bruce Collie
, Michael F. P. O'Boyle:
Program Lifting using Gray-Box Behavior. PACT 2021: 60-74 - Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle
:
Neural architecture search as program transformation exploration. ASPLOS 2021: 915-927 - 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:
CoSPARSE: A Software and Hardware Reconfigurable SpMV Framework for Graph Analytics. DAC 2021: 949-954 - Jackson Woodruff, Michael F. P. O'Boyle:
New Regular Expressions on Old Accelerators. DAC 2021: 343-348 - 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:
Prodigy: Improving the Memory Latency of Data-Indirect Irregular Workloads Using Hardware-Software Co-Design. HPCA 2021: 654-667 - 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 - Subhankar Pal
, Aporva Amarnath, Siying Feng, Michael F. P. O'Boyle, Ronald G. Dreslinski, Christophe Dubach:
SparseAdapt: Runtime Control for Sparse Linear Algebra on a Reconfigurable Accelerator. MICRO 2021: 1005-1021 - Jack Turner, Elliot J. Crowley, Michael F. P. O'Boyle:
Neural Architecture Search as Program Transformation Exploration. CoRR abs/2102.06599 (2021) - Jordi Armengol-Estapé, Michael F. P. O'Boyle:
Learning C to x86 Translation: An Experiment in Neural Compilation. CoRR abs/2108.07639 (2021)
skipping 183 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
retrieved on 2024-06-22 16:49 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint