Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andres Erbsen
conf.researchr.org general profile
PLDI 2018 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
POPL 2022 profile
SPLASH 2021 profile
Registered user since Mon 8 Jun 2020
Name:
Andres Erbsen
Personal website:
https://andres.systems/
Contributions
PLDI 2022
Author of Relational Compilation for Performance-Critical Applications within the PLDI-track
POPL 2022
Author of Certifying Derivation of State Machines from Coroutines within the POPL-track
SPLASH 2021
Author of Integration Verification Across Software and Hardware for a Simple Embedded System within the SIGPLAN Papers-track
PLDI 2021
Author of Integration Verification across Software and Hardware for a Simple Embedded System within the PLDI-track
REMS-DeepSpec 2020
Presenter of The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System within the REMS-DeepSpec 2020-track
DeepSpec 2018
Speaker of Automation for High-Assurance Cryptography, for Primitives and Protocols within the DeepSpec 2018-track
Share
x
Tue 17 May 13:19