Bas Spitters - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Wed 18 Jan 2017

Name:Bas Spitters

Country:Denmark

Affiliation:Aarhus University

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

Contributions

2022

POPL

Committee Member in Program Committee within the POPL-track

CoqPL

A Verified Pipeline from a Specification Language to Optimized, Safe Rust

CPP

Committee Member in Program Committee within the CPP 2022-track

Show activities from other conferences

POPL 2022-profile
View general profile