Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roberto Blanco
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2024 profile
PLDI 2022 profile
POPL 2022 profile
POPL 2023 profile
POPL 2026 profile
Registered user since Wed 16 Feb 2022
Name:
Roberto Blanco
Affiliation:
Max Planck Institute for Security and Privacy (MPI-SP)
Contributions
2026
PriSC
Committee Member in Program Committee within the PriSC-track
2024
OCaml
Committee Member in Program Committee within the OCaml Users and Developers Workshop 2024-track
2023
PriSC
Author of SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine within the PriSC 2023-track
2022
ICFP
Germany in Evaluators within the Artifact Evaluation-track
OCaml
Author of OCamello: A Course and Summer School with Learn-OCaml within the OCaml 2022-track
PLDI
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
PriSC
Author of SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation within the PriSC 2022-track
Committee Member in Program Committee within the PriSC 2022-track
Share
x
Mon 27 Oct 19:20