• Sign in
  • Sign up
conf.researchr.org / Andrew Kennedy
  • CC 2021 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2024 profile
  • PLDI 2015 profile
  • POPL 2022 profile
  • SPLASH 2023 profile

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

  • Session Chair of Wednesday keynote (part of ICFP Papers and Events)
  • PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

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

  • Author of Introduction within the OCaml 2018-track
  • Program Chair in Program Committee within the OCaml 2018-track
  • Session Chair of Session 6 (part of OCaml 2018)
  • Session Chair of Session 1 (part of OCaml 2018)

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
Share
xThu 17 Jul 04:42
using conf.researchr.org (v1.69.1)
Support page
Sign Up