ICFP 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (135)
Eddie AftandilianAftandilian, Eddie GitHub NextUnited States |
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark |
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom |
Zena M. AriolaAriola, Zena M. University of OregonUnited States |
Guillaume BaudartBaudart, Guillaume InriaFrance |
Rohan BavishiBavishi, Rohan AmazonUnited States |
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States |
Dorra Ben KhalifaBen Khalifa, Dorra University of Toulouse - ENACFrance |
Jasmin BlanchetteBlanchette, Jasmin Ludwig-Maximilians-Universität MünchenGermany |
Sooyoung ChaCha, Sooyoung Sungkyunkwan University |
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States |
Sen ChenChen, Sen Tianjin UniversityChina |
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States |
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States |
Michele ChiariChiari, Michele TU WienAustria |
Benjamin ChungChung, Benjamin JuliaHub |
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States |
Youyou CongCong, Youyou Institute of Science TokyoJapan |
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada |
Işıl DilligDillig, Işıl University of Texas at AustinUnited States |
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States |
Xiaoning DuDu, Xiaoning Monash UniversityAustralia |
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique |
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany |
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom |
Emily FirstFirst, Emily University of California, San DiegoUnited States |
Nate FosterFoster, Nate Cornell University and Jane StreetUnited States |
Michael FranzFranz, Michael University of California, IrvineUnited States |
Daniel FruminFrumin, Daniel University of GroningenNetherlands |
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada |
François GauthierGauthier, François Oracle LabsAustralia |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Ben GreenmanGreenman, Ben University of Utah, USA |
Ben GreenmanGreenman, Ben University of UtahUnited States |
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland |
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina |
Martin HirzelHirzel, Martin IBM ResearchUnited States |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Zhenjiang HuHu, Zhenjiang Peking UniversityChina |
Limin JiaJia, Limin Carnegie Mellon University |
Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States |
Alex KavvosKavvos, Alex University of BristolUnited Kingdom |
Hanjun KimKim, Hanjun Yonsei University |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Nikita KovalKoval, Nikita JetBrainsNetherlands |
V Krishna NandivadaKrishna Nandivada, V IIT Madras |
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States |
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States |
Christian KästnerKästner, Christian Carnegie Mellon University |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada |
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom |
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark |
Michaël MarcozziMarcozzi, Michaël CEA, LIST, Université Paris SaclayFrance |
Stefan MarrMarr, Stefan University of KentUnited Kingdom |
Chris MartensMartens, Chris North Carolina State UniversityUnited States |
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States |
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary |
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Benoît MontaguMontagu, Benoît InriaFrance |
Angelica MoreiraMoreira, Angelica Microsoft ResearchCanada |
Charlie MurphyMurphy, Charlie University of Wisconsin–Madison |
Anders MøllerMøller, Anders Aarhus UniversityDenmark |
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan |
Chandrakana NandiNandi, Chandrakana CertoraUnited States |
Hoan NguyenNguyen, Hoan Amazon Web Services |
James NobleNoble, James Independent. Wellington, NZNew Zealand |
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea |
Pavel ParizekParizek, Pavel Charles University |
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea |
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China |
Daniel PerelmanPerelman, Daniel MicrosoftUnited States |
David PichardiePichardie, David MetaFrance |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States |
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada |
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China |
Manuel RiggerRigger, Manuel National University of SingaporeSingapore |
Alejandro RussoRusso, Alejandro Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden |
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea |
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance |
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology |
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States |
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Jonathan SterlingSterling, Jonathan University of CambridgeUnited Kingdom |
Quentin StiévenartStiévenart, Quentin Université du Québec à MontréalCanada |
Vaishnavi SundararajanSundararajan, Vaishnavi IIT DelhiIndia |
Milijana SurbatovichSurbatovich, Milijana University of Maryland |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan |
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance |
Sam WestrickWestrick, Sam New York UniversityUnited States |
John WickersonWickerson, John Imperial College LondonUnited Kingdom |
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States |
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Neringa YoungYoung, Neringa Lithuania |
Jialu ZhangZhang, Jialu University of WaterlooCanada |
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States |