author-transform.txt

aa2019 = Alasdair Armstrong <alasdair.armstrong@gmail.com>
acjf3 = Anthony Fox <anthony.fox@cantab.net>
as2418 = Ali Sezgin <Ali.Sezgin@cl.cam.ac.uk>
catzilla = Kayvan Memarian <kayvan.memarian@cl.cam.ac.uk>
cp526 = Christopher Pulte <cp526@cam.ac.uk>
dpm35 = Dominic Mulligan <dominic.p.mulligan@gmail.com>
dpm36 = Dominic Mulligan <dominic.p.mulligan@gmail.com>
gk338 = Gabriel Kerneis <kerneis@google.com>
jf451 = Jon French <jf451@cam.ac.uk>
jpichon = Jean Pichon-Pharabod <jean.pichonp@gmail.com>
keg29 = Kathy Gray <kathryn.gray@cl.cam.ac.uk>
kn307 = Kyndylan Nienhuis <kn307@cam.ac.uk>
lr408 = Linden Ralph <lr408@cam.ac.uk>
maranget = Luc Maranget <luc.maranget@inria.fr>
mjb220 = Mark Batty <mark@c0223.aw.cl.cam.ac.uk>
ok259 = Ohad Kammar <ohad.kammar@cl.cam.ac.uk>
pankaj = Pankaj Pawan <pankajpawan5@gmail.com>
pes20 = Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
rb501 = Richard Bornat <R.Bornat@mdx.ac.uk>
rg436 = Rajat Goyal <rg436@cam.ac.uk>
rmn30 = Robert Norton-Wright <rmn30@cam.ac.uk>
selama = Sela Mador-Haim <selama@seas.upenn.edu>
sf502 = Shaked Flur <shaked.flur@cl.cam.ac.uk>
srk31 = Stephen Kell <srk31@srcf.ucam.org>
ss726 = Susmit Sarkar <susmit.s@gmail.com>
vb358 = Victor Gomes <vb358@cam.ac.uk>
zappa = Francesco Zappa Nardelli <francesco.zappa_nardelli@inria.fr>