ICFP 2021
Sun 22 - Sat 28 August 2021
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (530)

Ahmed, Amal
Northeastern University, USAUnited States
Annenkov, Danil
Concordium Blockchain Research Center, Aarhus UniversityDenmark
Bhandari, Paaras
University of Maryland, College ParkUnited States
Blanc, Thomas
OCamlPro
Bocchi, Laura
University of KentUnited Kingdom
Boulytchev, Dmitri
Saint Petersburg State University / JetBrains ResearchRussia
Braam, Peter
University of OxfordUnited Kingdom
Brady, Edwin
University of St Andrews, UKUnited Kingdom
Brinkmann, André
Johannes Gutenberg U MainzGermany
Bunkenburg, Niels
University of Kiel, GermanyGermany
C
Caires, Luís
Universidade Nova de Lisboa and NOVA LINCSPortugal
Caldwell, Sam
Northeastern UniversityUnited States
Carroll, Niki
George Mason University
Chen, Liang-Ting
Institute of Information Science, Academia SinicaTaiwan
Chen, Yanjun
University of MichiganUnited States
Cimini, Matteo
University of Massachusetts at Lowell, USAUnited States
Claessen, Koen
Chalmers University of Technology, Sweden
Cohen, Liron
Ben-Gurion University of the NegevIsrael
Costea, Andreea
School of Computing, National University Of SingaporeSingapore
Danvy, Olivier
Yale-NUS College and School of Computing, SingaporeSingapore
Davis, Kei
Los Alamos National LaboratoryUnited States
de Barrio, Luis Eduardo Bueso
Universidad Politécnica de MadridSpain
Dimoulas, Christos
PLT @ Northwestern UniversityUnited States
Escardó, Martín
University of BirminghamUnited Kingdom
Feng, Xinyu
Nanjing UniversityChina
Ferris, Patrick
OCaml LabsUnited Kingdom
Foster, Jeffrey S.
Tufts UniversityUnited States
Fredlund, Lars-Åke
Universidad Politécnica de MadridSpain
Garnock-Jones, Tony
Northeastern University, USA
Garrigue, Jacques
Nagoya UniversityJapan
Gaster, Benedict R.
University of the West of England
Gesbert, Louis
OCamlPro
Giannarakis, Nick
University of Wisconsin-MadisonUnited States
Giarrusso, Paolo G.
Delft University of Technology
Gilray, Thomas
University of Alabama at BirminghamUnited States
Gissurarson, Matthías Páll
Chalmers University of Technology, SwedenSweden
Glassman, Elena
Harvard UniversityUnited States
Goldstein, Harrison
University of PennsylvaniaUnited States
Gonnord, Laure
University of Lyon & LIP, FranceFrance
Gordon, Andrew D.
Microsoft Research and University of EdinburghUnited Kingdom
Handa, Shivam
Massachusetts Institute of TechnologyUnited States
Harper, Robert
Carnegie Mellon University, USAUnited States
Heijltjes, Willem
University of Bath
Hernouf, Mohamed
OCamlPro
Herranz, Ángel
Universidad Politécnica de MadridSpain
Hou (Favonia), Kuen-Bang
University of Minnesota, Twin CitiesUnited States
Houshmand, Farzin
University of California at RiversideUnited States
Hur, Chung-Kil
Seoul National UniversitySouth Korea
Hutton, Graham
University of NottinghamUnited Kingdom
Jhala, Ranjit
University of California at San Diego
Jhala, Ranjit
University of California at San Diego; Amazon Web ServicesUnited States
Jo, Kazuhiro
Faculty of Design, Kyushu UniversityJapan
Jones, Timothy M.
University of Cambridge, UKUnited Kingdom
Jourdan, Jacques-Henri
Universersité Paris Saclay, CNRS, LRIFrance
Justo, David
MicrosoftUnited States
Kallas, Konstantinos
University of PennsylvaniaUnited States
Kavvos, Alex
University of BristolUnited Kingdom
Kidney, Oisín
Imperial College LondonUnited Kingdom
Knauth, Alex
Mutual Knowledge Systems, Inc.United States
Koppel, James
Massachusetts Institute of Technology, USA
Kosarev, Dmitrii
JetBrains Research, Saint Petersburg State UniversityRussia
Krauter, Nicolas
Johannes Gutenberg University MainzGermany
Krishnaswami, Neel
Computer Laboratory, University of Cambridge
Kulahcioglu Ozkan, Burcu
Delft University of TechnologyNetherlands
Kunkel, Rose
University of California, San Diego
Lazarek, Lukas
Northwestern University
Lehmann, Nico
University of California, San Diego
Leo, John
Halfaya ResearchUnited States
Leroy, Xavier
Collège de FranceFrance
Lesani, Mohsen
University of California at RiversideUnited States
Li, Di Long
The Australian National University
Li, Yao
University of PennsylvaniaUnited States
Licker, Nandor
University of Cambridge
Lindley, Sam
The University of Edinburgh, UKUnited Kingdom
Lubin, Justin
University of California, BerkeleyUnited States
Ludlam, Jonathan
University of Cambridge
Macgregor, Ruairidh
University of Glasgow
Magalhães, José Pedro
Standard Chartered BankUnited Kingdom
Mariño, Julio
Universidad Politécnica de MadridSpain
Martens, Chris
North Carolina State UniversityUnited States
McDermott, Dylan
Reykjavik UniversityIceland
Melo de Sousa, Simão
NOVA LINCS & Universidade da Beira Interior, Portugal
Micinski, Kristopher
Syracuse UniversityUnited States
Might, Matthew
University of Alabama at Birmingham | Harvard Medical SchoolUnited States
Milo, Mikkel
Concordium Blockchain Research Center, Aarhus University
Mista, Agustín
Chalmers University of TechnologySweden
Muller, Stefan K.
Illinois Institute of TechnologyUnited States
Mével, Glen
Inria; University of Paris-Saclay; CNRS; ENS Paris-Saclay; LMFFrance
Nakata, Keiko
SAP Innovation Center PotsdamGermany
Neto, Adolfo
Federal University of Technology - ParanáBrazil
Nguyen, Minh
University of BristolUnited Kingdom
Nose, Junya
Tokyo Institute of Technology
Obermeyer, Fritz
Broad Institute of MIT and Harvard
Ordabayev, Yerdos
Brandeis University
P
Padhiyar, Sumit
Indian Institue Of Technology, MadrasIndia
Pascutto, Clément
Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMFFrance
Perry, Phoenix
Peyton Jones, Simon
Microsoft, UK
Pickard, Mitchell
University of NottinghamUnited Kingdom
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Pinto, Carlos
NOVA LINCS & Universidade da Beira Interior, Portugal
Pobel, Marin
Université de BordeauxFrance
Pretnar, Matija
University of Ljubljana, SloveniaSlovenia
Prott, Kai-Oliver
University of Kiel, GermanyGermany
Punchihewa, Hashan
Imperial College London
Pîrlea, George
National University of Singapore, SingaporeSingapore
Q
Qi, Xuanrui
Nagoya UniversityJapan
Qian, Zesen
Aarhus UniversityDenmark
R
Raaf, Patrick
Johannes Gutenberg University MainzGermany
Radešček, Janez
University of Ljubljana
Ravara, Antonio
Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal
Rideau, François-René
Mutual Knowledge Systems, Inc.United States
Rikitake, Kenji
Kenji Rikitake Professional Engineer's Office
Rinard, Martin C.
Massachusetts Institute of TechnologyUnited States
Ringer, Talia
University of Illinois at Urbana-ChampaignUnited States
Rocha, Pedro
Nova University of LisbonPortugal
Rompf, Tiark
Purdue UniversityUnited States
Russo, Alejandro
Chalmers University of Technology, SwedenArgentina
Salkordeh, Reza
Johannes Gutenberg-Universität MainzGermany
Sandre, Lucas
University of Toronto Mississauga
Santolucito, Mark
Barnard College, Columbia University, USAUnited States
Silverman, Davis
Syracuse University, USAUnited States
Siskind, Jeffrey Mark
Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States
Skjegstad, Magnus
Tarides and OCaml LabsNorway
Solar-Lezama, Armando
Massachusetts Institute of Technology
Sparrell, Duncan
sFractal ConsultingUnited States
Stefan, Deian
University of California at San Diego, USA
Sterling, Jonathan
Carnegie Mellon University
Strassburger, Lutz
Inria Saclay & LIX, Ecole Polytechnique
Stucki, Sandro
Chalmers | University of GothenburgSweden
Sun, Yihao
Syracuse UniversityUnited States
Swierstra, Wouter
Utrecht University, NetherlandsNetherlands
Tavares, Zenna
Massachusetts Institute of Technology
Teegen, Finn
University of Kiel, GermanyGermany
Trinder, Phil
University of Glasgow
Tóth, Melinda
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary
Uustalu, Tarmo
Reykjavik UniversityIceland
V
Vadukkumchery Rajendrakumar, Nithin
TU KaiserslauternGermany
Valliappan, Nachiappan
Chalmers University of Technology, Sweden
Vasilakis, Nikos
Massachusetts Institute of TechnologyUnited States
von Brömssen, Erik
Chalmers University of Technology
Vora, Keval
Simon Fraser UniversityCanada
Watanabe, Yasunari
Yale-NUS College; National University of SingaporeSingapore
X
Xia, Li-yao
University of PennsylvaniaUnited States
Yang, Zhixuan
Imperial College LondonUnited Kingdom
Z
Zaichuk, Ilya
Taras Shevchenko National University of KyivUkraine
Zaidi, Malaika
University of Toronto MississaugaCanada
Zhang, Tesla
The Pennsylvania State University