.mailmap

   1 Andrew Reynolds <andrew.j.reynolds@gmail.com> <andrew.j.reynolds@gmail.com>
   2 Andrew Reynolds <andrew.j.reynolds@gmail.com> <ajreynol@r-lnx214.cs.uiowa.edu>
   3 Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@larapc05.epfl.ch>
   4 Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@laraserver2.epfl.ch>
   5 Cesare Tinelli <cesare-tinelli@uiowa.edu> <cesare-tinelli@uiowa.edu>
   6 Christopher L. Conway <christopherleeconway@gmail.com> <christopherleeconway@gmail.com>
   7 Clark Barrett <barrett@cs.nyu.edu> <barrett@cs.nyu.edu>
   8 Clark Barrett <barrett@cs.nyu.edu> <clarkbarrett@google.com>
   9 Dejan Jovanovic <dejan@cs.nyu.edu> <dejan.jovanovic@gmail.com>
  10 Dejan Jovanovic <dejan@cs.nyu.edu> <dejan@cs.nyu.edu>
  11 Dejan Jovanovic <dejan@cs.nyu.edu> <dejan@csl.sri.com>
  12 Francois Bobot <francois@bobot.eu> <francois@bobot.eu>
  13 Guy Katz <katz911@gmail.com> <katz911@gmail.com>
  14 Kshitij Bansal <kshitij@cs.nyu.edu> <kshitij@cs.nyu.edu>
  15 Liana Hadarean <lianah@cs.nyu.edu> <lianah@cs.nyu.edu>
  16 Liana Hadarean <lianah@cs.nyu.edu> <lianahady@gmail.com>
  17 Martin Brain <martin.brain@cs.ox.ac.uk> <>
  18 Martin Brain <martin.brain@cs.ox.ac.uk> <martin.brain@cs.ox.ac.uk>
  19 Morgan Deters <mdeters@cs.nyu.edu> <mdeters@cs.nyu.edu>
  20 Morgan Deters <mdeters@cs.nyu.edu> <mdeters@gmail.com>
  21 Morgan Deters <mdeters@cs.nyu.edu> <mdeters@morgandeters.com>
  22 Tianyi Liang <tianyi-liang@uiowa.edu> <tianyi-liang@uiowa.edu>
  23 Tim King <taking@google.com> <taking@cs.nyu.edu>
  24 Tim King <taking@google.com> <taking@google.com>
  25 Tim King <taking@google.com> <tim.king@imag.fr>