POPL 2027 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (363)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University; Mälardalen UniversitySweden Committee Member in Program Committee within the POPL -track
Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Program Committee within the VMCAI-track
Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan PC Member in Program Committee within the CPP-track
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark Committee Member in Program Committee within the LAFI-track
Benedikt AhrensAhrens, Benedikt Delft University of TechnologyNetherlands Committee Member in Program Committee within the RocqPL-track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Workshops Co-Chair in Organizing Committee for POPL 2027 Committee Member in Program Committee within the PAgE-track PC Member in Program Committee within the PLanQC-track
Xavier AllamigeonAllamigeon, Xavier Inria and Ecole Polytechnique PC Member in Program Committee within the CPP-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Organizing Committee within the PEPM-track PC Member in Program Committee within the CPP-track Chair in Program Committee Chairs within the WAVE-track
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Organizer in Organizing Committee within the PLanQC-track PC Member in Program Committee within the PLanQC-track
Emmanuel Anaya GonzalezAnaya Gonzalez, Emmanuel UCSD Artifact Evaluation Co-Chair in Organizing Committee for POPL 2027
Kalmer ApinisApinis, Kalmer University of Tartu, Estonia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Program Committee within the PEPM-track
Nicola AssoliniAssolini, Nicola QuantinuumItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Eric AtkinsonAtkinson, Eric Binghamton University Committee Member in Program Committee within the POPL -track
Martin AvanziniAvanzini, Martin Inria Committee Member in Program Committee within the POPL -track
Mauricio Ayala-RinconAyala-Rincon, Mauricio Federal University of Goiás / University of BrasíliaBrazil PC Member in Program Committee within the CPP-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College London; Soteria ToolsUnited Kingdom Committee Member in Organizing Committee within the TPSA-track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States Co-chair in Program Committee within the RocqPL-track
Pedro H. Azevedo de AmorimAzevedo de Amorim, Pedro H. University of OxfordUnited Kingdom Committee Member in Selection Committee within the POPL Student Research Competition-track
B Anne BaanenBaanen, Anne Mathlib Initiative PC Member in Program Committee within the CPP-track
Casper BachBach, Casper University of Southern DenmarkDenmark Committee Member in Program Committee within the PEPM-track
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas GeraisBrazil Committee Member in Program Committee within the VMCAI-track
Shraddha BarkeBarke, Shraddha Microsoft Research, RedmondUnited States Committee Member in Organizing Committee within the PAgE-track
Celeste BarnabyBarnaby, Celeste University of Texas at AustinUnited States Student Volunteer Co-Chair in Organizing Committee for POPL 2027
Aurèle BarrièreBarrière, Aurèle CNRSFrance Student Volunteer Co-Chair in Organizing Committee for POPL 2027 Committee Member in Program Committee within the POPL -track
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany Committee Member in Program Committee within the POPL -track
Guillaume BaudartBaudart, Guillaume InriaFrance Committee Member in Program Committee within the LAFI-track
Andrej BauerBauer, Andrej University of LjubljanaSlovenia PC Member in Program Committee within the CPP-track
Atılım Güneş BaydinBaydin, Atılım Güneş Diffractive Labs / University of Oxford Committee Member in Program Committee within the LAFI-track Committee Member in Organizing Committee within the LAFI-track
Anna BecchiBecchi, Anna Università della Svizzera italiana (USI)Switzerland Co-chair in Artifact Evaluation Committee within the VMCAI-track
Calvin BeckBeck, Calvin University of Pennsylvania, USACanada Artifact Evaluation Co-Chair in Organizing Committee for POPL 2027
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Committee Member in Program Committee within the POPL -track
Frédéric BessonBesson, Frédéric Committee Member in Program Committee within the PriSC-track Co-chair in Program Committee within the RocqPL-track
Annette BieniusaBieniusa, Annette Rheinland-Pfälzische Technische Universität Kaiserslautern-LandauGermany Committee Member in Program Committee within the FRIDA-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Committee Member in Program Committee within the POPL -track
Lionel BlatterBlatter, Lionel MPI-SPGermany Committee Member in Program Committee within the PriSC-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance Author in Steering Committee within the CPP-track
Martin BodinBodin, Martin InriaFrance PC Member in Program Committee within the CPP-track
Jérôme BoillotBoillot, Jérôme Thales Research & TechnologyFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Alberto BombardelliBombardelli, Alberto Kyoto University, JapanJapan Committee Member in Artifact Evaluation Committee within the VMCAI-track
Robert BoothBooth, Robert University of Oxford PC Member in Program Committee within the PLanQC-track
Olivier BouissouBouissou, Olivier Amazon Web ServicesUnited States Committee Member in Steering Committee within the WAVE-track
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Committee Member in Program Committee within the PriSC-track
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the LAFI-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Program Committee within the POPL -track
Manuel BravoBravo, Manuel Informal Systems Committee Member in Program Committee within the FRIDA-track
Oliver BračevacBračevac, Oliver EPFLSwitzerland Committee Member in Program Committee within the PEPM-track
Matteo BusiBusi, Matteo University Ca' Foscari, VeniceItaly Committee Member in Program Committee within the PriSC-track
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Committee Member in Program Committee within the PEPM-track
Twain ByrnesByrnes, Twain Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PriSC-track
C Julie CaillerCailler, Julie University of Lorraine, CNRS, Inria, LORIA, Nancy PC Member in Program Committee within the CPP-track
José Pablo CambroneroCambronero, José Pablo Google, USAUnited States Committee Member in Organizing Committee within the PAgE-track
Laura CanaiaCanaia, Laura University of VeronaItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina PC Member in Program Committee within the CPP-track
Danaël CarbonneauCarbonneau, Danaël LIP6, Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PEPM-track
Franck CassezCassez, Franck Macquarie University, Australia Committee Member in Program Committee within the VMCAI-track
Giuseppe CastagnaCastagna, Giuseppe CNRS; Université Paris CitéFrance Committee Member in Program Committee within the POPL -track
Valentina CastiglioniCastiglioni, Valentina Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the VMCAI-track
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Co-chair in Program Committee within the PriSC-track
Aditya ChallaChalla, Aditya BITS Pilani Committee Member in Program Committee within the PAgE-track
Kaustuv ChaudhuriChaudhuri, Kaustuv Inria, FranceFrance PC Member in Program Committee within the CPP-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the PLanQC-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Author in Steering Committee within the CPP-track
Minki ChoCho, Minki FuriosaAI Committee Member in Program Committee within the POPL -track
Marco CiccalèCiccalè, Marco Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the VMCAI-track
Cyril CohenCohen, Cyril Inria, CNRS, ENS Lyon, UCBL, LIPFrance PC Chair in Program Committee within the CPP-track PC Chair in Organizing Committee within the CPP-track
Liron CohenCohen, Liron Ben-Gurion University of the NegevIsrael Committee Member in Program Committee within the POPL -track
Youyou CongCong, Youyou Institute of Science TokyoJapan Committee Member in Program Committee within the POPL -track
Giovanna Kobus ConradoConrado, Giovanna Kobus Aarhus UniversityDenmark Committee Member in Program Committee within the VMCAI-track
Rob CornishCornish, Rob NTU SingaporeSingapore Committee Member in Program Committee within the LAFI-track
Arthur CorrensonCorrenson, Arthur CISPA Helmholtz Center for Information Security Committee Member in Program Committee within the PriSC-track
Andreea CosteaCostea, Andreea TU DelftNetherlands Committee Member in Program Committee within the POPL -track Committee Member in Reviewers within the FPBT-track
D Loris D'AntoniD'Antoni, Loris University of California at San DiegoUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PAgE-track
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly Committee Member in Program Committee within the POPL -track
Lesly-Ann DanielDaniel, Lesly-Ann EURECOMFrance Co-chair in Program Committee within the PriSC-track
Ankush DasDas, Ankush Boston UniversityUnited States Committee Member in Program Committee within the POPL -track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in Reviewers within the FPBT-track
Brian DemskyDemsky, Brian University of California at Irvine Committee Member in Program Committee within the POPL -track
Farzaneh DerakhshanDerakhshan, Farzaneh Northwestern UniversityUnited States Committee Member in Program Committee within the POPL -track
Manuel Di AgostinoDi Agostino, Manuel University of Parma, ItalyItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Cinzia Di GiustoDi Giusto, Cinzia Université Côte d'Azur; CNRSFrance Committee Member in Program Committee within the POPL -track
Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Committee Member in Artifact Evaluation Committee within the VMCAI-track
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information SecurityGermany Associate Chair in Program Committee within the POPL -track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Program Committee within the POPL -track Organizing Committee in Organizing Committee within the PLMW @ POPL-track
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the FRIDA-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in Program Committee within the POPL -track
Derek DreyerDreyer, Derek MPI-SWSGermany PC Member in Program Committee within the CPP-track
Cezara DrăgoiDrăgoi, Cezara AWS / ENS TBA
Ross DuncanDuncan, Ross Quantinuum Organizer in Organizing Committee within the PLanQC-track
E Gabriel EbnerEbner, Gabriel Microsoft ResearchUnited States Committee Member in Organizing Committee within the PAgE-track
Chelsea EdmondsEdmonds, Chelsea The University of Western AustraliaAustralia PC Member in Program Committee within the CPP-track
Marco EilersEilers, Marco ETH ZurichSwitzerland Committee Member in Program Committee within the VMCAI-track
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Committee Member in Program Committee within the VMCAI-track
Andres ErbsenErbsen, Andres Google & University of Washington Committee Member in Program Committee within the POPL -track
Julian ErhardErhard, Julian CISPA Committee Member in Artifact Evaluation Committee within the VMCAI-track
Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the VMCAI-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in Reviewers within the FPBT-track
F Azadeh FarzanFarzan, Azadeh University of TorontoCanada Associate Chair in Program Committee within the POPL -track
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States Committee Member in Organizing Committee within the FPBT-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Program Committee within the POPL -track
María Inés de Frutos FernándezFernández, María Inés de Frutos University of Bonn PC Member in Program Committee within the CPP-track
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance Committee Member in Program Committee within the WAVE-track
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia PC Member in Program Committee within the CPP-track
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Program Committee within the PEPM-track
Yannick ForsterForster, Yannick InriaFrance PC Member in Program Committee within the CPP-track
Nate FosterFoster, Nate EPFL; Jane StreetSwitzerland Committee Member in Program Committee within the POPL -track
G Joshua GancherGancher, Joshua Northeastern UniversityUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PriSC-track
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the POPL -track
Timon GehrGehr, Timon ETH ZurichSwitzerland PC Member in Program Committee within the PLanQC-track
Rebecca GhidiniGhidini, Rebecca ENS Committee Member in Artifact Evaluation Committee within the VMCAI-track
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia Committee Member in Program Committee within the POPL -track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Committee Member in Program Committee within the POPL -track
Andrés GoensGoens, Andrés TU DarmstadtGermany Committee Member in Program Committee within the POPL -track
Amir K. GoharshadyGoharshady, Amir K. Gran Sasso Science InstituteItaly Committee Member in Program Committee within the POPL -track
Harrison GoldsteinGoldstein, Harrison University at BuffaloUnited States Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Organizing Committee within the FPBT-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Program Committee within the PriSC-track
Hannah GommerstadtGommerstadt, Hannah Vassar College DEI Chair in Organizing Committee for POPL 2027 Committee Member in Program Committee within the PriSC-track
Georges GonthierGonthier, Georges Inria Author in Steering Committee within the CPP-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Program Committee within the RocqPL-track
Kiran GopinathanGopinathan, Kiran BasisUnited States Committee Member in Program Committee within the WAVE-track
Sebastien GouezelGouezel, Sebastien CNRS and Rennes University PC Member in Program Committee within the CPP-track
Hemant GouniGouni, Hemant Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PriSC-track
Stephane Graham-LengrandGraham-Lengrand, Stephane SRI PC Member in Program Committee within the CPP-track
Alexandra GraßGraß, Alexandra Committee Member in Artifact Evaluation Committee within the VMCAI-track
Ben GreenmanGreenman, Ben University of Utah, USA Committee Member in Program Committee within the POPL -track
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany PC Member in Program Committee within the CPP-track
Alberto GriggioGriggio, Alberto Fondazione Bruno KesslerItaly Committee Member in Program Committee within the VMCAI-track
Ronghui GuGu, Ronghui Columbia UniversityUnited States Committee Member in Program Committee within the POPL -track
Lucie GuillouGuillou, Lucie Committee Member in Program Committee within the VMCAI-track
H Sebastian HackHack, Sebastian Saarland University, Saarland Informatics CampusGermany Committee Member in Program Committee within the POPL -track
Matthew P HarriganHarrigan, Matthew P Google Quantum AI PC Member in Program Committee within the PLanQC-track
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark Committee Member in Program Committee within the POPL -track
Fei HeHe, Fei Tsinghua University; Key Laboratory for Information System SecurityChina Committee Member in Program Committee within the POPL -track
Yann HerklotzHerklotz, Yann EPFLSwitzerland PC Member in Program Committee within the CPP-track
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom Committee Member in Program Committee within the POPL -track
Brandon HewerHewer, Brandon Committee Member in Program Committee within the POPL -track
Michal HečkoHečko, Michal Brno University of TechnologyCzechia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Michael HicksHicks, Michael University of Pennsylvania and AWSUnited States Committee Member in Reviewers within the FPBT-track
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aalborg UniversityDenmark PC Member in Program Committee within the CPP-track
Ping HouHou, Ping University of OxfordUnited Kingdom Committee Member in Program Committee within the PEPM-track
Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Author in Steering Committee within the CPP-track
Justin HsuHsu, Justin Cornell UniversityUnited States Associate Chair in Program Committee within the POPL -track
Tzu-Han HsuHsu, Tzu-Han Harvard University, USAUnited States Committee Member in Program Committee within the WAVE-track
Guangyu HuHu, Guangyu Huawei Hong Kong Research CenterHong Kong SAR China Committee Member in Program Committee within the VMCAI-track
Yipeng HuangHuang, Yipeng Rutgers UniversityUnited States PC Member in Program Committee within the PLanQC-track
John HughesHughes, John Chalmers University of Technology, SwedenSweden Committee Member in Reviewers within the FPBT-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Program Committee within the POPL -track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Committee Member in Program Committee within the POPL -track
Eleftherios IoannidisIoannidis, Eleftherios Microsoft ResearchUnited States Committee Member in Program Committee within the PAgE-track
Anastasia IsychevIsychev, Anastasia University of SydneyAustralia Committee Member in Program Committee within the VMCAI-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Program Committee within the POPL -track
Desi R. IvavonaIvavona, Desi R. University of Oxford Committee Member in Program Committee within the LAFI-track
J Guilhème JaberJaber, Guilhème Nantes UniversitéFrance Committee Member in Program Committee within the POPL -track
Jules JacobsJacobs, Jules ETH Zurich; Jane StreetSwitzerland Committee Member in Program Committee within the POPL -track
Marek JankolaJankola, Marek LMU MunichSlovakia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Siddhartha JayantiJayanti, Siddhartha Dartmouth CollegeUnited States Committee Member in Program Committee within the FRIDA-track
Paul JeanmaireJeanmaire, Paul LIP6, Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Committee Member in Program Committee within the PAgE-track
Limin JiaJia, Limin Carnegie Mellon University Committee Member in Program Committee within the POPL -track
Patricia JohannJohann, Patricia Appalachian State University PC Member in Program Committee within the CPP-track
Chris JohannsenJohannsen, Chris Committee Member in Artifact Evaluation Committee within the VMCAI-track
Evan JohnsonJohnson, Evan NYUUnited States Committee Member in Program Committee within the PriSC-track
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Jacques-Henri JourdanJourdan, Jacques-Henri LMF, CNRS, Université Paris-SaclayFrance Committee Member in Program Committee within the WAVE-track
K Konstantinos KallasKallas, Konstantinos University of California, Los AngelesUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PAgE-track
Shin-ya KatsumataKatsumata, Shin-ya Kyoto Sangyo UniversityJapan Committee Member in Program Committee within the POPL -track
Chantal KellerKeller, Chantal LMF - University Paris-SaclayFrance PC Member in Program Committee within the CPP-track
Ariel E. KellisonKellison, Ariel E. Code MetalUnited States Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the CPP-track Committee Member in Program Committee within the RocqPL-track
Miryung KimKim, Miryung UCLA and Amazon Web ServicesUnited States Committee Member in Program Committee within the PAgE-track
Yonghyun KimKim, Yonghyun MPI-SPGermany PC Member in Program Committee within the CPP-track
Dominik KirstKirst, Dominik Inria Saclay PC Member in Program Committee within the CPP-track
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia Author in Steering Committee within the CPP-track
Dominik KlumppKlumpp, Dominik LIX, CNRS, Ecole PolytechniqueFrance Co-chair in Organizing Committee within the VMCAI-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Committee Member in Program Committee within the PEPM-track
John C. KolesarKolesar, John C. Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the VMCAI-track
Adrien KoutsosKoutsos, Adrien Inria ParisFrance Committee Member in Program Committee within the PriSC-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Program Committee within the FRIDA-track
Viktor KunčakKunčak, Viktor EPFLSwitzerland Steering Committee Member in Steering Committee within the VMCAI-track
L Faezeh LabbafLabbaf, Faezeh University of LuganoSwitzerland Committee Member in Artifact Evaluation Committee within the VMCAI-track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Associate Chair in Program Committee within the POPL -track Committee Member in Program Committee within the FRIDA-track
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Committee Member in Program Committee within the POPL -track
Leonidas LampropoulosLampropoulos, Leonidas University of MarylandUnited States Committee Member in Reviewers within the FPBT-track
Stella LauLau, Stella Committee Member in Program Committee within the PriSC-track
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the PEPM-track
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea Committee Member in Program Committee within the LAFI-track
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Committee Member in Program Committee within the POPL -track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Committee Member in Steering Committee within the WAVE-track
Louis LemonnierLemonnier, Louis University of Edinburgh PC Member in Program Committee within the PLanQC-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia PC Member in Program Committee within the PLanQC-track
Fabrizio LeopardiLeopardi, Fabrizio University of LuganoSwitzerland Committee Member in Artifact Evaluation Committee within the VMCAI-track
Mohsen LesaniLesani, Mohsen University of California at Santa CruzUnited States Committee Member in Program Committee within the POPL -track
Dorian LesbreLesbre, Dorian Université Paris-Saclay - CEA LISTFrance Committee Member in Artifact Evaluation Committee within the VMCAI-track
Alexander K. LewLew, Alexander K. Yale UniversityUnited States Student Research Competition Co-Chair in Organizing Committee for POPL 2027 Co-chair in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL -track
Liyi LiLi, Liyi Iowa State UniversityUnited States Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the PLanQC-track
Yao LiLi, Yao Portland State UniversityUnited States PC Member in Program Committee within the CPP-track
Hongjin LiangLiang, Hongjin Nanjing UniversityChina Committee Member in Program Committee within the POPL -track
Jay LimLim, Jay University of California - Riverside Committee Member in Program Committee within the POPL -track Organizing Committee in Organizing Committee within the PLMW @ POPL-track
Jannis LimpergLimperg, Jannis Axiom Math & LMU MunichGermany PC Member in Program Committee within the CPP-track
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan Committee Member in Selection Committee within the POPL Student Research Competition-track
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Committee Member in Selection Committee within the POPL Student Research Competition-track Associate Chair in Program Committee within the POPL -track
Fan LongLong, Fan University of TorontoCanada Committee Member in Program Committee within the POPL -track
Giuliano LosaLosa, Giuliano Stellar Development FoundationUnited States Committee Member in Organizing Committee within the FRIDA-track
Yiling LouLou, Yiling University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the PAgE-track
M Benedikt MaderbacherMaderbacher, Benedikt CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the VMCAI-track
Assia MahboubiMahboubi, Assia INRIAFrance PC Member in Program Committee within the CPP-track
Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance PC Member in Program Committee within the CPP-track
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany Committee Member in Program Committee within the POPL -track
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Committee Member in Program Committee within the POPL -track
Isabella MastroeniMastroeni, Isabella University of VeronaItaly TBA
Cristina MatacheMatache, Cristina University of Edinburgh Committee Member in Program Committee within the POPL -track
Yusuke MatsushitaMatsushita, Yusuke Kyoto UniversityJapan Committee Member in Program Committee within the POPL -track
Stephan MerzMerz, Stephan Inria & Loria, Nancy, FranceFrance Committee Member in Program Committee within the FRIDA-track
Roland MeyerMeyer, Roland TU BraunschweigGermany Committee Member in Selection Committee within the POPL Student Research Competition-track
Aart MiddeldorpMiddeldorp, Aart University of Innsbruck PC Member in Program Committee within the CPP-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Author in Steering Committee within the CPP-track
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Committee Member in Program Committee within the POPL -track
Alexandre MoineMoine, Alexandre New York UniversityUnited States Committee Member in Program Committee within the POPL -track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the VMCAI-track
Benoît MontaguMontagu, Benoît InriaFrance Industrial Relations Co-Chair in Organizing Committee for POPL 2027
Sophie MorelMorel, Sophie CNRS/UMPA PC Member in Program Committee within the CPP-track
Naïm Moussaoui RemilMoussaoui Remil, Naïm Inria Paris, ENS Paris Committee Member in Artifact Evaluation Committee within the VMCAI-track
Sergio MoverMover, Sergio École PolytechniqueFrance Committee Member in Program Committee within the VMCAI-track
Yannick MoyMoy, Yannick ANSSIFrance Chair in Program Committee Chairs within the WAVE-track
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Organizing Committee in Organizing Committee within the PLMW @ POPL-track
Ike MulderMulder, Ike Radboud University NijmegenNetherlands Committee Member in Program Committee within the RocqPL-track
Charlie MurphyMurphy, Charlie Montana State UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Suha Orhun MutluergilMutluergil, Suha Orhun Sabanci University, Turkey Committee Member in Program Committee within the VMCAI-track
Anders MörtbergMörtberg, Anders Department of Mathematics, Stockholm UniversitySweden PC Member in Program Committee within the CPP-track
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark Committee Member in Program Committee within the POPL -track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Associate Chair in Program Committee within the POPL -track
N Kartik NagarNagar, Kartik IIT MadrasIndia Committee Member in Program Committee within the POPL -track
Srinidhi NagendraNagendra, Srinidhi AMD ResearchIndia Committee Member in Program Committee within the VMCAI-track
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Program Committee within the POPL -track
Chandrakana NandiNandi, Chandrakana Certora; University of WashingtonUnited States Committee Member in Program Committee within the POPL -track
Daniele Nantes SobrinhoNantes Sobrinho, Daniele University of Brasília Committee Member in Program Committee within the POPL -track
Julien NarbouxNarboux, Julien Univ. Paris Cité PC Member in Program Committee within the CPP-track
Jorge A. NavasNavas, Jorge A. Amazon Web ServicesUnited States Committee Member in Program Committee within the VMCAI-track
Tim NelsonNelson, Tim Brown UniversityUnited States Committee Member in Reviewers within the FPBT-track
Victor NicoletNicolet, Victor AmazonUnited States Committee Member in Program Committee within the POPL -track
Tobias NipkowNipkow, Tobias Technische Universität München Author in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
O Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia Committee Member in Program Committee within the POPL -track
Rodrigo OtoniOtoni, Rodrigo University of GroningenNetherlands Committee Member in Program Committee within the VMCAI-track
P Rohan PadhyePadhye, Rohan Carnegie Mellon University and AntithesisUnited States Committee Member in Reviewers within the FPBT-track
Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the RocqPL-track
Hugo PaquetPaquet, Hugo Inria, École Normale SupérieureFrance Committee Member in Program Committee within the LAFI-track Committee Member in Organizing Committee within the LAFI-track
Zoe ParaskevopoulouParaskevopoulou, Zoe National Technical University of AthensGreece Committee Member in Program Committee within the RocqPL-track
Lawrence PaulsonPaulson, Lawrence University of CambridgeUnited Kingdom PC Member in Program Committee within the CPP-track
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark Committee Member in Program Committee within the POPL -track
Jennifer PaykinPaykin, Jennifer University of VermontUnited States Committee Member in Selection Committee within the POPL Student Research Competition-track PC Member in Program Committee within the PLanQC-track
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland Committee Member in Program Committee within the LAFI-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Organizing Committee within the FPBT-track
Ramesh PeriyathambiPeriyathambi, Ramesh eBay Inc.United States Committee Member in Organizing Committee within the PAgE-track
David PichardiePichardie, David MetaFrance Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PAgE-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Author in Steering Committee within the CPP-track
Andreas PodelskiPodelski, Andreas University of FreiburgGermany Committee Member in Program Committee within the VMCAI-track Steering Committee Member in Steering Committee within the VMCAI-track
Gabriel PoesiaPoesia, Gabriel Stanford University Committee Member in Program Committee within the WAVE-track
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Committee Member in Program Committee within the POPL -track
Michalis PolychronakisPolychronakis, Michalis Stony Brook UniversityUnited States Committee Member in Program Committee within the PAgE-track
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom Committee Member in Program Committee within the POPL -track
François PottierPottier, François InriaFrance Committee Member in Program Committee within the POPL -track
Swarn PriyaPriya, Swarn Virginia TechUnited States Committee Member in Program Committee within the PriSC-track
Jevgēnijs ProtopopovsProtopopovs, Jevgēnijs Committee Member in Artifact Evaluation Committee within the VMCAI-track
R David R. MacIverR. MacIver, David Committee Member in Reviewers within the FPBT-track
Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the TPSA-track
Sri RachuriRachuri, Sri Dolby Laboratories Committee Member in Program Committee within the PAgE-track
Robert RandRand, Robert University of ChicagoUnited States Committee Member in Program Committee within the POPL -track Organizer in Organizing Committee within the PLanQC-track PC Member in Program Committee within the PLanQC-track
Silei RenRen, Silei Cornell University Committee Member in Program Committee within the PriSC-track
Mathys RennelaRennela, Mathys Unitary FoundationFrance Organizer in Organizing Committee within the PLanQC-track PC Member in Program Committee within the PLanQC-track
Diletta RigoRigo, Diletta Dipartimento di Matematica, University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the VMCAI-track
Xavier RivalRival, Xavier Inria - CNRS - Ecole Normale Superieure de Paris - PSL UniversityFrance Committee Member in Program Committee within the VMCAI-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia PC Member in Program Committee within the CPP-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Program Committee within the PEPM-track
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada PC Member in Program Committee within the PLanQC-track
S Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Co-chair in Artifact Evaluation Committee within the VMCAI-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Program Committee within the POPL -track
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Committee Member in Program Committee within the VMCAI-track Steering Committee Member in Steering Committee within the VMCAI-track
Alan SchmittSchmitt, Alan InriaFrance Workshops Co-Chair in Organizing Committee for POPL 2027
Michael SchwarzSchwarz, Michael National University of SingaporeSingapore Committee Member in Program Committee within the VMCAI-track
Frank SchüsseleSchüssele, Frank University of FreiburgGermany Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jindřich SedláčekSedláček, Jindřich Czechia Committee Member in Artifact Evaluation Committee within the VMCAI-track
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Committee Member in Program Committee within the POPL -track Committee Member in Organizing Committee within the PEPM-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Author in Steering Committee within the CPP-track
Ian ShillitoShillito, Ian University of Melbourne PC Member in Program Committee within the CPP-track
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Program Chair in Organizing Committee for POPL 2027 Program Chair in Program Committee within the POPL -track
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance Committee Member in Program Committee within the VMCAI-track Committee Member in Program Committee within the WAVE-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Committee Member in Program Committee within the POPL -track
Alex SimpsonSimpson, Alex University of LjubljanaSlovenia Committee Member in Program Committee within the LAFI-track
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadIndia PC Member in Program Committee within the CPP-track
Gagandeep SinghSingh, Gagandeep University of Illinois Urbana-ChampaignUnited States Industrial Relations Co-Chair in Organizing Committee for POPL 2027
Kartik SinghalSinghal, Kartik QuantinuumUnited States PC Member in Program Committee within the PLanQC-track
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in Program Committee within the PriSC-track
Kaitlin SmithSmith, Kaitlin Northwestern University PC Member in Program Committee within the PLanQC-track
Mathias SoekenSoeken, Mathias Microsoft PC Member in Program Committee within the PLanQC-track
Ana SokolovaSokolova, Ana University of SalzburgAustria Committee Member in Program Committee within the POPL -track
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States General Chair in Organizing Committee for POPL 2027
Matthieu SozeauSozeau, Matthieu InriaFrance PC Member in Program Committee within the CPP-track
Caleb StanfordStanford, Caleb University of California, DavisUnited States Committee Member in Program Committee within the POPL -track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Student Research Competition Co-Chair in Organizing Committee for POPL 2027 Co-chair in Selection Committee within the POPL Student Research Competition-track Author in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
Yusen SuSu, Yusen University of Waterloo; Black Duck SoftwareCanada Committee Member in Artifact Evaluation Committee within the VMCAI-track
Milijana SurbatovichSurbatovich, Milijana University of Maryland at College ParkUnited States Committee Member in Program Committee within the POPL -track Committee Member in Program Committee within the PriSC-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in Program Committee within the PAgE-track PC Chair in Program Committee within the CPP-track PC Chair in Organizing Committee within the CPP-track Committee Member in Keynote Speaker within the WAVE-track
T Nicolas TabareauTabareau, Nicolas InriaFrance Author in Steering Committee within the CPP-track
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States Web Co-Chair in Organizing Committee for POPL 2027 Committee Member in Steering Committee within the WAVE-track
Andy S. TatmanTatman, Andy S. University of GroningenNetherlands Committee Member in Artifact Evaluation Committee within the VMCAI-track
Jérémy ThibaultThibault, Jérémy EPFL Committee Member in Program Committee within the PriSC-track
René ThiemannThiemann, René University of Innsbruck PC Member in Program Committee within the CPP-track
Holger ThiesThies, Holger Kyoto University PC Member in Program Committee within the CPP-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Committee Member in Program Committee within the POPL -track
Matías ToroToro, Matías University of ChileChile Committee Member in Program Committee within the POPL -track
Sophie TourretTourret, Sophie Inria and Max Planck Institute for InformaticsFrance Conference Chair in Organizing Committee within the CPP-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Author in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
Omer TrippTripp, Omer AmazonUnited States Committee Member in Program Committee within the PAgE-track
Jean-Baptiste TristanTristan, Jean-Baptiste AmazonUnited States Committee Member in Steering Committee within the WAVE-track
Lillian TsaiTsai, Lillian Google Committee Member in Program Committee within the PAgE-track
U Hiroshi UnnoUnno, Hiroshi Tohoku UniversityJapan Committee Member in Program Committee within the POPL -track
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Web Co-Chair in Organizing Committee for POPL 2027 Co-chair in Organizing Committee within the VMCAI-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany PC Member in Program Committee within the CPP-track
John van de Weteringvan de Wetering, John University of AmsterdamNetherlands PC Member in Program Committee within the PLanQC-track
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands Committee Member in Program Committee within the VMCAI-track
Daan VanoverloopVanoverloop, Daan KU Leuven Committee Member in Program Committee within the PriSC-track
Nikos VasilakisVasilakis, Nikos Brown UniversityUnited States Committee Member in Organizing Committee within the PAgE-track
Freek VerbeekVerbeek, Freek Open Universiteit & Virginia Tech Committee Member in Program Committee within the POPL -track
Vesal VojdaniVojdani, Vesal University of TartuEstonia Committee Member in Program Committee within the VMCAI-track
W Philip WadlerWadler, Philip IOG; University of EdinburghUnited Kingdom Committee Member in Program Committee within the PEPM-track
Aymeric WalchWalch, Aymeric ISAE-SUPAEROFrance Committee Member in Program Committee within the LAFI-track
David WalkerWalker, David Princeton UniversityUnited States Committee Member in Program Committee within the POPL -track
Chengpeng WangWang, Chengpeng National University of SingaporeSingapore Committee Member in Program Committee within the PAgE-track
Xinyu WangWang, Xinyu University of MichiganUnited States Committee Member in Program Committee within the PAgE-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore Committee Member in Program Committee within the POPL -track
Guannan WeiWei, Guannan Tufts UniversityUnited States Committee Member in Program Committee within the POPL -track
Sam WestrickWestrick, Sam New York UniversityUnited States Committee Member in Program Committee within the POPL -track
Lauren WhiteWhite, Lauren NASAUnited States PC Member in Program Committee within the CPP-track
Pierre WilkeWilke, Pierre CentraleSupélec Committee Member in Program Committee within the PriSC-track
Théo WinterhalterWinterhalter, Théo INRIAFrance Committee Member in Selection Committee within the POPL Student Research Competition-track
X Ningning XieXie, Ningning University of TorontoCanada Publicity Chair in Organizing Committee for POPL 2027 Committee Member in Program Committee within the POPL -track
Yingfei XiongXiong, Yingfei Peking UniversityChina Committee Member in Program Committee within the POPL -track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the PEPM-track
Lia YehYeh, Lia University of CambridgeUnited Kingdom PC Member in Program Committee within the PLanQC-track
Kwangkeun YiYi, Kwangkeun Seoul National UniversityRepublic of Korea Committee Member in Program Committee within the POPL -track
Emily YuYu, Emily Leiden UniversityNetherlands Committee Member in Program Committee within the VMCAI-track
Nengkun YuYu, Nengkun Stony Brook UniversityUnited States Committee Member in Program Committee within the VMCAI-track
Charles YuanYuan, Charles University of Wisconsin-MadisonUnited States Committee Member in Selection Committee within the POPL Student Research Competition-track Committee Member in Program Committee within the POPL -track PC Chair in Organizing Committee within the PLanQC-track PC Chair in Program Committee within the PLanQC-track
Z Enea ZaffanellaZaffanella, Enea University of ParmaItaly Committee Member in Program Committee within the VMCAI-track
Fabian ZaiserZaiser, Fabian MIT Committee Member in Program Committee within the WAVE-track
Yannick ZakowskiZakowski, Yannick InriaFrance Committee Member in Program Committee within the POPL -track Author in Steering Committee within the CPP-track Conference Chair in Organizing Committee within the CPP-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Program Committee within the RocqPL-track
Georg ZetzscheZetzsche, Georg MPI-SWSGermany Committee Member in Program Committee within the POPL -track
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom PC Member in Program Committee within the CPP-track Committee Member in Steering Committee within the WAVE-track
Cheng ZhangZhang, Cheng Worcester Polytechnic InstituteUnited States Committee Member in Program Committee within the POPL -track
Hanliang ZhangZhang, Hanliang Automated Reasoning Group, Amazon Web ServicesCanada Committee Member in Program Committee within the PAgE-track
Minjian ZhangZhang, Minjian Committee Member in Program Committee within the VMCAI-track
Li ZhouZhou, Li Institute of Software at Chinese Academy of SciencesChina Committee Member in Program Committee within the POPL -track PC Member in Program Committee within the PLanQC-track
Noam ZilbersteinZilberstein, Noam Stevens Institute of TechnologyUnited States Committee Member in Organizing Committee within the TPSA-track
Beta ZilianiZiliani, Beta FAMAF, UNC and Manas.TechArgentina Committee Member in Program Committee within the RocqPL-track
Ben ZornZorn, Ben Microsoft Committee Member in Organizing Committee within the PAgE-track
Lenore ZuckZuck, Lenore UICUnited States Steering Committee Member in Steering Committee within the VMCAI-track
Saïd ZuhairZuhair, Saïd OCamlPro; Université Paris-Saclay - CEA LIST Committee Member in Artifact Evaluation Committee within the VMCAI-track
Á Zsófia ÁdámÁdám, Zsófia Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the VMCAI-track
Š Adéla ŠtěpkováŠtěpková, Adéla Masaryk University Committee Member in Artifact Evaluation Committee within the VMCAI-track

POPL 2027 Contributors

Results (363)

Tracks

Co-hosted Conferences

Workshops