.mailmap

   1 Morgan Deters <mdeters@cs.nyu.edu> <mdeters@cs.nyu.edu>
   2 Morgan Deters <mdeters@cs.nyu.edu> <mdeters@gmail.com>
   3 Dejan Jovanovic <dejan@cs.nyu.edu> <dejan@cs.nyu.edu>
   4 Dejan Jovanovic <dejan@cs.nyu.edu> <dejan.jovanovic@gmail.com>
   5 Francois Bobot <francois@bobot.eu> <francois@bobot.eu>
   6 Liana Hadarean <lianah@cs.nyu.edu> <lianahady@gmail.com>
   7 Andrew Reynolds <andrew.j.reynolds@gmail.com> <andrew.j.reynolds@gmail.com>
   8 Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@laraserver2.epfl.ch>
   9 Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@larapc05.epfl.ch>
  10 Cesare Tinelli <cesare-tinelli@uiowa.edu> <cesare-tinelli@uiowa.edu>
  11 Christopher L. Conway <christopherleeconway@gmail.com> <christopherleeconway@gmail.com>
  12 Clark Barrett <barrett@cs.nyu.edu> <barrett@cs.nyu.edu>
  13 Kshitij Bansal <kshitij@cs.nyu.edu> <kshitij@cs.nyu.edu>
  14 Tianyi Liang <tianyi-liang@uiowa.edu> <tianyi-liang@uiowa.edu>
  15 Tim King <taking@cs.nyu.edu> <taking@cs.nyu.edu>