Search events for 'all'
One Automaton to Rule Them All: Beyond Multiple Regular Expressions Execution
Main Conference When: Tue 5 Mar 2024 10:00 - 10:20 People: Luisa Cicolini, Filippo Carloni, Marco D. Santambrogio, Davide Conficconi
… …
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM
Main Conference When: Tue 5 Mar 2024 16:30 - 16:50 People: Yuyou Fan, John Regehr
…
for LLVM, which is useful because it checks the behavior of
optimizations for all … verification of the
optimizations all within a single program—avoiding numerous …
Revealing Compiler Heuristics through Automated Discovery and Optimization
Main Conference When: Mon 4 Mar 2024 11:50 - 12:10 People: Volker Seeker, Chris Cummins, Murray Cole, Björn Franke, Kim Hazelwood, Hugh Leather
… a tiny fraction of what could be possible if all heuristics were available to tune. Manually discovering all of these heuristics hidden among millions of lines … is about 2% of all available functions. We then use identified heuristics to tune …
Compiler Testing with Relaxed Memory Models
Main Conference When: Tue 5 Mar 2024 16:10 - 16:30 People: Luke Geeson, Lee Smith
… , then there is a bug. This holds for all programs, but we focus on concurrency bugs that occur only … to satisfy all of these properties.
We present the T'el'echat …
A Framework for Fine-Grained Synchronization of Dependent GPU Kernels
Main Conference When: Mon 4 Mar 2024 14:20 - 14:40 People: Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
… on all execution units in one or more waves. However, the number of tiles …
PolyTOPS: Reconfigurable and Flexible Polyhedral Scheduler
Main Conference When: Mon 4 Mar 2024 10:40 - 11:00 People: Gianpietro Consolaro, Zhen Zhang, Harenome Razanajato, Nelson Lossing, Nassim Tchoulak, Adilla Susungi, Artur Cesar Araujo Alves, Renwei Zhang, Denis Barthou, Corinne Ancourt, Cedric Bastoul
… of a one-size-fits-all scheduler approach.
PolyTOPS has been used with isl …
SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems
Main Conference When: Tue 5 Mar 2024 12:10 - 12:30 People: Hugo Reymond, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Isabelle Puaut, Erven Rohou
… time, resulting in a loss of all non-persistent information (\textit{e}.\textit{g …
Whose Baseline Compiler Is It Anyway?
Main Conference When: Tue 5 Mar 2024 10:20 - 10:40 People: Ben L. Titzer
… modules before execution.
Yet since that time, all Web engines have …
HPCA Keynote - Terminus: Moving the Center of Cloud Servers to SmartNICs and Beyond
Keynotes When: Mon 4 Mar 2024 08:30 - 09:30 People: Derek Chiou
… and leading all of Avici’s architectural simulation efforts. He was a member …
CGO Keynote - Computing Systems for the Foundation Model Era
Keynotes When: Tue 5 Mar 2024 08:30 - 09:30 People: Kunle Olukotun
… Generative AI applications with their ability to produce natural language, computer code and images are transforming all aspects of society. These applications are powered by huge foundation models such as GTP-4 which are trained …