POPL 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (293)
Amal AhmedAhmed, Amal Northeastern University, USAUnited States |
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom |
Carmen AlmudéverAlmudéver, Carmen Universitat Politècnica de València |
Nada AminAmin, Nada Harvard UniversityUnited States |
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada |
Elli AnastasiadiAnastasiadi, Elli Uppsala UniversitySweden |
Bruno AndreottiAndreotti, Bruno Universidade Federal de Minas Gerais |
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden |
Robert AtkeyAtkey, Robert University of Strathclyde |
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom |
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States |
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas Gerais, BrazilBrazil |
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland |
Atılım Güneş BaydinBaydin, Atılım Güneş Department of Engineering Science, University of Oxford |
Ryan BeckettBeckett, Ryan Microsoft Research, USA |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance |
Filippo BonchiBonchi, Filippo University of PisaItaly |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland |
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands |
Satish ChandraChandra, Satish Google, IncUnited States |
Christopĥe CharetonChareton, Christopĥe CEA, LIST, France |
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States |
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan |
Sheng ChenChen, Sheng University of Louisiana at Lafayette |
Xin ChenChen, Xin University of New Mexico, USAUnited States |
James CheneyCheney, James University of EdinburghUnited Kingdom |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
David ChocholatýChocholatý, David Brno University of TechnologyCzechia |
Pierre ClairambaultClairambault, Pierre CNRS & LIS, Aix-Marseille UniversitéFrance |
Johan CommelinCommelin, Johan University of Utrecht |
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan |
Deepak D'SouzaD'Souza, Deepak IISc BangaloreIndia |
Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance |
David DaraisDarais, David GaloisUnited States |
Ana de Almeida Borgesde Almeida Borges, Ana Portugal |
Arianne Meijer-van de Griendde Griend, Arianne Meijer-van University of Helsinki |
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Ramiro DemasiDemasi, Ramiro Universidad Nacional de Córdoba |
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States |
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California |
Antonio Di StasioDi Stasio, Antonio City St George’s, University of London |
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States |
Ross DuncanDuncan, Ross Cambridge Quantum Computing |
Alejandro Díaz-CaroDíaz-Caro, Alejandro ICC (UBA-CONICET) & UNQArgentina |
Zafer EsenEsen, Zafer Uppsala UniversitySweden |
Claudia FaggianFaggian, Claudia Université de Paris & CNRS |
Azadeh FarzanFarzan, Azadeh University of TorontoCanada |
Daniel FeldanFeldan, Daniel New York University |
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz |
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States |
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal |
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States |
Daniel FruminFrumin, Daniel University of GroningenNetherlands |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Timon GehrGehr, Timon ETH ZurichSwitzerland |
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States |
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong |
Priyanka GoliaGolia, Priyanka Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore |
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico |
Andrew D. GordonGordon, Andrew D. Cogna and University of EdinburghUnited Kingdom |
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy |
Eric GoubaultGoubault, Eric Ecole Polytechnique |
Neville GrechGrech, Neville Dedaub LimitedMalta |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain |
Shibashis GuhaGuha, Shibashis Tata Institute of Fundamental Research, IndiaIndia |
Ashutosh GuptaGupta, Ashutosh Indian Institute of Technology BombayIndia |
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden |
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States |
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States |
Justin HsuHsu, Justin Cornell UniversityUnited States |
Sumit JhaJha, Sumit Florida International University, USAUnited States |
Limin JiaJia, Limin Carnegie Mellon University |
Ralf JungJung, Ralf ETH ZurichSwitzerland |
Cezary KaliszykKaliszyk, Cezary University of MelbourneAustralia |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany |
Artem KhyzhaKhyzha, Artem Arm LtdUnited Kingdom |
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States |
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Naoki KobayashiKobayashi, Naoki University of TokyoJapan |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Katherine KosaianKosaian, Katherine University of Iowa |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
András KovácsKovács, András University of Gothenburg |
Nicolai KrausKraus, Nicolai University of NottinghamUnited Kingdom |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Jan KretinskyKretinsky, Jan Masaryk University, Czech Republic |
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India |
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom |
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Per LarsenLarsen, Per University of California, Irvine |
Dongho LEELEE, Dongho LRI / CEA LIST, Univ Paris Saclay |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Robert Y. LewisLewis, Robert Y. Brown UniversityUnited States |
Liyi LiLi, Liyi Iowa State UniversityUnited States |
Yao LiLi, Yao Portland State UniversityUnited States |
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom |
Marian Lingsch-RosenfeldLingsch-Rosenfeld, Marian LMU Munich |
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States |
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States |
Gregory MalechaMalecha, Gregory BedRock SystemsUnited States |
Kaushik MallikMallik, Kaushik IST Austria, AustriaAustria |
Ravi MangalMangal, Ravi Colorado State UniversityUnited States |
William ManskyMansky, William University of Illinois ChicagoUnited States |
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States |
Christoph MathejaMatheja, Christoph DTUDenmark |
Micaela MayeroMayero, Micaela LIPN, Université Paris 13France |
Eric MercerMercer, Eric Brigham Young UniversityUnited States |
Roland MeyerMeyer, Roland TU BraunschweigGermany |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Yasuhiko MinamideMinamide, Yasuhiko Tokyo Institute of TechnologyJapan |
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance |
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance |
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States |
Sergio MoverMover, Sergio École PolytechniqueFrance |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Tobias NipkowNipkow, Tobias Technische Universität München |
Ana Oliveira Da CostaOliveira Da Costa, Ana IST Austria, AustriaAustria |
Cyrus OmarOmar, Cyrus University of MichiganUnited States |
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States |
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States |
Hugo PaquetPaquet, Hugo LIPN, Université Sorbonne Paris NordFrance |
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom |
Marco PatrignaniPatrignani, Marco University of TrentoItaly |
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark |
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland |
Annabell PetriPetri, Annabell Universiteit Twente |
Frank PfenningPfenning, Frank Carnegie Mellon University, USA |
Lauren PickPick, Lauren UC Berkeley and UW-Madison |
Brigitte PientkaPientka, Brigitte McGill UniversityCanada |
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland |
Andreas PodelskiPodelski, Andreas University of FreiburgGermany |
Piotr PolesiukPolesiuk, Piotr University of Wrocław |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Vinayak PrabhuPrabhu, Vinayak Colorado State UniversityUnited States |
Swarn PriyaPriya, Swarn Purdue University |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States |
Edoardo PuttiPutti, Edoardo University of Twente |
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States |
Vineet RajaniRajani, Vineet University of Kent |
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States |
Robert RandRand, Robert University of ChicagoUnited States |
Mathys RennelaRennela, Mathys WelinqFrance |
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance |
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada |
Andreas RossbergRossberg, Andreas IndependentGermany |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States |
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University |
Malavika SamakSamak, Malavika Apple IncUnited States |
Michael SammlerSammler, Michael MPI-SWSGermany |
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States |
Sven ScheweSchewe, Sven University of Liverpool |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Bhakti ShahShah, Bhakti University of St. Andrews |
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom |
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland |
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael |
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States |
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States |
Fabio SomenziSomenzi, Fabio University of Colorado Boulder, USA |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Meera SridharSridhar, Meera University of North Carolina Charlotte, USA |
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom |
Sam StatonStaton, Sam University of OxfordUnited Kingdom |
Deian StefanStefan, Deian University of California at San DiegoUnited States |
Dario SteinStein, Dario University of Oxford |
Qiyi TangTang, Qiyi University of LiverpoolUnited Kingdom |
Zhe TaoTao, Zhe University of California, Davis |
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States |
Christine TassonTasson, Christine Sorbonne Université — LIP6France |
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan |
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States |
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States |
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States |
James TownsendTownsend, James University of Amsterdam |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Jean-Baptiste TristanTristan, Jean-Baptiste |
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States |
Ashutosh TrivediTrivedi, Ashutosh University of Colorado BoulderUnited States |
Andrea TurriniTurrini, Andrea State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences |
Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance |
Milla ValnetValnet, Milla Sorbonne UniversitéFrance |
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands |
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States |
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité |
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal |
Marco VassenaVassena, Marco Utrecht UniversityNetherlands |
Margus VeanesVeanes, Margus Microsoft Research |
German VidalVidal, German Universitat Politecnica de ValenciaSpain |
Jules VillardVillard, Jules MetaUnited Kingdom |
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands |
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom |
Matthijs VákárVákár, Matthijs Utrecht University |
Michael WalterWalter, Michael Ruhr-Universität Bochum |
Chao WangWang, Chao University of Southern CaliforniaUnited States |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina |
Zhonghan WangWang, Zhonghan State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |
Piotr WojciechowskiWojciechowski, Piotr West Virginia University, USAUnited States |
Peisen YaoYao, Peisen Zhejiang UniversityChina |
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States |
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina |
Emily YuYu, Emily Institute of Science and Technology Austria |
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States |
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States |
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom |
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States |
Zhen ZhangZhang, Zhen Utah State UniversityUnited States |
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology |
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States |
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland |