Registered user since Tue 15 Sep 2020
Name:Heiko Becker
Country:Germany
Affiliation:MPI-SWS
Personal website:https://mpi-sws.org/~hbecker/
Research interests:Floating-Point Arithmetic, Verified Compilers
Contributions
| POPL 2021 | Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
| CPP 2021 | Lassie: HOL4 Tactics by Example | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile