POPL 2027 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (263)
Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany |
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan |
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States |
Xavier AllamigeonAllamigeon, Xavier Inria and Ecole Polytechnique |
Nada AminAmin, Nada Harvard UniversityUnited States |
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada |
Emmanuel Anaya GonzalezAnaya Gonzalez, Emmanuel UCSD |
Kalmer ApinisApinis, Kalmer University of Tartu, Estonia |
Nicola AssoliniAssolini, Nicola QuantinuumItaly |
Eric AtkinsonAtkinson, Eric Binghamton University |
Mauricio Ayala-RinconAyala-Rincon, Mauricio Federal University of Goiás / University of BrasíliaBrazil |
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College London; Soteria ToolsUnited Kingdom |
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil |
Celeste BarnabyBarnaby, Celeste University of Texas at AustinUnited States |
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany |
Andrej BauerBauer, Andrej University of LjubljanaSlovenia |
Anna BecchiBecchi, Anna Università della Svizzera italiana (USI)Switzerland |
Calvin BeckBeck, Calvin University of Pennsylvania, USACanada |
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States |
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark |
Sandrine BlazyBlazy, Sandrine University of RennesFrance |
Alberto BombardelliBombardelli, Alberto Kyoto University, JapanJapan |
Robert BoothBooth, Robert University of Oxford |
William J. BowmanBowman, William J. University of British ColumbiaCanada |
Laura CanaiaCanaia, Laura University of VeronaItaly |
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina |
Jacques CaretteCarette, Jacques McMaster UniversityCanada |
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université Paris CitéFrance |
Valentina CastiglioniCastiglioni, Valentina Eindhoven University of TechnologyNetherlands |
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States |
Kaustuv ChaudhuriChaudhuri, Kaustuv Inria, FranceFrance |
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Cyril CohenCohen, Cyril Inria, CNRS, ENS Lyon, UCBL, LIPFrance |
Liron CohenCohen, Liron Ben-Gurion University of the NegevIsrael |
Youyou CongCong, Youyou Institute of Science TokyoJapan |
Giovanna Kobus ConradoConrado, Giovanna Kobus Aarhus UniversityDenmark |
Andreea CosteaCostea, Andreea TU DelftNetherlands |
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly |
Lesly-Ann DanielDaniel, Lesly-Ann EURECOMFrance |
Ankush DasDas, Ankush Boston UniversityUnited States |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Brian DemskyDemsky, Brian University of California at Irvine |
Farzaneh DerakhshanDerakhshan, Farzaneh -United States |
Cinzia Di GiustoDi Giusto, Cinzia Université Côte d'Azur; CNRSFrance |
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information SecurityGermany |
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University |
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly |
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom |
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael |
Marco EilersEilers, Marco ETH ZurichSwitzerland |
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique |
Andres ErbsenErbsen, Andres Google & University of Washington |
Gidon ErnstErnst, Gidon LMU MunichGermany |
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom |
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States |
Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States |
Yu FengFeng, Yu University of California at Santa BarbaraUnited States |
María Inés de Frutos FernándezFernández, María Inés de Frutos University of Bonn |
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia |
Nate FosterFoster, Nate EPFL; Jane StreetSwitzerland |
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom |
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia |
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States |
Andrés GoensGoens, Andrés TU DarmstadtGermany |
Amir K. GoharshadyGoharshady, Amir K. University of Oxford |
Harrison GoldsteinGoldstein, Harrison University at Buffalo, SUNYUnited States |
Sebastien GouezelGouezel, Sebastien CNRS and Rennes University |
Stephane Graham-LengrandGraham-Lengrand, Stephane SRI |
Ben GreenmanGreenman, Ben University of Utah, USA |
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany |
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly |
Ronghui GuGu, Ronghui Columbia University; CertiKUnited States |
Matthew P HarriganHarrigan, Matthew P Google Quantum AI |
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark |
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom |
Michal HečkoHečko, Michal Brno University of TechnologyCzechia |
Michael HicksHicks, Michael University of Pennsylvania and AWSUnited States |
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aalborg UniversityDenmark |
Justin HsuHsu, Justin Cornell UniversityUnited States |
Guangyu HuHu, Guangyu Huawei Hong Kong Research CenterHong Kong SAR China |
Yipeng HuangHuang, Yipeng Rutgers UniversityUnited States |
John HughesHughes, John Chalmers University of Technology, SwedenSweden |
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea |
Anastasia IsychevIsychev, Anastasia TU WienAustria |
Shachar ItzhakyItzhaky, Shachar TechnionIsrael |
Jules JacobsJacobs, Jules Jane StreetUnited States |
Marek JankolaJankola, Marek LMU MunichSlovakia |
Limin JiaJia, Limin Carnegie Mellon University |
Patricia JohannJohann, Patricia Appalachian State University |
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States |
Shin-ya KatsumataKatsumata, Shin-ya Kyoto Sangyo UniversityJapan |
Chantal KellerKeller, Chantal LMF - University Paris-SaclayFrance |
Ariel E. KellisonKellison, Ariel E. Code MetalUnited States |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Dominik KlumppKlumpp, Dominik LIX, CNRS, Ecole PolytechniqueFrance |
John C. KolesarKolesar, John C. Amazon Web ServicesUnited States |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland |
Ori LahavLahav, Ori Tel Aviv UniversityIsrael |
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland at College ParkUnited States |
Daan LeijenLeijen, Daan Microsoft ResearchUnited States |
Louis LemonnierLemonnier, Louis University of Edinburgh |
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia |
Fabrizio LeopardiLeopardi, Fabrizio University of LuganoSwitzerland |
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz |
Dorian LesbreLesbre, Dorian Université Paris-Saclay - CEA LISTFrance |
Liyi LiLi, Liyi Iowa State UniversityUnited States |
Yao LiLi, Yao Portland State UniversityUnited States |
Hongjin LiangLiang, Hongjin Nanjing UniversityChina |
Jay LimLim, Jay University of California - Riverside |
Jannis LimpergLimperg, Jannis Axiom Math & LMU MunichGermany |
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom |
Fan LongLong, Fan University of TorontoCanada |
Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance |
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany |
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States |
Cristina MatacheMatache, Cristina University of Edinburgh |
Yusuke MatsushitaMatsushita, Yusuke Kyoto UniversityJapan |
Aart MiddeldorpMiddeldorp, Aart University of Innsbruck |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States |
Alexandre MoineMoine, Alexandre New York UniversityUnited States |
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance |
Benoît MontaguMontagu, Benoît InriaFrance |
Naïm Moussaoui RemilMoussaoui Remil, Naïm Inria Paris, ENS Paris |
Sergio MoverMover, Sergio École PolytechniqueFrance |
Charlie MurphyMurphy, Charlie Montana State UniversityUnited States |
Suha Orhun MutluergilMutluergil, Suha Orhun Sabanci University, Turkey |
Anders MörtbergMörtberg, Anders Department of Mathematics, Stockholm UniversitySweden |
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark |
Peter MüllerMüller, Peter ETH ZurichSwitzerland |
Srinidhi NagendraNagendra, Srinidhi AMD ResearchIndia |
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States |
Chandrakana NandiNandi, Chandrakana CertoraUnited States |
Daniele Nantes SobrinhoNantes Sobrinho, Daniele University of Brasília |
Jorge A. NavasNavas, Jorge A. Amazon Web ServicesUnited States |
Tim NelsonNelson, Tim Brown UniversityUnited States |
Victor NicoletNicolet, Victor AmazonCanada |
Tobias NipkowNipkow, Tobias Technische Universität München |
Rodrigo OtoniOtoni, Rodrigo University of GroningenNetherlands |
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom |
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark |
Jennifer PaykinPaykin, Jennifer University of VermontUnited States |
David PichardiePichardie, David MetaFrance |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Andreas PodelskiPodelski, Andreas University of FreiburgGermany |
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom |
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom |
François PottierPottier, François InriaFrance |
Azalea RaadRaad, Azalea Imperial College London; Soteria ToolsUnited Kingdom |
Robert RandRand, Robert University of ChicagoUnited States |
Mathys RennelaRennela, Mathys Unitary FoundationFrance |
Xavier RivalRival, Xavier Inria - CNRS - Ecole Normale Superieure de Paris - PSL UniversityFrance |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada |
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland |
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States |
Michael SchwarzSchwarz, Michael National University of SingaporeSingapore |
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan |
Ian ShillitoShillito, Ian University of Melbourne |
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael |
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance |
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States |
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadIndia |
Gagandeep SinghSingh, Gagandeep University of Illinois Urbana-ChampaignUnited States |
Kartik SinghalSinghal, Kartik QuantinuumUnited States |
Kaitlin SmithSmith, Kaitlin Northwestern University |
Ana SokolovaSokolova, Ana University of SalzburgAustria |
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom |
Yusen SuSu, Yusen University of Waterloo; Black Duck SoftwareCanada |
Milijana SurbatovichSurbatovich, Milijana University of Maryland at College ParkUnited States |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States |
Andy S. TatmanTatman, Andy S. University of GroningenNetherlands |
René ThiemannThiemann, René University of Innsbruck |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Matías ToroToro, Matías University of ChileChile |
Sophie TourretTourret, Sophie Inria and Max Planck Institute for InformaticsFrance |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance |
John van de Weteringvan de Wetering, John University of AmsterdamNetherlands |
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands |
Freek VerbeekVerbeek, Freek Open Universiteit & Virginia Tech |
Vesal VojdaniVojdani, Vesal University of TartuEstonia |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Guannan WeiWei, Guannan Tufts UniversityUnited States |
Sam WestrickWestrick, Sam New York UniversityUnited States |
Yingfei XiongXiong, Yingfei Peking UniversityChina |
Kwangkeun YiYi, Kwangkeun Seoul National University |
Emily YuYu, Emily Leiden UniversityNetherlands |
Nengkun YuYu, Nengkun Stony Brook UniversityUnited States |
Charles YuanYuan, Charles University of Wisconsin-MadisonUnited States |
Georg ZetzscheZetzsche, Georg MPI-SWSGermany |
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom |
Cheng ZhangZhang, Cheng Worcester Polytechnic InstituteUnited States |
Li ZhouZhou, Li Institute of Software, Chinese Academy of SciencesChina |
Noam ZilbersteinZilberstein, Noam Stevens Institute of TechnologyUnited States |
Lenore ZuckZuck, Lenore UICUnited States |
Á Zsófia ÁdámÁdám, Zsófia Department of Measurement and Information Systems, Budapest University of Technology and EconomicsHungary |