ICFP 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (297)
Andreas AbelAbel, Andreas Gothenburg UniversitySweden |
Pedro AbreuAbreu, Pedro Type Theory Forall |
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 |
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance |
Eric AtkinsonAtkinson, Eric Binghamton University |
Alexander BaiBai, Alexander MPI-SWSUnited 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 |
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 BirminghamUnited States |
Gabriele CeciliaCecilia, Gabriele Augusta UniversityItaly |
Sooyoung ChaCha, Sooyoung Sungkyunkwan University |
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States |
Mingyi ChenChen, Mingyi University of California, Irvine |
Sen ChenChen, Sen Nankai UniversityChina |
Yanju ChenChen, Yanju University of California, San DiegoUnited States |
Zhibo ChenChen, Zhibo Carnegie Mellon UniversityUnited 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 |
Stefan CiobacaCiobaca, Stefan Alexandru Ioan Cuza University of Iasi |
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 University of Birmingham, UKUnited Kingdom |
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada |
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States |
Samvid DharanikotaDharanikota, Samvid Efficient Computer, CMU AlumniUnited States |
Adhitha DiasDias, Adhitha Purdue University, USAUnited 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 |
Pietro FerraraFerrara, Pietro Ca’ Foscari University of VeniceItaly |
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; Jane StreetUnited States |
Mario FrankFrank, Mario University of PotsdamGermany |
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) |
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States |
Dan GhicaGhica, Dan Huawei Research and University of BirminghamUnited Kingdom |
Marco GIUNTIGIUNTI, Marco University of Oxford |
Kiran GopinathanGopinathan, Kiran University of Illinois Urbana ChampaignUnited States |
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 |
Matthias GüdemannGüdemann, Matthias University of Applied Sciences MunichGermany |
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 |
Martin HenzHenz, Martin National University of SingaporeSingapore |
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands |
Martin HirzelHirzel, Martin IBM ResearchUnited States |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited 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 |
Xuejing HuangHuang, Xuejing IRIFFrance |
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 |
Venkata Naga Sai Rohit KantetiKanteti, Venkata Naga Sai Rohit Indian Institute of Technology MadrasIndia |
Alex KavvosKavvos, Alex University of BristolUnited Kingdom |
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States |
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 at 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 |
John LeoLeo, John Halfaya ResearchUnited States |
Martin LesterLester, Martin University of ReadingUnited Kingdom |
Xuyang LiLi, Xuyang Purdue University |
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 Université Paris-Saclay, CEA, ListFrance |
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 |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Damiano MazzaMazza, Damiano CNRS, LIPN, Université Sorbonne Paris NordFrance |
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom |
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 HyderabadIndia |
Alexandre MoineMoine, Alexandre New York UniversityUnited States |
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 |
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 |
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States |
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal |
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 |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States |
Gokul RajivRajiv, Gokul National University of Singapore, SingaporeSingapore |
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 ChicagoUnited States |
Mohammad RezaalipourRezaalipour, Mohammad University of PassauGermany |
Manuel RiggerRigger, Manuel National University of SingaporeSingapore |
Tiark RompfRompf, Tiark Purdue UniversityUnited States |
Fabian RuchRuch, Fabian UnaffiliatedSweden |
Alejandro RussoRusso, Alejandro Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden |
Yeonhee RyouRyou, Yeonhee KAISTSouth Korea |
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea |
Kartik SathyanarayananSathyanarayanan, Kartik Netflix, Inc. |
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 |
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom |
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited 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 Siemens EDAFrance |
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States |
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia |
Thomas SomersSomers, Thomas Radboud University Nijmegen |
Yahui SongSong, Yahui National University of SingaporeSingapore |
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States |
Skye SossSoss, Skye University of ChicagoUnited 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 National Institute of InformaticsJapan |
Vaishnavi SundararajanSundararajan, Vaishnavi IIT DelhiIndia |
Milijana SurbatovichSurbatovich, Milijana University of Maryland |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands |
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 |
Shriya ThakurThakur, Shriya University of Massachusetts LowellUnited States |
Peter ThiemannThiemann, Peter University of Freiburg, Germany |
Yongqiang TianTian, Yongqiang Hong Kong SAR China |
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 |
Nachiappan ValliappanValliappan, Nachiappan University of EdinburghUnited Kingdom |
Yakir VizelVizel, Yakir Technion—Israel Institute of TechnologyIsrael |
Shengyi WangWang, Shengyi Princeton UniversityUnited States |
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 |
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 |
Peisen YaoYao, Peisen Zhejiang UniversityChina |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Neringa YoungYoung, Neringa Lithuania |
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States |
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 Wake Forest UniversityUnited States |
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States |
Byron ZhongZhong, Byron University of ChicagoUnited States |
Litao ZhouZhou, Litao University of Hong KongChina |
Xiangyu ZhouZhou, Xiangyu University of Michigan |
Siyuan ZhuZhu, Siyuan Peking University, China |