Bas Spitters -

Registered user since Wed 18 Jan 2017

Name:Bas Spitters

Country:Denmark

Affiliation:Aarhus University

Personal website: http://www.cs.au.dk/~spitters/

Contributions

2025

CoqPL

Committee Member in Program Committee within the CoqPL 2025-track

2024

CoqPL

Author of Specifying Smart Contract with Hax and ConCert within the CoqPL 2024-track
Author of A formal security analysis of Blockchain voting within the CoqPL 2024-track
Author of CertiCoq-Wasm: Verified compilation from Coq to WebAssembly within the CoqPL 2024-track

CPP

PC Member in Program Committee within the CPP 2024-track

2022

POPL

Committee Member in Program Committee within the POPL-track

CoqPL

Author of A Verified Pipeline from a Specification Language to Optimized, Safe Rust within the CoqPL-track

CPP

Committee Member in Program Committee within the CPP 2022-track

2021

ML

Author of Code Extraction from Coq to ML-like languages within the ML 2021-track

2019

CoqPL

Author of WIP: Formalizing the Concordium Consensus Protocol in Coq within the CoqPL-track

2018

CPP

Committee Member in Program Committee within the CPP 2018-track

2017

CoqPL

Author of Synthetic topology in HoTT for probabilistic programming within the CoqPL 2017-track

CPP

Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track

TTT

Session Chair of First Afternoon Session (part of TTT)

LAFI

Author of Synthetic topology in homotopy type theory for probabilistic programming within the PPS-track