ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (502)

A
Acar, Umut A.
Carnegie Mellon University
Arias, Jaime
CNRS, LIPN, Université Sorbonne Paris NordFrance
Arora, Jatin
Carnegie Mellon University
Arvind
Massachusetts Institute of Technology, USA
B
Bahr, Patrick
IT University of CopenhagenDenmark
Ballesteros, Ignacio
Universidad Politécnica de Madrid
Barthe, Gilles
MPI-SP, Germany / IMDEA Software Institute, Spain
Benac Earle, Clara
Universidad Politécnica de MadridSpain
Bernauer, Alexander
PricewaterhouseCoopers Switzerland
Blinn, Andrew
University of MichiganUnited States
Boey, Bernard
Yale-NUS CollegeSingapore
Borgna, Agustín
Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, FranceArgentina
Boujbel, Raja
OCamlProFrance
Brady, Edwin
University of St Andrews, UKUnited Kingdom
Bélanger, Marc-André
Université de MontréalCanada
Caldwell, Ben
University of ChicagoUnited States
Carbin, Michael
MIT CSAILUnited States
Carnier, Denis
Vrije Universiteit Brussel
Charatonik, Witold
University of Wrocław, Faculty of Mathematics and Computer Science
Chen, Hilbert
University of MichiganUnited States
Chen, Yanjun
University of MichiganUnited States
Cheney, James
University of Edinburgh; Alan Turing InstituteUnited Kingdom
Chin, Wei-Ngan
National University of Singapore
Chlipala, Adam
Massachusetts Institute of TechnologyUnited States
Chochinov, Sloan
University of Toronto Mississauga
Correnson, Arthur
École Normale Supérieure de Rennes & Saarland University
Curien, Pierre-Louis
Univ. Paris Diderot and INRIA Paris-RocquencourtFrance
Dagnino, Francesco
DIBRIS, University of Genova, ItalyItaly
de Barrio, Luis Eduardo Bueso
Universidad Politécnica de MadridSpain
de Vries, Edsko
Well-Typed LLPNetherlands
Ding, Yufei
University of California at Santa Barbara
Dorigatti, Enrico
University of PortsmouthItaly
Downen, Paul
University of Massachusetts LowellUnited States
Drab, Tomasz
University of Wrocław, Faculty of Mathematics and Computer SciencePoland
E
Eades III, Harley D.
Augusta UniversityUnited States
Emrich, Frank
University of Edinburgh, UK
Feeley, Marc
Université de MontréalCanada
Foster, Nate
Cornell UniversityUnited States
Gamari, Ben
Well-Typed LLPUnited States
Garrigue, Jacques
Nagoya UniversityJapan
Gilray, Thomas
University of Alabama at BirminghamUnited States
Gollamudi, Anitha
University of Massachusetts Lowell
González-Huesca, Lourdes del Carmen
National Autonomous University of MexicoMexico
Greenberg, Michael
Stevens Institute of TechnologyUnited States
Guerrieri, Giulio
Huawei Edinburgh Research CentreUnited Kingdom
Guo, Zheng
University of California, San Diego
Gäher, Lennard
MPI-SWS & Saarland UniversityGermany
Güdemann, Matthias
University of Applied Sciences MunichGermany
Hauswirth, Manfred
Fraunhofer Institute for Open Communication Systems, TU Berlin
Henz, Martin
National University of SingaporeSingapore
Herranz, Ángel
Universidad Politécnica de MadridSpain
Hoang, Tram
National University of Singapore
Hubers, Alex
The University of Iowa
Hughes, John
Chalmers University of Technology, SwedenSweden
Jaffer, Sadiq
Tarides and University of CambridgeUnited Kingdom
Jeandel, Emmanuel
LORIA, University of Lorraine
Kesner, Delia
Université de Paris; CNRS; IRIF; Institut Universitaire de FranceFrance
Kishida, Kohei
University of Illinois Urbana-Champaign
Kobayashi, Tomoaki
Tohoku UniversityJapan
Kovács, András
Eötvös Loránd University
L
Lampropoulos, Leonidas
University of Maryland, College ParkGreece
Levine, Hazel
Indiana UniversityUnited States
Li, Yao
Portland State UniversityUnited States
Läwen, David
University of Tübingen, Germany
Löscher, Andreas
Meta Platforms, Inc.United Kingdom
MacQueen, David
University of Chicago (Emeritus)
Madhavapeddy, Anil
University of Cambridge, UKUnited Kingdom
Malhotra, Daksh
University of Toronto Mississauga
Mariño, Julio
Universidad Politécnica de MadridSpain
Marr, Stefan
University of KentUnited Kingdom
Martínez, Guido
CIFASIS-CONICET, ArgentinaArgentina
Materzok, Marek
University of Wroclaw
Might, Matthew
University of Alabama at Birmingham | Harvard Medical SchoolUnited States
Mordvinov, Dmitry
Saint-Petersburg State University, JetBrains Research
Neto, Adolfo
Federal University of Technology - ParanáBrazil
Nguyen, Minh
University of BristolUnited Kingdom
Ohshima, Yoshiki
Croquet Corporation, Shizuoka UniversityJapan
Omar, Cyrus
University of MichiganUnited States
Orchard, Dominic
University of Kent, UKUnited Kingdom
P
Palladinos, Nick
Nessos Information Technologies, SA
Papaspyrou, Nikolaos
National Technical University of AthensGreece
Parreaux, Lionel
The Hong Kong University of Science and Technology (HKUST)
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and Technology
Perera, Roly
Alan Turing InstituteUnited Kingdom
Perez Rubio, Sergio
Universitat Politècnica de València
Pfenning, Frank
Carnegie Mellon University, USA
Protzenko, Jonathan
Microsoft Research, RedmondUnited States
Pruiksma, Klaas
Carnegie Mellon University
Q
Quiring, Benjamin
University of Maryland
Rainey, Mike
Carnegie Mellon UniversityUnited States
Randtoul, Aidan
University of GlasgowUnited Kingdom
Rinaldi, Francis
Illinois Institute of TechnologyUnited States
Rivas, Exequiel
Tallinn University of Technology
Romero, Rafael
Universidad de Buenos Aires, Universidad de la República
Rosenblatt, Gregory
University of Alabama at BirminghamCanada
Sati, Hisham
New York University, Abu Dhabi
Schreiber, Urs
New York University, Abu Dhabi
Sherman, Benjamin
Massachusetts Institute of Technology, USA
Shivers, Olin
Northeastern University, USA
Smeding, Tom
Utrecht UniversityNetherlands
Spies, Simon
MPI-SWS & Saarland UniversityGermany
Stark, Kathrin
Heriot-Watt UniversityUnited Kingdom
Steele Jr., Guy L.
Oracle LabsUnited States
Stolarek, Jan
University of Edinburgh, UK
Sussman, Gerald Jay
MITUnited States
Szamozvancev, Dmitrij
University of CambridgeUnited Kingdom
Tannen, Val
University of Pennsylvania, USA
Tobin-Hochstadt, Sam
Indiana University
Tomé Cortiñas, Carlos
Chalmers University of TechnologySweden
Tsushima, Kanae
National Institute of Informatics, JapanJapan
Tóth, Melinda
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary
V
Valiron, Benoit
LRI, CentraleSupelec, Univ. Paris SaclayFrance
van de Wetering, John
University of Oxford
van der Rest, Cas
Delft University of Technology
Vanoni, Gabriele
University of Bologna & INRIA Sophia Antipolis
Vasconcelos, Pedro
LIACC, Universidade do Porto, Porto, PortugalPortugal
Vasilenko, Lisa
IMDEA Software InstituteSpain
W
Wang, Meng
University of BristolUnited Kingdom
Wong, Limsoon
National University of SingaporeSingapore
Yeh, Lia
University of Oxford
Zaliva, Vadim
University of Cambridge, UKUnited States
Zdancewic, Steve
University of PennsylvaniaUnited States
Zhang, Lisa
University of Toronto MississaugaCanada