Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (545)

A
Abel, Andreas
University of Gothenburg, Sweden
Abeysiriwardane, Samodya
Purdue University
Aguirre, Alejandro
IMDEA Software Institute, Spain
Ahman, Danel
University of EdinburghEstonia
Allsopp, David
University of CambridgeUnited Kingdom
Archambault-Bouffard, Vincent
Université de Montréal
Avanzini, Martin
University of Innsbruck, Austria
Avigad, Jeremy
Carnegie Mellon University, USA
Azevedo de Amorim, Pedro Henrique
Ecole Polytechnique, n.n. / University of Campinas, Brazil
B
Bahr, Patrick
IT University of CopenhagenDenmark
Balabonski, Thibaut
LRI, France / University of Paris-Sud, France
Balzer, Stephanie
Carnegie Mellon University, USA
Barenbaum, Pablo
University of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France
Barthe, Gilles
IMDEA Software Institute, Spain
Biernacki, Dariusz
University of Wrocław
Bonelli, Eduardo
CONICET, Argentina / Universidad Nacional de Quilmes, Argentina
Bove, Ana
Chalmers University of Technology, Sweden
Bowman, William J.
Northeastern UniversityUnited States
Bozó, István
Eötvös Loránd University
BREITMAN, Arthur
Dynamic Ledger Solutions
Castagna, Giuseppe
CNRS, France / University of Paris Diderot, FranceItaly
Chechina, Natalia
University of GlasgowUnited Kingdom
Cheney, James
University of Edinburgh, UKUnited States
Christiansen, David Thrane
Indiana UniversityUnited States
Chuang, Tyng-Ruey
Institute of Information Science, Academia Sinica
Clarke, Dave
Uppsala Univ. Sweden and KU Leuvern
Cong, Youyou
Ochanomizu UniversityJapan
Cosman, Benjamin
University of California at San Diego, USA
Dal Lago, Ugo
University of Bologna, Italy / Inria, FranceItaly
Darais, David
University of Maryland, USAUnited States
Davis, Kei
Los Alamos National LaboratoryUnited States
Davis, Milo
Northeastern University, USA
Delaunay, Pierre
Université de Montréal
Delignat-Lavaud, Antoine
Microsoft Research, n.n.
Di Cosmo, Roberto
Inria, France / University of Paris Diderot, FranceFrance
Dudenhefner, Andrej
Technical University Dortmund
E
Ebner, Gabriel
Vienna University of Technology, AustriaAustria
Ekblad, Anton
Chalmers University of TechnologySweden
F
Farvardin, Kavon
University of ChicagoUnited States
Fernandez-Reyes, Kiko
Uppsala UniversitySweden
Filliatre, Jean-Christophe
CNRS, Paris, France
Fiore, Marcelo
Computer Laboratory, University of Cambridge
Forster, Yannick
Saarland University, Germany / University of Cambridge, UKGermany
Gale, Michael
University of Warwick, UKUnited Kingdom
Gleckler, Arthur
SRFI EditorUnited States
Graf, Sebastian
Karlsruhe Institute of Technology
Guillaume, Bury
INRIA / LSV / CNRS
H
Haeberlen, Andreas
University of Pennsylvania, USA
Hallgren, Thomas
Chalmers University of TechnologySweden
Harrison, Joseph
University of KentUnited Kingdom
Henriksen, Troels
DIKU, University of CopenhagenDenmark
Hicks, Michael
University of Maryland, College ParkUnited States
Hillerström, Daniel
The University of EdinburghUnited Kingdom
Hoffmann, Jan
Carnegie Mellon UniversityUnited States
Hu, Zhenjiang
National Institute of InformaticsJapan
Igarashi, Yuu
Kyoto University, Japan
J
Jagannathan, Suresh
Purdue University
Jansson, Patrik
Chalmers University of TechnologySweden
Kaki, Gowtham
Purdue University
Kameyama, Yukiyoshi
University of Tsukuba, JapanJapan
Kennedy, Andrew
Facebook London
Krishnamurthi, Shriram
Brown University, USA
Lai, Ting-Yan
Institute of Information Science, Academia Sinica
Larsen, Rasmus Wriedt
DIKU, University of CopenhagenDenmark
Launchbury, John
Galois, Inc.
Liang, Zhanpeng
University of Southern California
Lozov, Petr
Sain Petersburg State University, SPbGU
Lukács, Dániel
Eötvös Loránd University
Lyubomirsky, Steven
University of Washington, USAUnited States
Maillard, Kenji
Inria Paris, ENS Paris, and Microsoft Research
Martens, Chris
North Carolina State UniversityUnited States
McKinna, James
University of Edinburgh
Meehan, William
Northeastern University, USA
Melgratti, Hernan
University of Buenos Aires, Argentina
Miller, Dale
INRIA Saclay and LIXFrance
Miraldo, Victor Cacciari
University of Utrecht
Monnier, Stefan
Université de Montréal
Mudalige, Gihan
University of Warwick, UKUnited Kingdom
Muroya, Koko
University of Birmingham, UK
Nigam, Vivek
Federal University of Paraiba / fortissGermany
O
O'Connor, Liam
University of New South WalesAustralia
Oliveira, Bruno C. d. S.
University of Hong Kong, ChinaHong Kong
P
Padovani, Luca
University of Turin, ItalyItaly
Paraskevopoulou, Zoe
Princeton University, USAUnited States
Pereira, Mário
LRI - Université Paris-Sud
Perera, Roly
University of Edinburgh, UK / University of Glasgow, UKUnited Kingdom
Pfenning, Frank
Carnegie Mellon University, USA
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Piróg, Maciej
University of WrocławPoland
Pitts, Andrew M.
University of Cambridge
Pombrio, Justin
Brown University, USAUnited States
Protzenko, Jonathan
Microsoft Research, n.n.United States
Puente, Juan Pedro Bolívar
Independent Consultant, Sinusoidal EngineeringGermany
Q
Queinnec, Christian
Université Pierre et Marie Curie, FranceFrance
R
Raad, Azalea
Max Planck Institute for Software Systems (MPI-SWS)Germany
Radanne, Gabriel
Université Denis Diderot Paris 7, PPSFrance
Rehof, Jakob
Technical University Dortmund
Ricciotti, Wilmer
University of Edinburgh, UKItaly
Ridge, Tom
University of Leicester, UK
Roesch, Jared
University of Washington, USAUnited States
Roth, Aaron
University of Pennsylvania, USA
Sekiyama, Taro
IBM Research, Japan
Spivey, Mike
University of Oxford, UKUnited Kingdom
St-Amour, Vincent
Northwestern University, USAUnited States
Stokke, Bodil
Church of EmacsUnited Kingdom
Strub, Pierre-Yves
École Polytechnique, n.n.France
Sumner, Martin
T
Tan, Yong Kiam
Carnegie Mellon University, USA
Tatlock, Zachary
University of Washington, SeattleUnited States
Torlak, Emina
University of Washington, USAUnited States
Truchet, Charlotte
LINA, UMR 6241, Université de Nantes
Uustalu, Tarmo
Tallinn University of Technology, Estonia
Van Horn, David
University of Maryland, USA
Vasconcelos, Vasco T.
University of Lisbon, Portugal
Voizard, Antoine
University of Pennsylvania, USA
Vouillon, Jérôme
Univ Paris Diderot, Sorbonne Paris Cité, BeSport
Wand, Mitchell
Northeastern University, USA
Wang, Peng
Massachusetts Institute of Technology, USA
Weirich, Stephanie
University of Pennsylvania, USAUnited States
Weitz, Konstantin
University of Washington, USAUnited States
Wingo, Andy
Igalia, S.L.
Winograd-Cort, Daniel
University of Pennsylvania, USA
Zanella-Béguelin, Santiago
Microsoft Research, n.n.
Zdancewic, Steve
University of PennsylvaniaUnited States
Zeilberger, Noam
University of Birmingham, UK
Zhang, Zhen
University of Washington
Zimmerman, Alan
South Africa