ICFP 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (272)
Andreas AbelAbel, Andreas Gothenburg UniversitySweden |
Coşku AcayAcay, Coşku Observe, Inc.United States |
Eddie AftandilianAftandilian, Eddie GitHub NextUnited States |
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark |
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom |
Dalal AlrajehAlrajeh, Dalal Imperial College LondonUnited Kingdom |
Nada AminAmin, Nada Harvard UniversityUnited States |
Meghana Aparna SistlaAparna Sistla, Meghana The University of Texas at AustinUnited States |
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly |
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan |
Alexander BaiBai, Alexander Tufts UniversityUnited States |
Dan BarowyBarowy, Dan Williams CollegeUnited States |
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland |
Guillaume BaudartBaudart, Guillaume InriaFrance |
Rohan BavishiBavishi, Rohan AmazonUnited States |
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States |
Dorra Ben KhalifaBen Khalifa, Dorra University of Toulouse - ENACFrance |
Nick BentonBenton, Nick MetaUnited Kingdom |
Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden |
Jasmin BlanchetteBlanchette, Jasmin Ludwig-Maximilians-Universität MünchenGermany |
Sandrine BlazyBlazy, Sandrine University of RennesFrance |
Rose BohrerBohrer, Rose Worcester Polytechnic Institute |
William J. BowmanBowman, William J. University of British ColumbiaCanada |
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany |
Joachim BreitnerBreitner, Joachim Lean FRO, LLCGermany |
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States |
Sooyoung ChaCha, Sooyoung Sungkyunkwan University |
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States |
Sen ChenChen, Sen Tianjin UniversityChina |
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States |
Ellie Y. ChengCheng, Ellie Y. MITUnited States |
Luyu ChengCheng, Luyu Hong Kong University of Science and TechnologyHong Kong SAR China |
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 |
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly |
David DaraisDarais, David GaloisUnited States |
Anupam DasDas, Anupam Birmingham |
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada |
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States |
Işıl DilligDillig, Işıl University of Texas at AustinUnited States |
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States |
Rui DongDong, Rui University of MichiganUnited States |
Xiaoning DuDu, Xiaoning Monash UniversityAustralia |
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States |
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique |
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany |
Tae Eun KimEun Kim, Tae KAISTSouth Korea |
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom |
Andrzej FilinskiFilinski, Andrzej DIKU, University of Copenhagen |
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States |
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 |
Deepak GargGarg, Deepak MPI-SWSGermany |
Harshit GargGarg, Harshit Northeastern University - Khoury College of Computer SciencesUnited States |
François GauthierGauthier, François Oracle LabsAustralia |
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) |
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom |
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore |
Daniel GratzerGratzer, Daniel Aarhus UniversityDenmark |
Eva GraversenGraversen, Eva University of Southern Denmark |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Ben GreenmanGreenman, Ben University of Utah, USA |
Ben GreenmanGreenman, Ben University of UtahUnited States |
Ben GreenmanGreenman, Ben University of Utah, USA |
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States |
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States |
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland |
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina |
Siyuan HeHe, Siyuan Purdue University |
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands |
Martin HirzelHirzel, Martin IBM ResearchUnited States |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany |
Guangyu HuHu, Guangyu HKUST (The Hong Kong University of Science and Technology) |
Zhenjiang HuHu, Zhenjiang Peking UniversityChina |
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States |
Dustin JamnerJamner, Dustin MIT CSAIL, USA |
Minseok JeonJeon, Minseok Korea UniversitySouth Korea |
Jessy Ayala Jessy Ayala University of California, IrvineUnited States |
Limin JiaJia, Limin Carnegie Mellon University |
Songlin JiaJia, Songlin Purdue University, USAUnited States |
Ralf JungJung, Ralf ETH ZurichSwitzerland |
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom |
Eunsuk KangKang, Eunsuk Carnegie Mellon UniversityUnited States |
Alex KavvosKavvos, Alex University of BristolUnited Kingdom |
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance |
Hanjun KimKim, Hanjun Yonsei University |
Elad KinsbrunerKinsbruner, Elad TechnionIsrael |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Nikita KovalKoval, Nikita JetBrainsNetherlands |
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology |
Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States |
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 |
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada |
Martin LesterLester, Martin University of ReadingUnited Kingdom |
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom |
Cyrus LiuLiu, Cyrus Samsung SemiconductorUnited States |
Ning LuoLuo, Ning UIUCUnited States |
Aravind MachiryMachiry, Aravind Purdue UniversityUnited States |
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark |
Enrico MagnagoMagnago, Enrico Amazon Web Services |
Michaël MarcozziMarcozzi, Michaël CEA, LIST, Université Paris SaclayFrance |
Dylan MarinhoMarinho, Dylan Sorbonne Université, CNRS UMR 7606, LIP6, Paris, FranceFrance |
Stefan MarrMarr, Stefan University of KentUnited Kingdom |
Chris MartensMartens, Chris Northeastern UniversityUnited States |
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States |
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary |
Hidehiko MasuharaMasuhara, Hidehiko Institute of Science TokyoJapan |
Sebastian Mateos NicolajsenMateos Nicolajsen, Sebastian IT University of CopenhagenDenmark |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Damiano MazzaMazza, Damiano CNRSFrance |
Guillaume MelquiondMelquiond, Guillaume Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance |
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States |
Ashish MishraMishra, Ashish IIT Hyderabad |
Alexandre MoineMoine, Alexandre NYUUnited States |
Benoît MontaguMontagu, Benoît InriaFrance |
Angelica MoreiraMoreira, Angelica Microsoft ResearchCanada |
Charlie MurphyMurphy, Charlie University of Wisconsin–MadisonUnited States |
Anders MøllerMøller, Anders Aarhus UniversityDenmark |
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan |
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States |
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly |
Hoan NguyenNguyen, Hoan Amazon Web Services |
James NobleNoble, James Independent. Wellington, NZNew Zealand |
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly |
Cyrus OmarOmar, Cyrus University of MichiganUnited States |
Klaus OstermannOstermann, Klaus University of TübingenGermany |
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 |
Mário PereiraPereira, Mário LRI - Université Paris-Sud |
Daniel PerelmanPerelman, Daniel MicrosoftUnited States |
Basile PesinPesin, Basile Ecole Nationale de l'Aviation Civile (ENAC) |
Daniela PetrisanPetrisan, Daniela IRIF, Université Paris DiderotFrance |
Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom |
David PichardiePichardie, David MetaFrance |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Maria Pinto-AlbuquerquePinto-Albuquerque, Maria Instituto Universitário de Lisboa (ISCTE-IUL)Portugal |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States |
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada |
Joseph RaskindRaskind, Joseph SUNY Binghamton |
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China |
John ReppyReppy, John University of Chicago, USA |
Mohammad RezaalipourRezaalipour, Mohammad University of PassauGermany |
Manuel RiggerRigger, Manuel National University of SingaporeSingapore |
Charles RobertsRoberts, Charles Worcester Polytechnic Institute |
Tiark RompfRompf, Tiark Purdue UniversityUnited States |
Neea RuschRusch, Neea Augusta UniversityUnited States |
Alejandro RussoRusso, Alejandro Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden |
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea |
André L. SantosSantos, André L. University Institute of Lisbon, Portugal |
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance |
Philipp SchusterSchuster, Philipp University of TübingenGermany |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance |
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology |
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States |
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States |
Robert SimmonsSimmons, Robert IndependentUnited States |
Abhishek Kr SinghSingh, Abhishek Kr National University of SingaporeSingapore |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States |
Somesh SinghSingh, Somesh LIP, ENS LyonFrance |
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia |
Yahui SongSong, Yahui National University of SingaporeSingapore |
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 |
Felix StutzStutz, Felix University of Luxembourg, Luxembourg |
Maolin SunSun, Maolin Nanjing UniversityChina |
Yaozhu SunSun, Yaozhu University of Hong KongChina |
Vaishnavi SundararajanSundararajan, Vaishnavi IIT DelhiIndia |
Milijana SurbatovichSurbatovich, Milijana University of Maryland |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands |
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States |
Shangyin TanTan, Shangyin University of California at BerkeleyUnited States |
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan |
Christine TassonTasson, Christine Sorbonne Université — LIP6France |
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States |
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan |
Peter ThiemannThiemann, Peter University of Freiburg, Germany |
Yongqiang TianTian, Yongqiang Hong Kong University of Science and TechnologyChina |
Eli TilevichTilevich, Eli Virginia TechUnited States |
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States |
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal |
Matías ToroToro, Matías University of ChileChile |
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael |
Wenxi WangWang, Wenxi University of VirginaUnited States |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Ziteng WangWang, Ziteng University of Texas at AustinUnited States |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Joe WattWatt, Joe Institute for Infocomm Research, A*STARSingapore |
Anjiang WeiWei, Anjiang Stanford UniversityUnited States |
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |
Sam WestrickWestrick, Sam New York UniversityUnited States |
Leo WhiteWhite, Leo Jane StreetUnited Kingdom |
John WickersonWickerson, John Imperial College LondonUnited Kingdom |
Christian WimmerWimmer, Christian Amazon Web ServicesUnited States |
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States |
Théo WinterhalterWinterhalter, Théo INRIAFrance |
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden |
Ningning XieXie, Ningning University of TorontoCanada |
Zifan XieXie, Zifan Huazhong University of Science and TechnologyChina |
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States |
Xu XueXue, Xu The University of Hong Kong |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Neringa YoungYoung, Neringa Lithuania |
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States |
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom |
Cheng ZhangZhang, Cheng University College London (UCL)United Kingdom |
Jialu ZhangZhang, Jialu University of WaterlooCanada |
Nuda ZhangZhang, Nuda University of Michigan |
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States |
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States |
Ying ZhangZhang, Ying Virginia TechUnited States |
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States |
Litao ZhouZhou, Litao University of Hong KongChina |
Xiangyu ZhouZhou, Xiangyu University of Michigan |