Login / Signup
Robert Rabe
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Instruction Set
Sparse Matrices
Fast Fourier Transform
Fixed Point
Top Venues
ACM Trans. Embed. Comput. Syst.
Dagstuhl Artifacts Ser.
ECOOP
</>
Publications
</>
Heiko Becker
,
Robert Rabe
,
Eva Darulova
,
Magnus O. Myreen
,
Zachary Tatlock
,
Ramana Kumar
,
Yong Kiam Tan
,
Anthony C. J. Fox
Verified Compilation and Optimization of Floating-Point Programs in CakeML.
ECOOP
(2022)
Heiko Becker
,
Robert Rabe
,
Eva Darulova
,
Magnus O. Myreen
,
Zachary Tatlock
,
Ramana Kumar
,
Yong Kiam Tan
,
Anthony C. J. Fox
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact).
Dagstuhl Artifacts Ser.
8 (2) (2022)
Robert Rabe
,
Anastasiia Izycheva
,
Eva Darulova
Regime Inference for Sound Floating-Point Optimizations.
ACM Trans. Embed. Comput. Syst.
20 (5s) (2021)