Sign in
Alex Bernat
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 6
Top Topics
Virtual Machine
Floating Point
Linux Kernel
Secondary School
Top Venues
HPDC
CGO
ASPLOS
SC Workshops
</>
Publications
</>
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)