University of Oregon

10th Annual Oregon Programming Languages Summer School — June 16-July 1, 2011

Types, Semantics and Verification

name email domain institution
Adam Foltzer afoltzer indiana.edu Indiana University
Aloïs Brunel alois.brunel ens-lyon.org Universite de Paris 13
Amin Alipour malipour mtu.edu Oregon State University
Anders Mörtberg mortberg chalmers.se University of Gothenburg
André Oliveira Maroneze andre.oliveira_maroneze irisa.fr IRISA
Andrei Dorman andrei.dorman lipn.univ-paris13.fr Universite de Paris 13
Andrew Sackville-West ajs4 cs.pdx.edu Portland State University
Andrew Sutherland andrew.b.sutherland baesystems.com BAE Systems
Andri Saar andri cs.ioc.ee Tallinn University of Technology
Anne-Laure Poupon-Schneider poupon clipper.ens.fr Ecole Polytechnique
Antoine Madet antoine.madet pps.jussieu.fr University Paris Diderot
Brent Yorgey byorgey seas.upenn.edu University of Pennsylvania
Cai Wingfield cajw20 bath.ac.uk University of Bath
Carst Tankink carst cs.ru.nl Radboud Universiteit Nijmegen
Chris Casinghino ccasin cis.upenn.edu University of Pennsylvania
Christian Doczkal doczkal ps.uni-saarland.de Saarland University
Clément Aubert Clement.Aubert lipn.univ-paris13.fr Universite de Paris 13
Cole Schlesinger cschlesi cs.princeton.edu Princeton University
Cyrus Omar cyrus cmu.edu Carnegie Mellon University
Darius Jahandarie djahandarie gmail.com University of Connecticut
David Terei davidterei gmail.com Stanford University
Deian Stefan deian cs.stanford.edu Stanford University
Derek Bronish derekbronish gmail.com Ohio State University
Donggyu Kim vteori postech.ac.kr Pohang University of Science and Technology
Edward Morehouse emorehouse wesleyan.edu Wesleyan University
Emma Söderberg emma.soderberg cs.lth.se Lund University
Filip Sieczkowski fisi itu.dk IT-University of Copenhagen
Francisco Ferreira ferrerif iro.umontreal.ca Université de Montréal
Francisco Ortin ortin uniovi.es University of Oviedo
Gabriel Dos Reis gdr cs.tamu.edu Texas A&M University
Getty Ritter gdritter cs.uoregon.edu University of Oregon
Giulio Pellitta giuliopellitta yahoo.it University of Bologna
Greg Sullivan gregory.sullivan baesystems.com BAE Systems
Guilhem Moulin guilhem.moulin chalmers.se Chalmers Tekniska Högskola
Harley D. Eades III harley.eades gmail.com University of Iowa
Hongbo Zhang bobzhang1988 gmail.com Tsinghua University
Ian Zerny zerny cs.au.dk Aarhus University
Jael Kriener jek26 kent.ac.uk University of Kent
James Chapman james cs.ioc.ee Institute of Cybernetics, Tallinn
James T. Perconti jtpercon umail.iu.edu Indiana University
Jasson Casey jasson.casey neo.tamu.edu Texas A&M University
Jeongbong Seo baramseo postech.ac.kr Pohang University of Science and Technology
Jesper Bengtson jebe itu.dk IT-University of Copenhagen
Joey Capper jjc cs.nott.ac.uk University of Nottingham
Jonas Frey jonas743 gmail.com Universite de Paris 7
Jonathan Protzenko jonathan.protzenko inria.fr INRIA Paris Rocquencourt
Jorge A. Perez Parra jorge.perez di.fct.unl.pt Universidade Nova de Lisboa
Juan Diego Campo Barbé jdcampo fing.edu.uy Universidad de la República Montevideo
Julien Cretin julien.cretin polytechnique.org INRIA
Justin Hilburn jrhil47 gmail.com University of Oregon
Kenneth Roe kendroe hotmail.com Johns Hopkins University
Ki Yung Ahn kya cs.pdx.edu Portland State University
Kosuke Ono k.ono.gj gmail.com Universiy of Tokyo
Kristina Sojakova sojakova.kristina gmail.com Carnegie Mellon University
Larry Diehl larrytheliquid gmail.com Engine Yard
Luke Mauer maurerl cs.uoregon.edu University of Oregon
Marc Bagnol marc.bagnol ens.fr ENS Paris
Marco Patrignani marco.patrignani cs.kuleuven.be Katholieke Universiteit Leuven
Marek Materzok tilk tilk.eu University of Wrocław
Mário Pires mad.kraine gmail.com Universidade Nova de Lisboa
Martin Churchill m.d.churchill bath.ac.uk University of Bath
Matthias Puech puech cs.unibo.it University of Bologna
Matthieu Sozeau mattam mattam.org INRIA
Michael D. Adams adamsmd indiana.edu Indiana University
Michael Shulman mshulman ucsd.edu University of California, San Diego
Michael Sloan mgsloan gmail.com University of Washington
Michele Pagani michele.pagani lipn.univ-paris13.fr Universite de Paris 13
Miguel Domingues miguel.domingues fct.unl.pt Universidade Nova de Lisboa
Nathan Collins nathan.collins gmail.com Portland State University
Nuria Brede brede cs.uni-potsdam.de University of Potsdam
Ornela Dardha dardha cs.unibo.it University of Bologna
Paolo Tranquilli paolo.tranquilli ens-lyon.fr Laboratoire de l'Informatique du Parallélisme
Paul Downen pdownen cs.uoregon.edu University of Oregon
Peng Fu fermat1217 gmail.com University of Iowa
Peter LeFanu Lumsdaine p.l.lumsdaine gmail.com Dalhousie University
Peter Vincent Homeier palantir trustworthytools.com Trust Worthy Tools
Radu Muschevici Radu.Muschevici cs.kuleuven.be Katholieke Universiteit Leuven
Ramy Shahin r.shahin computer.org Microsoft
Siddharth Tiwary stiwary purdue.edu Purdue University
Silas Snider swsnider google.com Google Inc
Sneha Elizabeth Popley sneha.e.popley gmail.com University of Chicago
Steffen Loesch loeschsteffen googlemail.com University of Cambridge
Stéphane Zimmermann zimmerma pps.jussieu.fr Universite de Paris 7
Taus Brock-Nannestad tbro itu.dk IT-University of Copenhagen
Ted Kaminski tedinski cs.umn.edu University of Minnesota
Thomas Braibant thomas.braibant gmail.com Inria - Universite Joseph Fourier
Tiago Santos tiago.santos fct.unl.pt Universidade Nova de Lisboa
Tudor Alexandru Lascu lascu cs.unibo.it University of Bologna
Ugo Dal Lago dallago cs.unibo.it University of Bologna
Vilhelm Sjöberg vilhelm cis.upenn.edu University of Pennsylvania
Vitaly Bragilevsky vit.bragilevsky gmail.com Southern Federal University
William Bowman wilbowma indiana.edu Indiana University
Yoichi Hirai yh is.s.u-tokyo.ac.jp University of Tokyo
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy