authors.txt

acl2 = Matthew J Kaufmann <kaufmann@cs.utexas.edu>
anna.slobodova@gmail.com = Anna Slobodova <anna.slobodova@gmail.com>
benselfridge = Ben Selfridge <ben.selfridge@gmail.com>
ckc8687@gmail.com = Cuong Kim Chau <ckc8687@gmail.com>
daron.vroon = Daron Vroon <daron@cc.gatech.edu>
disha@pdx.edu = disha <disha@pdx.edu>
ewsmith = Eric W Smith <ewsmith@gmail.com>
ewsmith@gmail.com = Eric W Smith <ewsmith@gmail.com>
hanbing.liu = Hanbing Liu <hanbing.liu@gmail.com>
hanbing.liu@gmail.com = Hanbing Liu <hanbing.liu@gmail.com>
harshrc = Harsh Raju Chamarthi <harshrc@gmail.com>
harshrc@gmail.com = Harsh Raju Chamarthi <harshrc@gmail.com>
hunt@cs.utexas.edu = Warren A Hunt, Jr. <hunt@cs.utexas.edu>
jared = Jared C Davis <jared.c.davis@gmail.com>
jared.c.davis = Jared C Davis <jared.c.davis@gmail.com>
jared.c.davis@gmail.com = Jared C Davis <jared.c.davis@gmail.com>
kaufmann@cs.utexas.edu = Matthew J Kaufmann <kaufmann@cs.utexas.edu>
matthew.j.kaufmann@gmail.com = Matthew J Kaufmann <kaufmann@cs.utexas.edu>
matthew.j.kaufmann = Matthew J Kaufmann <kaufmann@cs.utexas.edu>
nathan.wetzler@gmail.com = Nathan Wetzler <nathan.wetzler@gmail.com>
peterd@peterd.org = Peter Dillinger <peterd@peterd.org>
pmanolios@gmail.com = Pete Manolios <pmanolios@gmail.com>
ragerdl = David L Rager <ragerdl@gmail.com>
ragerdl@gmail.com = David L Rager <ragerdl@gmail.com>
robertstephenboyer = Robert Stephen Boyer <boyer@cs.utexas.edu>
ruben.uwyo@gmail.com = Ruben Gamboa <ruben.uwyo@gmail.com>
sawada@pobox.com = Jun Sawada <sawada@pobox.com>
seweissman@gmail.com = Sarah Weissman <seweissman@gmail.com>
shigoel = Shilpi Goel <shigoel@gmail.com>
sjcjoosten = Sebastiaan Joosten <sjcjoosten@gmail.com>
sswords = Sol Swords <sswords@gmail.com>
sswords@gmail.com = Sol Swords <sswords@gmail.com>
TheBeaNerd = The Bea Nerd <thebeanerd@gmail.com>
TheBeaNerd@gmail.com = The Bea Nerd <thebeanerd@gmail.com>
(no author) = No Author <noauthor@invalidemailaddress.com>