University of Oregon

Oregon Programming Languages Summer School — June 15-25, 2010

Logic, Languages, Compilation, and Verification

name email domain institution
Michael Adams adamsmd cs.indiana.edu Indiana University
Philip Atzemoglou philip.atzemoglou comlab.ox.ac.uk Oxford University
Justin Bailey justinb cs.pdx.edu Portland State University
Pierre Boutillier pierre.boutillier ens-lyon.fr INRIA
William Byrd webyrd umail.iu.edu Indiana University
Michael Carbin mcarbin mit.edu Massachusetts Institute of Technology
João Paulo Carvalho joao_paulo_c yahoo.com Universidade de Brasília
Andrew Cave ajcave ualberta.ca University of Alberta
Tim Chevalier catamorphism gmail.com Portland State University
Andrey Chudnov achudnov stevens.edu Stevens Institute of Technology
Cyril Cohen cohen crans.org INRIA
Nathan Collins nathan.collins gmail.com University of Wisconsin-Madison
Juan Manuel Crespo juanmanuel.crespo imdea.org IMDEA Software
Loris D'Antoni lorisdanto yahoo.it University of Pennsylvania
Delphine Demange delphine.demange irisa.fr IRISA - Campus Universitaire de Beaulieu
Paul Downen pdownen gmail.com University of Oregon
Christopher Dutchyn dutchyn cs.usask.ca University of Saskatchewan
Fabienne Eigner eigner cs.uni-saarland.de Saarland University
Adrian Francalanza adrian.francalanza um.edu.mt University of Malta
Marco Gaboardi gaboardi di.unito.it University of Bologna
Ronald Garcia rxg cs.cmu.edu Carnegie Mellon University
Stéphane Glondu Stephane.Glondu inria.fr INRIA
Justin Hilburn jrhil47 mail.utexas.edu University of Oregon
CayLee Hogg wchogg gmail.com Portland State University
Thomas Hutchinson thomas.hutchinson sophia.inria.fr INRIA
Joonhyung Hwang envia pllab.kaist.ac.kr KAIST
Hyeonseung Im genilhs postech.ac.kr Pohang University of Science and Technology
Jean-Baptiste Jeannin jeannin cs.cornell.edu Cornell University
Jonas Jensen jobr itu.dk IT University of Copenhagen
Yungbum Jung dreameye ropas.snu.ac.kr Seoul National University
Ted Kaminski tedinski cs.umn.edu University of Minnesota
Chantal Keller keller lix.polytechnique.fr INRIA
Anne Kersten anne.kersten imtlucca.it IMT Institute for Advanced Studies
Scott Kilpatrick skilpat gmail.com University of Texas at Austin
Deokhwan Kim dkim csail.mit.edu Massachusetts Institute of Technology
Jieung Kim gbali kaist.ac.kr KAIST
Zachary Kincaid zkincaid cs.toronto.edu University of Toronto
Sunil Kothari skothari uwyo.edu University of Wyoming, Laramie
John Lasseter jlasseter fairfield.edu Fairfield University
Jemmy Lin jemmylin ieee.org
Luísa Lourenço kikentai gmail.com Faculdade de Ciencias e Technologia, Universidade Nova de Lisboa
William Lovas wlovas cs.cmu.edu Carnegie Mellon University
José Pedro Magalhães jpm cs.uu.nl Utrecht University
Nilesh Mahajan nnmahaja umail.iu.edu Indiana University, Bloomington
Alireza Rezaei Mahdiraji alireza.rezaei stud-inf.unibz.it Free University of Bolzano
Gregory Malecha gmalecha eecs.harvard.edu Harvard University
Chris Martens cmartens andrew.cmu.edu Carnegie Mellon University
Iain McGinniss iainmcg dcs.gla.ac.uk University of Glasgow
Hannes Mehnert hannes mehnert.org IT University of Copenhagen
Jan Midtgaard jmi cs.au.dk Aarhus University
Matt Might might cs.utah.edu University of Utah
Dimiter Milushev Dimiter.Milushev cs.kuleuven.be Katholieke Universiteit Leuven
Wong Ming Sze Angela angelaawong1 hotmail.com Tsinghua University
Sasa Misailovic misailo csail.mit.edu Massachusetts Institute of Technology
Jamie Morgenstern jamiemmt uchicago.edu Carnegie Mellon University
Ed Morehouse emorehouse wesleyan.edu Wesleyan University
Muhammad Zeeshan Munir muhammadzeeshan.munir stud-inf.unibz.it Free University of Bolzano/Bozen
Georg Neis neis mpi-sws.org Max Planck Institute for Software Systems
Hakjoo Oh pronto ropas.snu.ac.kr Seoul National University
Jonghyun Park parjong gmail.com Pohang University of Science and Technology
Sungwoo Park gla postech.ac.kr Pohang University of Science and Technology
Alexandre Pilkiewicz alexandre.pilkiewicz polytechnique.org INRIA Rocquencourt
Michal Pise pisemich fel.cvut.cz Czech Technical University
Matthias Puech puech cs.unibo.it INRIA
Palle Raabjerg palle.raabjerg it.uu.se Uppsala University
Willard Rafnsson willard.thor chalmers.se Chalmers University of Technology
Mark Reitblatt Mark Reitblatt.com Cornell University
Fritz Ruehr fruehr willamette.edu Willamette University
Alejandro Sanchez alesanz gmail.com IMDEA Software
José Santos j3fsantos gmail.com Instituto de Telecomunicaçðes
Alexis Saurin alexis.saurin normalesup.org INRIA
Ilya Sergey ilya.sergey cs.kuleuven.be Katholieke Universiteit Leuven
Meera Sridhar meera.sridhar student.utdallas.edu University of Texas at Dallas
John Thywissen jthywiss cs.utexas.edu University of Texas at Austin
Bernardo Toninho btoninho gmail.com Faculdade de Ciencias e Technologia, Universidade Nova de Lisboa
Muralidaran Vijayaraghavan vmurali csail.mit.edu Massachusetts Institute of Technology
Michael Vitousek mvitouse willamette.edu Willamette University
Chaoqing Wang wangchq08 gmail.com Tsinghua University
Yin Wang yw21 cs.indiana.edu Indiana University Bloomington
Joe Wegehaupt jcwegeha cs.rutgers.edu Rutgers University
Jesse Williamson jfwsou gmail.com Southern Oregon University
Guo Yi arafatgy gmail.com Tsinghua University
Bin Zeng zeb209 lehigh.edu Lehigh University
Aileen (Qi) Zhang qzh cis.upenn.edu University of Pennsylvania
Luis Francisco (Beta) Ziliani beta mpi-sws.org Max Planck Institute for Software Systems
Joe Zimmerman joe.zimmerman.10 gmail.com Harvard University
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy