| Name |
email |
domain |
School |
| Joonseon Ahn |
jsahn |
kau.ac.kr |
Korea Aerospace University |
| John Altidor |
jaltidor |
cs.iastate.edu |
University of Massachusetts Amherst |
| David An |
davidan |
cs.umd.edu |
University of Maryland, College Park |
| Jim Apple |
summer.school |
jbapple.com |
University of California Davis |
| Brian Aydemir |
baydemir |
cis.upenn.edu |
University of Pennsylvania |
| Christian Bell |
cbell |
CS.Princeton.EDU |
Princeton University |
| Jason Belt |
belt |
ksu.edu |
Kansas State University |
| Mirco Bianco |
Mirco.Bianco |
stud-inf.unibz.it |
Free University of Bolzano/Bozen |
| Alexandre Buisse |
buisse |
cs.chalmers.se |
IT University of Copenhagen |
| Chris Casinghino |
ccasin |
seas.upenn.edu |
University of Pennsylvania |
| Byeong-Mo Chang |
chang |
sookmyung.ac.kr |
Sookmyung Women's University |
| Arthur Charguéraud |
arthur.chargueraud |
ens-lyon.fr |
INRIA |
| Luca Chiarabini |
chiarabi |
math.lmu.de |
LMU Muenchen |
| Ravi Chugh |
rchugh |
cs.ucsd.edu |
University of California, San Diego |
| Michael Clarkson |
clarkson |
cs.cornell.edu |
Cornell University |
| Olivier Danvy |
danvy |
daimi.au.dk |
University of Aarhus |
| Diego Caminha B. de Oliveira |
diegocaminha |
yahoo.com.br |
INRIA |
| Ben Delaware |
bendy |
cs.utexas.edu |
University of Texas at Austin |
| Robert Dockins |
rdockins |
Princeton.edu |
Princeton University |
| Johannes Eriksson |
joheriks |
abo.fi |
Åbo Akademi University |
| Nataliya Guts |
nataliya.guts |
inria.fr |
INRIA |
| Jonathan Hsieh |
jmhsieh |
cs.washington.edu |
University of Washington |
| Jun Inoue |
jun.lambda |
gmail.com |
Rice University |
| Lingxiao Jiang |
jiangl |
cs.ucdavis.edu |
University of California at Davis |
| Kenn Knowles |
kknowles |
cs.ucsc.edu |
University of California, Santa Cruz |
| Sunil Kothari |
skothari |
uwyo.edu |
University of Wyoming |
| John Lasseter |
jflasset |
willamette.edu |
Willamette University |
| Anh Le |
anhlevn |
cims.nyu.edu |
New York University |
| Gurvan Le Guernic |
gleguern |
gmail.com |
INRIA |
| Daniel Licata |
drl |
cs.cmu.edu |
Carnegie Melon University |
| Jemmy Lin |
jemmylin |
ieee.org |
|
| Nuno Lopez |
nuno.lopes |
ist.utl.pt |
Instituto Superior Técnico, Lisbon |
| William Lovas |
wlovas |
cs.cmu.edu |
Carnegie Melon University |
| Chris Martens |
cmartens |
andrew.cmu.edu |
Carnegie Melon University |
| Matthew Meola |
mlmeola |
gmail.com |
Princeton University |
| Benoit Montagu |
Benoit.Montagu |
inria.fr |
INRIA |
| Kristi Morton |
kristi.morton |
gmail.com |
University of Washington |
| Anne Mulhern |
mulhern |
cs.wisc.edu |
University of Wisconsin-Madison |
| Claudia Necco |
ayesha |
unsl.edu.ar |
University of Minho |
| Johan Östlund |
jostlund |
cs.purdue.edu |
Purdue University |
| Ruzica Piskac |
ruzica.piskac |
epfl.ch |
Swiss Federal Institute of Technology |
| Elnatan Reisner |
elnatan |
cs.umd.edu |
University of Maryland, College Park |
| Jorge Sacchini |
Jorge-Luis.Sacchini |
sophia.inria.fr |
INRIA |
| Caitlin Sadowski |
supertriceratops |
gmail.com |
University of California, Santa Cruz |
| Cherif Salama |
cherif |
rice.edu |
Rice University |
| Max Schaefer |
max.schaefer |
comlab.ox.ac.uk |
Oxford University |
| Olin Shivers |
shivers |
ccs.neu.edu |
Northeastern University |
| Vincent Siles |
vsiles |
lix.polytechnique.fr |
l'Ecole Polytechnique |
| Hampton Smith |
hamptos |
clemson.edu |
Clemson University |
| Saurabh Srivastava |
saurabhs |
cs.umd.edu |
University of Maryland, College Park |
| Kasper Svendsen |
kaspersv |
gmail.com |
Technical University of Denmark |
| Zachary Tatlock |
ztatlock |
cs.ucsd.edu |
University of California, San Diego |
| Aaron Turon |
turon |
ccs.neu.edu |
Northeastern University |
| David Van Horn |
dvanhorn |
brandeis.edu |
Brandeis University |
| Sander Vermolen |
S.D.Vermolen |
tudelft.nl |
Delft University of Technology |
| Michael Vitousek |
|
mvitouse |
willamette.edu |
Willamette University |
| Ryan Wisnesky |
ryan |
eecs.harvard.edu |
Harvard University |
| Jaeheon Yi |
jaeheon |
soe.ucsc.edu |
University of California, Santa Cruz |
| Santiago Zanella |
Santiago.Zanella |
sophia.inria.fr |
INRIA Sophia-Antipolis |
| Jianzhou Zhao |
jianzhou |
seas.upenn.edu |
University of Pennsylvania |