Andrew Kennedy -

Registered user since Fri 16 Mar 2018

Name:Andrew Kennedy

Country:United Kingdom

Affiliation:Facebook London

Research interests:Programming languages, compilers, type systems, formal verification

Contributions

2024

ICFP

2023

PPDP

Author of 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? within the PPDP 2023-track

2022

POPL

Committee Member in Program Committee within the POPL-track

2021

CC

Committee Member in Program Committee within the CC Research Papers-track

2019

ICFP

Committee Member in Program Committee within the Research Papers-track

2018

ICFP

OCaml Workshop Chair in Organizing Committee

ML

Committee Member in Program Committee within the ML 2018-track

OCaml

2017

TyDe

Invited Speaker of Driving types into PHP within the TyDe 2017-track

2015

PLDI

Committee Member in External Review Committee within the Research Papers-track