• Sign in
  • Sign up
conf.researchr.org / Andres Erbsen
  • ICFP 2023 profile
  • ICSE 2023 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • PLDI 2023 profile
  • POPL 2022 profile
  • SPLASH 2021 profile

Registered user since Mon 8 Jun 2020

Name:Andres Erbsen
Personal website: https://andres.systems/

Contributions

2023

ICFP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
  • Author of Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) within the ICFP Papers and Events-track
  • Author of Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) within the Artifact Evaluation-track

PLDI

  • Author of CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives within the PLDI Research Papers-track

ICSE

  • Author of CryptOpt: Automatic Optimization of Straightline Code within the DEMO - Demonstrations-track

2022

PLDI

  • Author of Relational Compilation for Performance-Critical Applications within the PLDI-track

POPL

  • Author of Certifying Derivation of State Machines from Coroutines within the POPL-track

2021

SPLASH

  • Author of Integration Verification Across Software and Hardware for a Simple Embedded System within the SIGPLAN Papers-track

PLDI

  • Author of Integration Verification across Software and Hardware for a Simple Embedded System within the PLDI-track

2020

DeepSpec

  • Presenter of The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System within the REMS-DeepSpec 2020-track

2018

DeepSpec

  • Speaker of Automation for High-Assurance Cryptography, for Primitives and Protocols within the DeepSpec 2018-track
Share
xThu 28 Sep 20:09
using conf.researchr.org (v1.61.3)
Support page
Sign Up