Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andreas Lööw
conf.researchr.org general profile
ICSE 2019 profile
PLDI 2019 profile
POPL 2021 profile
Registered user since Tue 25 Jun 2019
Name:
Andreas Lööw
Affiliation:
Chalmers University of Technology
Contributions
CPP 2021
Author of Lutsig: A Verified Verilog Compiler for Verified Circuit Development within the CPP 2021-track
FormaliSE 2019
Author of A Proof-Producing Translator for Verilog Development in HOL within the FormaliSE 2019-track
PLDI 2019
Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track
Share
x
Sat 28 May 13:40