Reynald Affeldt -

Registered user since Sat 19 Nov 2016

Name:Reynald Affeldt

Affiliation:National Institute of Advanced Industrial Science and Technology (AIST), Japan

Personal website: https://staff.aist.go.jp/reynald.affeldt/

Contributions

2024

APLAS

Author of [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack within the SRC & Posters-track

2023

APLAS

Author of Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq within the APLAS 2023-track
Author of Environment-Friendly Monadic Equational Reasoning for OCaml within the APLAS NIER-track

TyDe

CPP

2021

CPP

Committee Member in Program Committee within the CPP 2021-track

CoqPL

Committee Member in Program Committee within the CoqPL-track

2018

CPP

Committee Member in Program Committee within the CPP 2018-track

2017

CPP