POPL 2023 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (169)
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan |
Amal AhmedAhmed, Amal Northeastern University, USAUnited States |
Nada AminAmin, Nada Harvard UniversityUnited States |
Josh BerdineBerdine, Josh MetaUnited Kingdom |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Karthikeyan BhargavanBhargavan, Karthikeyan Inria, France |
Annette BieniusaBieniusa, Annette Technische Universität KaiserslauternGermany |
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
William J. BowmanBowman, William J. University of British ColumbiaCanada |
Joachim BreitnerBreitner, Joachim Epic Games Germany |
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States |
Francesco CalimeriCalimeri, Francesco University of Calabria |
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université de ParisFrance |
Tej ChajedChajed, Tej VMware ResearchUnited States |
Arthur CharguéraudCharguéraud, Arthur InriaFrance |
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Koen ClaessenClaessen, Koen Chalmers University of Technology, Sweden |
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan |
Stefania CostantiniCostantini, Stefania Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila |
Ugo Dal LagoDal Lago, Ugo University of Bologna; InriaItaly |
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly |
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom |
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Zeyu DingDing, Zeyu Binghamton University, USA |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance |
Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey |
Kostas FerlesFerles, Kostas UT AustinUnited States |
Robby FindlerFindler, Robby Northwestern University, USAUnited States |
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia |
Yannick ForsterForster, Yannick InriaFrance |
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria |
Milos GligoricGligoric, Milos University of Texas at AustinUnited States |
Robert GlückGlück, Robert University of CopenhagenDenmark |
Hannah GommerstadtGommerstadt, Hannah Vassar College |
Stephane Graham-LengrandGraham-Lengrand, Stephane SRI |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Elsa GunterGunter, Elsa University of IllinoisUnited States |
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan |
Chris HawblitzelHawblitzel, Chris Microsoft Research |
Andrew K. HirschHirsch, Andrew K. MPI-SWSGermany |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany |
Zhenjiang HuHu, Zhenjiang Peking UniversityChina |
Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland |
Alan JeffreyJeffrey, Alan RobloxUnited States |
Patricia JohannJohann, Patricia Appalachian State University |
Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance |
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan |
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom |
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany |
Chantal KellerKeller, Chantal Université Paris Saclay |
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance |
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) |
Gerwin KleinKlein, Gerwin CSIRO's Data61 and UNSW SydneyAustralia |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK |
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Lindsey KuperKuper, Lindsey University of California at Santa Cruz |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Mohsen LesaniLesani, Mohsen University of California at Riverside |
Dan LicataLicata, Dan Wesleyan UniversityUnited States |
Kenji MaillardMaillard, Kenji Inria Nantes & University of Chile |
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly |
Christoph MathejaMatheja, Christoph Technical University of DenmarkDenmark |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States |
Dale MillerMiller, Dale Inria, France / École Polytechnique, FranceFrance |
Todd MillsteinMillstein, Todd University of California at Los Angeles |
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom |
César MuñozMuñoz, César Amazon Web Services |
Andrew C. MyersMyers, Andrew C. Cornell University |
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain |
David NaumannNaumann, David Stevens Institute of Technology |
Tobias NipkowNipkow, Tobias Technische Universität München |
Klaus OstermannOstermann, Klaus University of Tübingen |
Michele PaganiPagani, Michele IRIF - Université de ParisFrance |
Marco PatrignaniPatrignani, Marco University of TrentoItaly |
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom |
Simona PerriPerri, Simona University of Calabria, Italy |
Anja Petković KomelPetković Komel, Anja TU Wien, Vienna, Austria |
David PichardiePichardie, David MetaFrance |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Clément Pit-ClaudelPit-Claudel, Clément EPFL / AWSUnited States |
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Enrico PontelliPontelli, Enrico New Mexico State University |
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom |
François PottierPottier, François InriaFrance |
Christopher PultePulte, Christopher University of Cambridge, UK |
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance |
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States |
Mukund RaghotamanRaghotaman, Mukund University of Southern California |
Robert RandRand, Robert University of ChicagoUnited States |
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Malavika SamakSamak, Malavika CSAIL, MITUnited States |
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium |
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Jonathan SterlingSterling, Jonathan Aarhus UniversityDenmark |
Aaron StumpStump, Aaron The University of Iowa, USAUnited States |
Eijiro SumiiSumii, Eijiro Tohoku UniversityJapan |
Éric TanterTanter, Éric University of Chile |
Paul TarauTarau, Paul University of North TexasUnited States |
Joseph TassarottiTassarotti, Joseph NYUUnited States |
Peter ThiemannThiemann, Peter University of Freiburg, Germany |
René ThiemannThiemann, René University of Innsbruck |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University |
Andrew TolmachTolmach, Andrew Portland State University |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium |
Marco VassenaVassena, Marco Utrecht UniversityNetherlands |
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen |
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina |
Conrad WattWatt, Conrad University of CambridgeUnited Kingdom |
Tjark WeberWeber, Tjark Uppsala UniversitySweden |
Theo WinterhalterWinterhalter, Theo MPI-SPGermany |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States |
Elena ZuccaZucca, Elena University of Genova |