VLDB 2026 Research / reviewers in the wild / expert
Timothy Hayes 0001
dblp:118/3999-1
· DBLP profile ↗
7ranked-venue papers
3as first author
1since 2021 · last 2021
0000-0002-8575-4914ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 7 · 3 first-author · 1 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
4 papers |
Processor architecture and microarchitecture · 50% Energy-efficient computing · 11% Distributed systems · 10% | |
| Theoretical computer science
1 paper |
Algorithms and data structures · 100% |
Topics — the 13 heaviest of 15, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Energy-efficient computing › low-power design
low-power processor design |
0.3 | 1 | 2017 | An Integrated Vector-Scalar Design on an In-Order ARM Core · ACM Trans. Archit. Code Optim. 2017 |
Processor architecture and microarchitecture
vector processor |
0.3 | 1 | 2017 | An Integrated Vector-Scalar Design on an In-Order ARM Core · ACM Trans. Archit. Code Optim. 2017 |
Distributed systems
data aggregation |
0.2 | 1 | 2016 | Future Vector Microprocessor Extensions for Data Aggregations · ISCA 2016 |
Parallel and multicore computing
data parallelism |
0.2 | 1 | 2016 | Future Vector Microprocessor Extensions for Data Aggregations · ISCA 2016 |
Processor architecture and microarchitecture
instruction set architecture |
0.2 | 1 | 2016 | Future Vector Microprocessor Extensions for Data Aggregations · ISCA 2016 |
Processor architecture and microarchitecture › SIMD
SIMD extensions |
0.2 | 1 | 2016 | Future Vector Microprocessor Extensions for Data Aggregations · ISCA 2016 |
High-performance computing › code optimization
vectorization |
0.2 | 1 | 2016 | Future Vector Microprocessor Extensions for Data Aggregations · ISCA 2016 |
Processor architecture and microarchitecture
SIMD |
0.2 | 1 | 2015 | VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors · HPCA 2015 |
Algorithms and data structures › sequence algorithms › sorting › integer sorting
radix sort |
0.2 | 1 | 2015 | VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors · HPCA 2015 |
Algorithms and data structures › sequence algorithms
sorting |
0.2 | 1 | 2015 | VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors · HPCA 2015 |
Processor architecture and microarchitecture › instruction set architecture
instruction set extension |
0.2 | 2 | 2015 | Vector Extensions for Decision Support DBMS Acceleration · MICRO 2012 VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors · HPCA 2015 |
Hardware accelerators and domain-specific architectures
database accelerator |
0.1 | 1 | 2012 | Vector Extensions for Decision Support DBMS Acceleration · MICRO 2012 |
Processor architecture and microarchitecture › SIMD
SIMD instructions |
0.1 | 1 | 2015 | VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessors · HPCA 2015 |
Methods — techniques the papers use, named apart from their topics
simulation · 0.4memory simulation · 0.3cycle-accurate microarchitectural simulation · 0.3chaining logic · 0.3block-based vector execution · 0.3simulation framework · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Mont-Blanc 2020: Towards Scalable and Power Efficient European HPC ProcessorsabstractThe Mont-Blanc 2020 (MB2020) project has triggered the development of the next generation industrial processor for Big Data and High Performance Computing (HPC). MB2020 is paving the way to the future low-power European processor for exascale, defining the System-on-Chip (SoC) architecture and implementing new critical building blocks to be integrated in such an SoC. In this paper, we first present an overview of the MB2020 project, then we describe our experimental infrastructure, the requirements of relevant applications, and the IP blocks developed in the project. Finally, we present our emulation-based final demonstrator and explain how it integrates within our first generation of HPC processors. Adrià Armejach, Bine Brank, Jordi Cortina, François Dolique, Timothy Hayes 0001, Nam Ho, Pierre-Axel Lagadec, Romain Lemaire, Guillem López-Paradís, Laurent Marliac, Miquel Moretó, Pedro Marcuello, Dirk Pleiter, Xubin Tan, Said Derradji |
DATE | 5 |
| 2017 | An Integrated Vector-Scalar Design on an In-Order ARM CoreabstractIn the low-end mobile processor market, power, energy, and area budgets are significantly lower than in the server/desktop/laptop/high-end mobile markets. It has been shown that vector processors are a highly energy-efficient way to increase performance; however, adding support for them incurs area and power overheads that would not be acceptable for low-end mobile processors. In this work, we propose an integrated vector-scalar design for the ARM architecture that mostly reuses scalar hardware to support the execution of vector instructions. The key element of the design is our proposed block-based model of execution that groups vector computational instructions together to execute them in a coordinated manner. We implemented a classic vector unit and compare its results against our integrated design. Our integrated design improves the performance (more than 6×) and energy consumption (up to 5×) of a scalar in-order core with negligible area overhead (only 4.7% when using a vector register with 32 elements). In contrast, the area overhead of the classic vector unit can be significant (around 44%) if a dedicated vector floating-point unit is incorporated. Our block-based vector execution outperforms the classic vector unit for all kernels with floating-point data and also consumes less energy. We also complement the integrated design with three energy/performance-efficient techniques that further reduce power and increase performance. The first proposal covers the design and implementation of chaining logic that is optimized to work with the cache hierarchy through vector memory instructions, the second proposal reduces the number of reads/writes from/to the vector register file, and the third idea optimizes complex memory access patterns with the memory shape instruction and unified indexed vector load. Milan Stanic, Oscar Palomar, Timothy Hayes 0001, Ivan Ratkovic, Adrián Cristal, Osman S. Unsal, Mateo Valero |
ACM Trans. Archit. Code Optim. | 3 |
| 2016 | POSTER: An Integrated Vector-Scalar Design on an In-order ARM CoreabstractIn the low-end mobile processor market, power, energy and area budgets are significantly lower than in other markets (e.g. servers or high-end mobile markets). It has been shown that vector processors are a highly energy-efficient way to increase performance; however adding support for them incurs area and power overheads that would not be acceptable for low-end mobile processors. In this work, we propose an integrated vector-scalar design for the ARM architecture that mostly reuses scalar hardware to support the execution of vector instructions. The key element of the design is our proposed block-based model of execution that groups vector computational instructions together to execute them in a coordinated manner. Milan Stanic, Oscar Palomar, Timothy Hayes 0001, Ivan Ratkovic, Osman S. Unsal, Adrián Cristal, Mateo Valero |
PACT | 3 |
| 2016 | Future Vector Microprocessor Extensions for Data AggregationsabstractAs the rate of annual data generation grows exponentially, there is a demand to aggregate and summarise vast amounts of information quickly. In the past, frequency scaling was relied upon to push application throughput. Today, Dennard scaling has ceased and further performance must come from exploiting parallelism. Single instruction-multiple data (SIMD) instruction sets offer a highly efficient and scalable way of exploiting data-level parallelism (DLP). While microprocessors originally offered very simple SIMD support targeted at multimedia applications, these extensions have been growing both in width and functionality. Observing this trend, we use a simulation framework to model future SIMD support and then propose and evaluate five different ways of vectorising data aggregation. We find that although data aggregation is abundant in DLP, it is often too irregular to be expressed efficiently using typical SIMD instructions. Based on this observation, we propose a set of novel algorithms and SIMD instructions to better capture this irregular DLP. Furthermore, we discover that the best algorithm is highly dependent on the characteristics of the input. Our proposed solution can dynamically choose the optimal algorithm in the majority of cases and achieves speedups between 2.7x and 7.6x over a scalar baseline. Timothy Hayes 0001, Oscar Palomar, Osman S. Unsal, Adrián Cristal, Mateo Valero |
ISCA | 1 |
| 2015 | Runtime-Aware Architectures
Marc Casas, Miquel Moretó, Lluc Alvarez, Emilio Castillo, Dimitrios Chasapis, Timothy Hayes 0001, Luc Jaulmes, Oscar Palomar, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Jesús Labarta, Mateo Valero |
Euro-Par | 6 |
| 2015 | VSR sort: A novel vectorised sorting algorithm & architecture extensions for future microprocessorsabstractSorting is a widely studied problem in computer science and an elementary building block in many of its subfields. There are several known techniques to vectorise and accelerate a handful of sorting algorithms by using single instruction-multiple data (SIMD) instructions. It is expected that the widths and capabilities of SIMD support will improve dramatically in future microprocessor generations and it is not yet clear whether or not these sorting algorithms will be suitable or optimal when executed on them. This work extrapolates the level of SIMD support in future microprocessors and evaluates these algorithms using a simulation framework. The scalability, strengths and weaknesses of each algorithm are experimentally derived. We then propose VSR sort, our own novel vectorised non-comparative sorting algorithm based on radix sort. To facilitate the execution of this algorithm we define two new SIMD instructions and propose a complementary hardware structure for their execution. Our results show that VSR sort has maximum speedups between 14.9x and 20.6x over a scalar baseline and an average speedup of 3.4x over the next-best vectorised sorting algorithm. Timothy Hayes 0001, Oscar Palomar, Osman S. Unsal, Adrián Cristal, Mateo Valero |
HPCA | 1 |
| 2012 | Vector Extensions for Decision Support DBMS AccelerationabstractDatabase management systems (DBMS) have become an essential tool for industry and research and are often a significant component of data centres. As a result of this criticality, efficient execution of DBMS engines has become an important area of investigation. This work takes a top-down approach to accelerating decision support systems (DSS) on x86-64 microprocessors using vector ISA extensions. In the first step, a leading DSS DBMS is analysed for potential data-level parallelism. We discuss why the existing multimedia SIMD extensions (SSE/AVX) are not suitable for capturing this parallelism and propose a complementary instruction set reminiscent of classical vector architectures. The instruction set is implemented using unintrusive modifications to a modern x86-64 micro architecture tailored for DSS DBMS. The ISA and micro architecture are evaluated using a cycle-accurate x86-64 micro architectural simulator coupled with a highly-detailed memory simulator. We have found a single operator is responsible for 41% of total execution time for the TPC-H DSS benchmark. Our results show performance speedups between 1.94x and 4.56x for an implementation of this operator run with our proposed hardware modifications. Timothy Hayes 0001, Oscar Palomar, Osman S. Unsal, Adrián Cristal, Mateo Valero |
MICRO | 1 |