
Registered user since Tue 15 Sep 2020
Name:Heiko Becker
Country:Germany
Affiliation:MPI-SWS
Personal website:https://mpi-sws.org/~hbecker/
Twitter:https://twitter.com/HeyHeiko
Research interests:Floating-Point Arithmetic, Verified Compilers
Contributions
POPL 2022 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile