ICFP 2024 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (220)
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance |
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States |
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark |
Adeel AhmadAhmad, Adeel Laboratoire d'Informatique Signal et Image de la Côte d'Opale, ULCO |
Aurore AlcoleiAlcolei, Aurore INRIA RennesFrance |
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom |
David AllsoppAllsopp, David TaridesUnited Kingdom |
Sandra AlvesAlves, Sandra University of PortoPortugal |
Gianluca AmatoAmato, Gianluca University of Chieti-PescaraItaly |
Nada AminAmin, Nada Harvard UniversityUnited States |
Carlo AngiuliAngiuli, Carlo Indiana UniversityUnited States |
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan |
Robert AtkeyAtkey, Robert University of Strathclyde |
Duncan Paul AttardAttard, Duncan Paul University of Glasgow |
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States |
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany |
David BinderBinder, David University of TübingenGermany |
Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) |
Laura BocchiBocchi, Laura University of KentUnited Kingdom |
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance |
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia |
Jeroen BransenBransen, Jeroen Utrecht University |
Joachim BreitnerBreitner, Joachim unaffiliatedGermany |
Teofil CamarasuCamarasu, Teofil United Kingdom |
Jacques CaretteCarette, Jacques McMaster UniversityCanada |
Laura M. CastroCastro, Laura M. University of A CoruñaSpain |
Arthur CharguéraudCharguéraud, Arthur Inria; Université de Strasbourg; CNRS; ICubeFrance |
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan |
James CheneyCheney, James University of EdinburghUnited Kingdom |
David Thrane ChristiansenChristiansen, David Thrane Lean FRO, LLCDenmark |
Koen ClaessenClaessen, Koen Epic Games |
Koen ClaessenClaessen, Koen Chalmers University of TechnologySweden |
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands |
Joshua M. CohenCohen, Joshua M. Princeton University |
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan |
Will CrichtonCrichton, Will Brown UniversityUnited States |
Radhakrishnan DelhibabuDelhibabu, Radhakrishnan Vellore Institute of TechnologyIndia |
Kate DeplaixDeplaix, Kate Consultant for the OCaml Software Foundation and AhrefsUnited Kingdom |
Paul DownenDownen, Paul University of Massachusetts LowellUnited States |
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark |
Joseph EremondiEremondi, Joseph University of ReginaCanada |
Jason EvansEvans, Jason BranchTaken LLC |
Amy FeltyFelty, Amy University of OttawaCanada |
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Ericsson, SwedenSweden |
Matthew FlattFlatt, Matthew University of UtahUnited States |
Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States |
Aymeric FromherzFromherz, Aymeric InriaFrance |
Michal Jan GajdaGajda, Michal Jan Migamake Pte Ltd |
Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan |
Francesco GavazzoGavazzo, Francesco University of Pisa, ItalyItaly |
Kimball GermaneGermane, Kimball Brigham Young UniversityUnited States |
Marco GIUNTIGIUNTI, Marco University of Oxford |
Robert GlückGlück, Robert University of CopenhagenDenmark |
Hannah GommerstadtGommerstadt, Hannah Vassar College |
Gabriella GonzalezGonzalez, Gabriella Arista NetworksUnited States |
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico |
April GonçalvesGonçalves, April University of Strathclyde |
Armaël GuéneauGuéneau, Armaël Inria Saclay - LMFFrance |
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark |
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States |
Ralf HinzeHinze, Ralf Technische Universität Kaiserslautern |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden |
Thomas P. JensenJensen, Thomas P. INRIA Rennes |
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States |
Songlin JiaJia, Songlin Purdue University, USAUnited States |
Patricia JohannJohann, Patricia Appalachian State University |
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan |
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands |
Andrew KennedyKennedy, Andrew Facebook LondonUnited Kingdom |
Åsmund Aqissiaq Arild KløvstadKløvstad, Åsmund Aqissiaq Arild University of Oslo (UiO) |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom |
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States |
Daan LeijenLeijen, Daan Microsoft ResearchUnited States |
John LeoLeo, John Halfaya ResearchUnited States |
Rodolphe LepigreLepigre, Rodolphe BedRock SystemsGermany |
Dorian LesbreLesbre, Dorian CEA ListFrance |
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States |
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark |
Kenji MaillardMaillard, Kenji InriaFrance |
Simon MarlowMarlow, Simon MetaUnited Kingdom |
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom |
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States |
Mae MilanoMilano, Mae Princeton UniversityUnited States |
Stefan MonnierMonnier, Stefan Université de MontréalCanada |
Antonio MonteiroMonteiro, Antonio NoneUnited States |
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States |
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, TaiwanTaiwan |
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States |
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance |
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark |
Wojciech NawrockiNawrocki, Wojciech Carnegie Mellon UniversityUnited States |
Joseph P. NearNear, Joseph P. University of VermontUnited States |
Max S. NewNew, Max S. University of MichiganUnited States |
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States |
O Dominic OrchardOrchard, Dominic University of Kent, UK and University of Cambridge, UKUnited Kingdom |
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom |
Zoe ParaskevopoulouParaskevopoulou, Zoe Ethereum FoundationGreece |
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal |
Ivan PerezPerez, Ivan NASA Ames Research Center |
Frank PfenningPfenning, Frank Carnegie Mellon University, USA |
Matthew PickeringPickering, Matthew Well-TypedUnited Kingdom |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFLUnited States |
Deena PostolPostol, Deena University of Maryland |
Jonathan Prieto-CubidesPrieto-Cubides, Jonathan University of BergenNorway |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States |
Andreas RossbergRossberg, Andreas IndependentGermany |
Fabian RuchRuch, Fabian UnaffiliatedSweden |
Neea RuschRusch, Neea Augusta UniversityUnited States |
Alejandro RussoRusso, Alejandro Chalmers University of Technology, SwedenArgentina |
Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan |
Ryosuke SatoSato, Ryosuke Tokyo University of Agriculture and TechnologyJapan |
Gabriel SchererScherer, Gabriel INRIA SaclayFrance |
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands |
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium |
Hans-Jörg SchurrSchurr, Hans-Jörg The University of Iowa |
Philipp SchusterSchuster, Philipp University of TübingenGermany |
Ryan ScottScott, Ryan Galois, Inc.United States |
Neil SculthorpeSculthorpe, Neil Nottingham Trent University, UK |
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Marcello SeriSeri, Marcello Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen |
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States |
John ShorttShortt, John University of Ottawa |
Abhishek Kr SinghSingh, Abhishek Kr National University Of SingaporeSingapore |
Satnam SinghSingh, Satnam GroqUnited States |
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden |
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina |
Matthieu SozeauSozeau, Matthieu InriaFrance |
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom |
Quentin StiévenartStiévenart, Quentin Université du Québec à Montréal (UQAM)Canada |
Hector SuzanneSuzanne, Hector LIP6 - Sorbonne Université & CNRSFrance |
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands |
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan |
Joseph TassarottiTassarotti, Joseph NYUUnited States |
Stephen TaylorTaylor, Stephen University of Illinois Urbana-Champaign |
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States |
Matías ToroToro, Matías University of ChileChile |
Jesse TovTov, Jesse Jane StreetUnited Kingdom |
Dmitri TymoczkoTymoczko, Dmitri Princeton UniversityUnited States |
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland |
David Van HornVan Horn, David University of MarylandUnited States |
Marco VassenaVassena, Marco Utrecht UniversityNetherlands |
Niki VazouVazou, Niki IMDEA Software Institute |
Ekaterina VerbitskaiaVerbitskaia, Ekaterina JetBrains Research; Constructor University BremenNetherlands |
Andrea VezzosiVezzosi, Andrea Well-Typed LLP |
Guannan WeiWei, Guannan Purdue UniversityUnited States |
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States |
Daniel Winograd-CortWinograd-Cort, Daniel Nectry Inc.United States |
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom |
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Jeffrey YoungYoung, Jeffrey IOHKUnited States |
Neringa YoungYoung, Neringa Lithuania |
Yannick ZakowskiZakowski, Yannick InriaFrance |
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom |
Lisa ZhangZhang, Lisa University of Toronto MississaugaCanada |
Shaopeng ZhuZhu, Shaopeng Does Not Wish To Disclose |