Wen Kokke

Registered user since Sat 29 Apr 2017

Name: Wen Kokke

Country: United Kingdom

Affiliation: University of Edinburgh

Personal website: https://wenkokke.github.io/

Research interests: Programming Languages, Substructural Types, Dependent Types, Natural Language Processing, Machine Learning

Contributions

LIVE 2020PC Member in Programme Committee within the LIVE 2020-track
APLAS 2020Author of Neural Networks, Secure by Construction: An Exploration of Refinement Types within the Research Papers-track
SPLASH 2020Author of Featherweight Go within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Author of Featherweight Go within the OOPSLA Artifacts-track
ICFP 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
BEHAPI 2019Author of Formalising session-typed languages without worries within the BEHAPI-track
POPL 2019Author of Better Late Than Never: A Fully Abstract Semantics for Classical Processes within the Research Papers-track
ICFP 2019Committee Member in Poster and Presentation Judges within the Student Research Competition-track
Committee Member in Program Committee within the Student Research Competition-track
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICFP 2017Committee Member in Artifact Evaluation Committee within the Research Artifacts-track