Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roberto Guanciale
conf.researchr.org general profile
PLDI 2026 profile
POPL 2019 profile
POPL 2024 profile
POPL 2026 profile
SPLASH 2023 profile
SPLASH 2024 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Roberto Guanciale
Country:
Sweden
Affiliation:
KTH Royal Institute of Technology
Contributions
2026
LCTES
Author of Towards Verifiable System Code using a DSL Compiled to Efficient and Readable C Code within the LCTES 2026-track
SPLASH
Committee Member in OOPSLA Review Committee within the OOPSLA-track
VMCAI
Author of Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification within the VMCAI 2026-track
2024
SPLASH
Author of HOL4P4: mechanized small-step semantics for P4 within the OOPSLA 2024-track
POPL
Author of HOL4P4: A Heapless Small-Step Semantics and Type System for P4 within the Student Research Competition-track
2023
SPLASH
Author of P4R-Type: A Verified API for P4 Control Plane Programs within the OOPSLA-track
2019
PriSC
Author of Confidentiality-Preserving Refinement within the PriSC 2019-track
Share
x
Sun 4 Oct 19:23