POPL 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (169)

A Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PADL-track
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan Committee Member in Program Committee within the CPP-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Program Chair in Organizing Committee for POPL 2023 Program Chair in Program Committee within the POPL -track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the POPL -track
B Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track
Shraddha BarkeBarke, Shraddha Student Volunteer Co-Chair in Organizing Committee for POPL 2023
Josh BerdineBerdine, Josh MetaUnited Kingdom Committee Member in Program Committee within the POPL -track
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Committee Member in Steering Committee within the CPP-track
Karthikeyan BhargavanBhargavan, Karthikeyan Inria, France Committee Member in Program Committee within the POPL -track
Annette BieniusaBieniusa, Annette Technische Universität KaiserslauternGermany Committee Member in Program Committee within the PADL-track
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Z3 Internals – A guide to principles, art and empirics of programming SMT solvers
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands Committee Member in Steering Committee within the CPP-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Workshops Co-Chair in Organizing Committee for POPL 2023
Joachim BreitnerBreitner, Joachim Epic Games Germany Committee Member in Program Committee within the PADL-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Committee Member in Program Committee within the PADL-track
C Pedro CabalarCabalar, Pedro University of CorunnaSpain Committee Member in Program Committee within the PADL-track
Francesco CalimeriCalimeri, Francesco University of Calabria Committee Member in Program Committee within the PADL-track
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université de ParisFrance Committee Member in Program Committee within the POPL -track
Tej ChajedChajed, Tej VMware ResearchUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the CPP-track
Arthur CharguéraudCharguéraud, Arthur InriaFrance Committee Member in Program Committee within the POPL -track
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States Neurosymbolic Programming
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the CPP-track
Koen ClaessenClaessen, Koen Chalmers University of Technology, Sweden Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the CPP-track
Ranald CloustonClouston, Ranald ANU Committee Member in Program Committee within the CPP-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Selection Committee within the POPL Student Research Competition-track
Stefania CostantiniCostantini, Stefania Dipartimento di Ingegneria e Scienze dell'Informazione eMatematica, Univ. dell'Aquila Committee Member in Program Committee within the PADL-track
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-Madison, USA Committee Member in Program Committee within the POPL -track
Ugo Dal LagoDal Lago, Ugo University of Bologna; InriaItaly Committee Member in Program Committee within the POPL -track
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in Program Committee within the POPL -track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Committee Member in Program Committee within the POPL -track
Leonardo de Mourade Moura, Leonardo Microsoft Research, n.n. Committee Member in Program Committee within the CPP-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in Program Committee within the POPL -track
Zeyu DingDing, Zeyu Binghamton University, USA Committee Member in Selection Committee within the POPL Student Research Competition-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
E Richard A. EisenbergEisenberg, Richard A. TweagFrance Committee Member in Program Committee within the POPL -track
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Committee Member in Program Committee within the POPL -track
Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Committee Member in Program Committee within the PADL-track
F Xinyu FengFeng, Xinyu Nanjing UniversityChina Committee Member in Program Committee within the CPP-track
Kostas FerlesFerles, Kostas UT AustinUnited States Web Co-Chair in Organizing Committee for POPL 2023
Robby FindlerFindler, Robby Northwestern University, USAUnited States Associate Chair in Program Committee within the POPL -track
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia Committee Member in Program Committee within the CPP-track
Yannick ForsterForster, Yannick InriaFrance Committee Member in Program Committee within the CPP-track
G Deepak GargGarg, Deepak MPI-SWSGermany Associate Chair in Program Committee within the POPL -track
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Committee Member in Program Committee within the PADL-track
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Committee Member in Program Committee within the CPP-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the PADL-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Organizing Committee within the PLMW @ POPL-track
Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-track
Stephane Graham-LengrandGraham-Lengrand, Stephane SRI Committee Member in Program Committee within the CPP-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the PLMW @ POPL-track
Elsa GunterGunter, Elsa University of IllinoisUnited States Committee Member in Program Committee within the CPP-track
Gopal GuptaGupta, Gopal Committee Member in Program Committee within the PADL-track
H Michael HanusHanus, Michael Kiel UniversityGermany Co-chair in Program Committee within the PADL-track Co-chair in Programme Chairs within the PADL-track
Ichiro HasuoHasuo, Ichiro National Institute of Informatics, JapanJapan Committee Member in Program Committee within the POPL -track
Chris HawblitzelHawblitzel, Chris Microsoft Research Committee Member in Program Committee within the CPP-track
Hugo HerbelinHerbelin, Hugo Inria Committee Member in Program Committee within the POPL -track
Andrew K. HirschHirsch, Andrew K. MPI-SWSGermany Committee Member in Selection Committee within the POPL Student Research Competition-track
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States Committee Member in Organizing Committee within the PLMW @ POPL-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Steering Committee Chair in Steering Committee within the CPP-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee within the POPL -track
I Daniela InclezanInclezan, Daniela Miami UniversityUnited States Co-chair in Program Committee within the PADL-track Co-chair in Programme Chairs within the PADL-track
J Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Program Committee within the POPL -track
Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland Committee Member in Program Committee within the PADL-track
Alan JeffreyJeffrey, Alan RobloxUnited States Committee Member in Program Committee within the POPL -track
Patricia JohannJohann, Patricia Appalachian State University Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PADL-track
Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance Committee Member in Program Committee within the POPL -track
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Program Committee within the POPL -track
K Konstantinos KallasKallas, Konstantinos University of Pennsylvania Student Volunteer Co-Chair in Organizing Committee for POPL 2023
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the PADL-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Committee Member in Program Committee within the POPL -track
Jeehoon KangKang, Jeehoon KAISTSouth Korea Student Research Competition Co-Chair in Organizing Committee for POPL 2023 Co-chair in Selection Committee within the POPL Student Research Competition-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Committee Member in Program Committee within the POPL -track
Chantal KellerKeller, Chantal Université Paris Saclay Committee Member in Program Committee within the CPP-track
Marie KerjeanKerjean, Marie CNRS, Université Sorbonne Paris NordFrance Committee Member in Program Committee within the CPP-track
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) Committee Member in Program Committee within the CPP-track Committee Member in Selection Committee within the POPL Student Research Competition-track
Gerwin KleinKlein, Gerwin CSIRO's Data61 and UNSW SydneyAustralia Committee Member in Steering Committee within the CPP-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PADL-track
Laura KovacsKovacs, Laura Vienna University of Technology (TU Wien)Austria Committee Member in Program Committee within the POPL -track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Program Committee within the POPL -track Conference Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track Committee Member in Organizing Committee within the PLMW @ POPL-track
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Committee Member in Program Committee within the POPL -track
L Akash LalLal, Akash Microsoft Research Committee Member in Program Committee within the POPL -track
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Artifact Evaluation Co-Chair in Organizing Committee for POPL 2023
Xavier LeroyLeroy, Xavier Collège de FranceFrance Committee Member in Program Committee within the POPL -track
Mohsen LesaniLesani, Mohsen University of California at Riverside Committee Member in Program Committee within the POPL -track
Dan LicataLicata, Dan Wesleyan UniversityUnited States Committee Member in Program Committee within the POPL -track
M Matteo MaffeiMaffei, Matteo TU Wien Committee Member in Program Committee within the POPL -track
Kenji MaillardMaillard, Kenji Inria Nantes & University of Chile Committee Member in Program Committee within the CPP-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Committee Member in Program Committee within the POPL -track
Christoph MathejaMatheja, Christoph Technical University of DenmarkDenmark Committee Member in Program Committee within the POPL -track
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Program Committee within the POPL -track
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Publicity Chair in Organizing Committee for POPL 2023
Dale MillerMiller, Dale Inria, France / École Polytechnique, FranceFrance Committee Member in Steering Committee within the CPP-track
Todd MillsteinMillstein, Todd University of California at Los Angeles Committee Member in Program Committee within the POPL -track
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Committee Member in Program Committee within the POPL -track
César MuñozMuñoz, César Amazon Web Services Committee Member in Program Committee within the CPP-track
Andrew C. MyersMyers, Andrew C. Cornell University General Chair in Organizing Committee for POPL 2023
N Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Committee Member in Program Committee within the POPL -track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Program Committee within the POPL -track
David NaumannNaumann, David Stevens Institute of Technology Committee Member in Program Committee within the POPL -track
Tobias NipkowNipkow, Tobias Technische Universität München Committee Member in Program Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
O Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Committee Member in Program Committee within the POPL -track
Klaus OstermannOstermann, Klaus University of Tübingen Committee Member in Program Committee within the POPL -track
P Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in Program Committee within the POPL -track
Michele PaganiPagani, Michele IRIF - Université de ParisFrance Committee Member in Program Committee within the POPL -track
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Program Committee within the POPL -track
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom Committee Member in Program Committee within the CPP-track
Simona PerriPerri, Simona University of Calabria, Italy Committee Member in Program Committee within the PADL-track
Anja Petković KomelPetković Komel, Anja TU Wien, Vienna, Austria Committee Member in Program Committee within the CPP-track
David PichardiePichardie, David MetaFrance Committee Member in Program Committee within the POPL -track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Program Committee within the POPL -track PC Chair in Program Committee within the CPP-track PC Chair in Organizing Committee within the CPP-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the POPL -track
Clément Pit-ClaudelPit-Claudel, Clément EPFL / AWSUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the CPP-track
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program Committee within the POPL -track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Committee Member in Program Committee within the POPL -track
Enrico PontelliPontelli, Enrico New Mexico State University Committee Member in Program Committee within the PADL-track
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom Committee Member in Steering Committee within the CPP-track
François PottierPottier, François InriaFrance Associate Chair in Program Committee within the POPL -track
Damien PousPous, Damien CNRS Committee Member in Program Committee within the POPL -track
Christopher PultePulte, Christopher University of Cambridge, UK Committee Member in Program Committee within the POPL -track
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance Committee Member in Program Committee within the CPP-track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the POPL -track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track
Mukund RaghotamanRaghotaman, Mukund University of Southern California Artifact Evaluation Co-Chair in Organizing Committee for POPL 2023
Robert RandRand, Robert University of ChicagoUnited States Committee Member in Program Committee within the POPL -track
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Program Committee within the POPL -track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Committee Member in Program Committee within the CPP-track
Cody RouxRoux, Cody Committee Member in Program Committee within the CPP-track
S Amr SabrySabry, Amr Indiana UniversityUnited States Committee Member in Program Committee within the POPL -track
Kazuhiko SakaguchiSakaguchi, Kazuhiko Committee Member in Program Committee within the CPP-track
Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in Program Committee within the POPL -track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the PADL-track
Atharva SehgalSehgal, Atharva University of Texas, AustinUnited States Neurosymbolic Programming
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Committee Member in Program Committee within the POPL -track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Industrial Relations in Organizing Committee for POPL 2023
Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee within the CPP-track
Anna SlobodovaSlobodova, Anna Intel Committee Member in Program Committee within the CPP-track
Jonathan SterlingSterling, Jonathan Aarhus UniversityDenmark Committee Member in Program Committee within the POPL -track
Aaron StumpStump, Aaron The University of Iowa, USAUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the CPP-track
Eijiro SumiiSumii, Eijiro Tohoku UniversityJapan Committee Member in Program Committee within the POPL -track
Jennifer SunSun, Jennifer California Institute of TechnologyUnited States Neurosymbolic Programming
T Nicolas TabareauTabareau, Nicolas InriaFrance Committee Member in Program Committee within the POPL -track
Éric TanterTanter, Éric University of Chile Committee Member in Program Committee within the POPL -track
Paul TarauTarau, Paul University of North TexasUnited States Committee Member in Program Committee within the PADL-track
Joseph TassarottiTassarotti, Joseph NYUUnited States Committee Member in Program Committee within the POPL -track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Program Committee within the PADL-track
René ThiemannThiemann, René University of Innsbruck Committee Member in Program Committee within the CPP-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Committee Member in Program Committee within the CPP-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Committee Member in Program Committee within the POPL -track
Andrew TolmachTolmach, Andrew Portland State University Committee Member in Program Committee within the POPL -track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Conference Chair in Organizing Committee within the CPP-track
U Josef UrbanUrban, Josef Czech Technical University in PragueCzech Republic Committee Member in Program Committee within the CPP-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Committee Member in Program Committee within the CPP-track
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Committee Member in Program Committee within the PADL-track
Marco VassenaVassena, Marco Utrecht UniversityNetherlands Committee Member in Program Committee within the POPL -track
Abhinav VermaVerma, Abhinav Committee Member in Selection Committee within the POPL Student Research Competition-track
Janis VoigtländerVoigtländer, Janis University of Duisburg-Essen Committee Member in Program Committee within the PADL-track
W David WalkerWalker, David Princeton UniversityUnited States Committee Member in Program Committee within the POPL -track
Yuepeng WangWang, Yuepeng Simon Fraser University Web Co-Chair in Organizing Committee for POPL 2023 Committee Member in Selection Committee within the POPL Student Research Competition-track
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Committee Member in Program Committee within the CPP-track
Conrad WattWatt, Conrad University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -track
Tjark WeberWeber, Tjark Uppsala UniversitySweden Committee Member in Program Committee within the CPP-track
Theo WinterhalterWinterhalter, Theo MPI-SPGermany Committee Member in Program Committee within the POPL -track
X Ningning XieXie, Ningning University of CambridgeUnited Kingdom Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PADL-track
Y Neringa YoungYoung, Neringa Lithuania Treasurer & Conference Manager in Organizing Committee for POPL 2023
yisong yueyue, yisong Caltech Neurosymbolic Programming
Z Francesco Zappa NardelliZappa Nardelli, Francesco MetaFrance Committee Member in Program Committee within the POPL -track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States PC Chair in Program Committee within the CPP-track PC Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States Student Research Competition Co-Chair in Organizing Committee for POPL 2023 Co-chair in Selection Committee within the POPL Student Research Competition-track
Elena ZuccaZucca, Elena University of Genova Committee Member in Program Committee within the POPL -track

POPL 2023 Contributors

Results (169)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia