​
Login / Signup
Alex Bernat
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 7
Top Topics
Virtual Machine
Floating Point
Linux Kernel
Secondary School
Top Venues
HPDC
CoRR
CGO
ASPLOS
</>
Publications
</>
Iulian Brumar
,
Rodrigo Rocha
,
Alex Bernat
,
Devashree Tripathy
,
David Brooks
,
Gu-Yeon Wei
Guac: Energy-Aware and SSA-Based Generation of Coarse-Grained Merged Accelerators from LLVM-IR.
CoRR
(2024)
Thomas Filipiuk
,
Nick Wanninger
,
Nadharm Dhiantravan
,
Carson Surmeier
,
Alex Bernat
,
Peter A. Dinda
CARAT KOP: Towards Protecting the Core HPC Kernel from Linux Kernel Modules.
SC Workshops
(2023)
Alex Bernat
We Need to Fix Secondary School Computer Science.
ACM Trans. Comput. Educ.
23 (4) (2023)
Michael Wilkins
,
Sam Westrick
,
Vijay Kandiah
,
Alex Bernat
,
Brian Suchy
,
Enrico Armenio Deiana
,
Simone Campanoni
,
Umut A. Acar
,
Peter A. Dinda
,
Nikos Hardavellas
WARDen: Specializing Cache Coherence for High-Level Parallel Languages.
CGO
(2023)
Peter A. Dinda
,
Nick Wanninger
,
Jiacheng Ma
,
Alex Bernat
,
Charles Bernat
,
Souradip Ghosh
,
Christopher Kraemer
,
Yehya Elmasry
FPVM: Towards a Floating Point Virtual Machine.
HPDC
(2022)
Brian Suchy
,
Souradip Ghosh
,
Drew Kersnar
,
Siyuan Chai
,
Zhen Huang
,
Aaron Nelson
,
Michael Cuevas
,
Alex Bernat
,
Gaurav Chaudhary
,
Nikos Hardavellas
,
Simone Campanoni
,
Peter A. Dinda
CARAT CAKE: replacing paging via compiler/kernel cooperation.
ASPLOS
(2022)
Peter A. Dinda
,
Alex Bernat
,
Conor Hetland
Spying on the Floating Point Behavior of Existing, Unmodified Scientific Applications.
HPDC
(2020)