Write a Blog >>

Registered user since Mon 11 Nov 2019

Name: Timothy Bourke

Affiliation: Inria / École normale supérieure

Contributions

POPL 2020 Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
Show activities from other conferences

POPL 2020-profile
View general profile