• Sign in
  • Sign up
conf.researchr.org / Valentin Perrelle
  • ECOOP 2025 profile
  • ETAPS 2019 profile
  • POPL 2020 profile
No Photo

Not registered as user

Name:Valentin Perrelle

Contributions

2025

ECOOP

  • Author of Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis within the Technical Papers-track

2020

PLanQC

  • Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
  • Author of Qbricks: formal verification in quantum computing within the PLanQC-track

2019

InterAVT

  • Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track
Share
xFri 23 May 14:25
using conf.researchr.org (v1.69.0)
Support page
Sign Up