PLDI 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (296)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Umut A. AcarAcar, Umut A. Carnegie Mellon University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Committee Member in Program Committee within the ISMM-track
Jade AlglaveAlglave, Jade University College LondonFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jason AnselAnsel, Jason MetaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Program Committee within the SOAP-track
B Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Timur BabakolBabakol, Timur SUNY Binghamton, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dan BarowyBarowy, Dan Williams CollegeUnited States Web Co-Chair in Organizing Committee for PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mako P. BatesBates, Mako P. University of Vermont Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guillaume BaudartBaudart, Guillaume InriaFrance Programme Committee in Program Committee within the LCTES-track
Ryan BeckettBeckett, Ryan Microsoft Research, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Griffin BerlsteinBerlstein, Griffin Cornell UniversityUnited States DSL-based Hardware Generation
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia General Chair in Organizing Committee for PLDI 2023 General Chair in Organizing Committee within the ISMM-track
Rastislav BodíkBodík, Rastislav University of Washington Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in Program Committee within the ISMM-track
Saheed Olayemi BolarinwaBolarinwa, Saheed Olayemi Eotvos Lorand University Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael D. BondBond, Michael D. Ohio State University, USA Committee Member in Program Committee within the ISMM-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Publicity Co-Chair in Organizing Committee for PLDI 2023
Fraser BrownBrown, Fraser CMU Committee Member in Program Committee within the SOAP-track
Mihai BudiuBudiu, Mihai VMware Research Group Committee Member in PLDI Review Committee within the PLDI Research Papers-track
C Zixian CaiCai, Zixian Australian National UniversityAustralia Video Co-Chair in Organizing Committee for PLDI 2023 Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Calin CascavalCascaval, Calin Google ResearchNew Zealand Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Satish ChandraChandra, Satish Meta PlatformsUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
James CheneyCheney, James University of EdinburghUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Younghyun ChoCho, Younghyun University of California, Berkeley Artifact Evaluation Co-Chair in Program Committee within the LCTES-track Publicity Chair in Organizing Committee within the LCTES-track Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Stephen ChongChong, Stephen Harvard UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Bruce CollieCollie, Bruce Runtime Verification, Inc.United Kingdom From Zero to Proving: Building Your First Language with the K Framework
Davide ConficconiConficconi, Davide Politecnico di Milano Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom Committee Member in Program Committee within the EGRAPHS-track
Donovan CrichtonCrichton, Donovan The Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-MadisonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yue DaiDai, Yue UNIVERSITY OF PITTSBURGH Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yaniv DavidDavid, Yaniv Columbia UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
James C. DavisDavis, James C. Purdue UniversityUnited States Programme Committee in Program Committee within the LCTES-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Brian DemskyDemsky, Brian University of California at Irvine Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Oyendrila DobeDobe, Oyendrila Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Julian DolbyDolby, Julian IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Rui DongDong, Rui University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Program Committee within the SOAP-track
E Bernhard EggerEgger, Bernhard Seoul National UniversitySouth Korea General Chair in Organizing Committee within the LCTES-track
Eric EideEide, Eric University of UtahUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Marco EilersEilers, Marco ETH ZurichSwitzerland Committee Member in Program Committee within the SOAP-track
Kevin EllisEllis, Kevin Cornell UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Guilherme EspadaEspada, Guilherme University of LisbonPortugal Video Co-Chair in Organizing Committee for PLDI 2023
Karine Even-MendozaEven-Mendoza, Karine King's College LondonUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
F Xinyu FengFeng, Xinyu Nanjing UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Organizing Committee within the SOAP-track Committee Member in Organizing Committee within the SOAP-track
Irene FinocchiFinocchi, Irene Luiss Guido CarliItaly Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alcides FonsecaFonseca, Alcides University of LisbonPortugal Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nate FosterFoster, Nate Cornell UniversityUnited States PC Chair in Organizing Committee for PLDI 2023 Associate Editor in PLDI Review Committee within the PLDI Research Papers-track
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Committee Member in Program Committee within the ISMM-track
Xinwei FuFu, Xinwei Amazon Web ServicesUnited States Artifact Evaluation Co-Chair in Program Committee within the LCTES-track Artifact Evaluation Co-Chair in Organizing Committee within the LCTES-track
Zhoulai FuFu, Zhoulai State University of New York, Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
G Catarina GamboaGamboa, Catarina LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
François GauthierGauthier, François Oracle LabsAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Qian GeGe, Qian GoogleAustralia Committee Member in Program Committee within the ISMM-track
Pierre GenevesGeneves, Pierre CNRS/LIGFrance Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Manish GoyalGoyal, Manish Apple Inc, USA Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vinod GroverGrover, Vinod NVIDIAUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Guy GuetaGueta, Guy VMWare Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
H Liana HadareanHadarean, Liana Amazon Web ServicesUnited States Committee Member in Organizing Committee within the SOAP-track
Ákos HajduHajdu, Ákos MetaUnited Kingdom Committee Member in Program Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track Committee Member in Organizing Committee within the Infer-track
Lang HamesHames, Lang Building Programming Language Infrastructure With LLVM Components
Shivam HandaHanda, Shivam Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Dongjie HeHe, Dongjie UNSW SydneyAustralia Programme Committee in Program Committee within the LCTES-track
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Committee Member in Organizing Committee within the ARRAY-track Committee Member in Organizing Committee within the ARRAY-track
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Seonyeong HeoHeo, Seonyeong ETH ZurichSwitzerland Programme Committee in Program Committee within the LCTES-track
Josiah HesterHester, Josiah Georgia Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Michael HicksHicks, Michael University of Maryland; AmazonUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Program Committee within the ISMM-track
Aaron HsuHsu, Aaron Committee Member in Program Committee within the ARRAY-track
Yang HuHu, Yang University of Texas at AustinUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jiani HuangHuang, Jiani Neurosymbolic Programming in Scallop
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in PLDI Review Committee within the PLDI Research Papers-track
I Anastasiia IzychevaIzycheva, Anastasiia Technical University of MunichGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
J Shehbaz JafferJaffer, Shehbaz Google, USAUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael B. JamesJames, Michael B. University of California at San Diego Volunteers Co-Chair in Organizing Committee for PLDI 2023
Hyeran JeonJeon, Hyeran University of California, MercedUnited States Programme Committee in Program Committee within the LCTES-track
Limin JiaJia, Limin Carnegie Mellon University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alexandra JimboreanJimborean, Alexandra University of MurciaSpain Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Teresa JohnsonJohnson, Teresa Google Programme Committee in Program Committee within the LCTES-track
K Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Daniel KastnerKastner, Daniel AbsInt Committee Member in Program Committee within the SOAP-track
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Hanjun KimKim, Hanjun Yonsei University Programme Committee in Program Committee within the LCTES-track
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States Programme Committee in Program Committee within the LCTES-track
Sunho KimKim, Sunho De Anza College Building Programming Language Infrastructure With LLVM Components
Maja KirkebyKirkeby, Maja Roskilde UniversityDenmark Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daniel KocherKocher, Daniel University of Salzburg Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thomas KoehlerKoehler, Thomas INRIAFrance Committee Member in Program Committee within the EGRAPHS-track
Elliot (Hillel) KolodnerKolodner, Elliot (Hillel) Israel Committee Member in Program Committee within the ISMM-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rahul KrishnaKrishna, Rahul IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in PLDI Review Committee within the PLDI Research Papers-track
L Ori LahavLahav, Ori Tel Aviv UniversityIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Akash LalLal, Akash Microsoft Research Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States PC Chair in Program Committee within the LCTES-track Program Chair in Organizing Committee within the LCTES-track
Owolabi LegunsenLegunsen, Owolabi Cornell University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States What’s new in Dafny, and what is Dafny anyway?
Mohsen LesaniLesani, Mohsen University of California at Riverside Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Martin LesterLester, Martin University of ReadingUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Guangpu LiLi, Guangpu University of Chicago, USA Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ziyang LiLi, Ziyang Neurosymbolic Programming in Scallop
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland Programme Committee in Program Committee within the LCTES-track
Haopeng LiuLiu, Haopeng Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Tongping LiuLiu, Tongping University of Massachusetts at Amherst Programme Committee in Program Committee within the LCTES-track
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhengyang LiuLiu, Zhengyang University of Utah Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Alexey LoginovLoginov, Alexey MetaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Nuno P. LopesLopes, Nuno P. Universidade de LisboaPortugal Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shan LuLu, Shan University of ChicagoUnited States Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Brandon LuciaLucia, Brandon Carnegie Mellon University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
M Jiacheng MaMa, Jiacheng University of MichiganUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Konstantinos MamourasMamouras, Konstantinos Rice University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jedidiah McClurgMcClurg, Jedidiah Colorado State UniversityUnited States Web Co-Chair in Organizing Committee for PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Tobias MeggendorferMeggendorfer, Tobias IST Austria (Institute of Science and Technology Austria)Austria Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Maryam Mehri DehnaviMehri Dehnavi, Maryam University of TorontoCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anders MiltnerMiltner, Anders Simon Fraser UniversityUnited States Publicity Co-Chair in Organizing Committee for PLDI 2023
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2023
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Anshuman MohanMohan, Anshuman Cornell UniversityUnited States DSL-based Hardware Generation
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the SOAP-track
Shouvick MondalMondal, Shouvick IIT Gandhinagar, IndiaIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David MonniauxMonniaux, David CNRS/VERIMAGFrance Programme Committee in Program Committee within the LCTES-track
Eliot MossMoss, Eliot University of Massachusetts Amherst Committee Member in Program Committee within the ISMM-track
Ike MulderMulder, Ike Radboud University Nijmegen Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Toby MurrayMurray, Toby University of MelbourneAustralia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Madan MusuvathiMusuvathi, Madan Microsoft Research Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2023
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Committee Member in PLDI Review Committee within the PLDI Research Papers-track
N Srinidhi NagendraNagendra, Srinidhi IRIF, Chennai Mathematical InstituteIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mayur NaikNaik, Mayur University of Pennsylvania Neurosymbolic Programming in Scallop
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2023 Student Research Competition Co-Chair in SRC Reviewers within the PLDI SRC-track Committee Member in Program Committee within the EGRAPHS-track
Khanh NguyenNguyen, Khanh Texas A&M UniversityUnited States Committee Member in Program Committee within the ISMM-track
Rachit NigamNigam, Rachit Cornell UniversityUnited States Social Events Co-Chair in Organizing Committee for PLDI 2023 DSL-based Hardware Generation
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
P Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Rangeet PanPan, Rangeet IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Daon ParkPark, Daon Seoul National UniversitySouth Korea Web Chair in Organizing Committee within the LCTES-track
Adam PaszkePaszke, Adam Google ResearchPoland Committee Member in Program Committee within the ARRAY-track
Raju PavuluriPavuluri, Raju IBM T.J. Watson Research Center Towards Supporting Universal Static Analysis using WALA
Hannes PayerPayer, Hannes Google Committee Member in Program Committee within the ISMM-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil Diversity and Inclusion Co-Chair in Organizing Committee for PLDI 2023
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Erez PetrankPetrank, Erez TechnionIsrael Program Chair in Organizing Committee within the ISMM-track
Lauren PickPick, Lauren University of Wisconsin-Madison and University of California, BerkeleyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Goran PiskachevPiskachev, Goran Amazon Web ServicesGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Workshops Co-Chair in Organizing Committee for PLDI 2023 Co-chair in Workshop Co-Chairs within the PLDI Workshops and Tutorials-track Committee Member in Program Committee within the EGRAPHS-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jyoti PrakashPrakash, Jyoti University of PassauGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the Infer-track
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Veselin RaychevRaychev, Veselin DeepCode AG Committee Member in PLDI Review Committee within the PLDI Research Papers-track
John RegehrRegehr, John University of Utah Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Social Events Co-Chair in Organizing Committee for PLDI 2023
Kristian RietveldRietveld, Kristian Leiden University Committee Member in Program Committee within the ARRAY-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2023 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Ori RothRoth, Ori TechnionIsrael Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Neea RuschRusch, Neea Augusta UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yeonhee RyouRyou, Yeonhee KAISTSouth Korea Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Area Chair in PLDI Review Committee within the PLDI Research Papers-track
S Nuno SabinoSabino, Nuno IST & CMU Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Amit SamantaSamanta, Amit University of Utah Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Adrian SampsonSampson, Adrian Cornell University DSL-based Hardware Generation
Stanly SamuelSamuel, Stanly Indian Institute of Science, IndiaIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Divya SankarSankar, Divya IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
Susmit SarkarSarkar, Susmit University of St. Andrews Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Klaus SchneiderSchneider, Klaus University of Kaiserslautern Programme Committee in Program Committee within the LCTES-track
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Committee Member in Program Committee within the ARRAY-track
Michael SchröderSchröder, Michael TU WienAustria Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zili ShaoShao, Zili The Chinese University of Hong Kong Programme Committee in Program Committee within the LCTES-track
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Mary SheeranSheeran, Mary Chalmers \| University of Gothenburg Committee Member in Program Committee within the ARRAY-track
Zhaoyan ShenShen, Zhaoyan Shandong University Programme Committee in Program Committee within the LCTES-track
Thomas ShullShull, Thomas Oracle Labs Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Teaching and Learning Compilers Incrementally Teaching and Learning Compilers Incrementally Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Towards Supporting Universal Static Analysis using WALA
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Vimala SoundarapandianSoundarapandian, Vimala IIT MadrasIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Michael StarzingerStarzinger, Michael University of Salzburg Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Deian StefanStefan, Deian University of California at San DiegoUnited States Sponsorship Co-Chair in Organizing Committee for PLDI 2023
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited States Committee Member in Program Committee within the Infer-track
Michael SteindorferSteindorfer, Michael Delft University of Technology, Netherlands Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the ISMM-track
J. Ryan StinnettStinnett, J. Ryan King's College LondonUnited Kingdom Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Scott StollerStoller, Scott Stony Brook UniversityUnited States High-Level Executable Specification and Reasoning for Improving Distributed Algorithms
Michelle Mills StroutStrout, Michelle Mills Hewlett Packard Enterprise Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yaozhu SunSun, Yaozhu University of Hong KongChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Hyojin SungSung, Hyojin POSTECH Programme Committee in Program Committee within the LCTES-track
T Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Munehiro TakimotoTakimoto, Munehiro Tokyo University of Science Programme Committee in Program Committee within the LCTES-track
Gang TanTan, Gang Pennsylvania State UniversityUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Shangyin TanTan, Shangyin UC BerkeleyUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Jubi TanejaTaneja, Jubi Microsoft ResearchUnited States Student Research Competition Co-Chair in Organizing Committee for PLDI 2023 Student Research Competition Co-Chair in SRC Reviewers within the PLDI SRC-track
Xulong TangTang, Xulong University of Pittsburgh Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yutian TangTang, Yutian ShanghaiTech UniversityChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuxin TangTang, Yuxin Rice University Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Joseph TassarottiTassarotti, Joseph NYUUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Workshops Co-Chair in Organizing Committee for PLDI 2023 Co-chair in Workshop Co-Chairs within the PLDI Workshops and Tutorials-track Committee Member in Organizing Committee within the EGRAPHS-track Committee Member in Program Committee within the EGRAPHS-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hanneli TavanteTavante, Hanneli McGill University Volunteers Co-Chair in Organizing Committee for PLDI 2023
Yongqiang TianTian, Yongqiang University of WaterlooCanada Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Hünkar Can TunçTunç, Hünkar Can Aarhus UniversityDenmark Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan Committee Member in Program Committee within the ARRAY-track
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the ISMM-track
V Sai Venkata Krishnan VV, Sai Venkata Krishnan Indian Institute of Technology MadrasIndia Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
David Van HornVan Horn, David University of MarylandUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States Committee Member in Program Committee within the EGRAPHS-track
Vassil VassilevVassilev, Vassil Princeton University Building Programming Language Infrastructure With LLVM Components Building Programming Language Infrastructure With LLVM Components
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Freek VerbeekVerbeek, Freek Open University of the Netherlands, The Netherlands Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Abhinav VermaVerma, Abhinav The Pennsylvania State University Committee Member in PLDI Review Committee within the PLDI Research Papers-track
W Chao WangWang, Chao University of Southern CaliforniaUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ke WangWang, Ke Visa ResearchUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peixin WangWang, Peixin University of Oxford Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Xinyu WangWang, Xinyu University of MichiganUnited States Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2023 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the PLDI Research Artifacts-track
yu wangwang, yu Nanjing UniversityChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Yuke WangWang, Yuke UC Santa BarbaraUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zheng WangWang, Zheng University of Leeds, UK Programme Committee in Program Committee within the LCTES-track
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Zhenlin WangWang, Zhenlin Michigan Technological University Committee Member in Program Committee within the ISMM-track
Guannan WeiWei, Guannan Purdue UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Elliott WenWen, Elliott The University of Auckland Programme Committee in Program Committee within the LCTES-track
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
James R. WilcoxWilcox, James R. CertoraUnited States Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Max WillseyWillsey, Max University of WashingtonUnited States Committee Member in Organizing Committee within the EGRAPHS-track PC Chair in Program Committee within the EGRAPHS-track
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU) Programme Committee in Program Committee within the LCTES-track
X Anxhelo XhebrajXhebraj, Anxhelo Purdue UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ningning XieXie, Ningning Google Brain / University of TorontoUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Yingfei XiongXiong, Yingfei Peking UniversityChina Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Dongpeng XuXu, Dongpeng University of New HampshireUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ziyang XuXu, Ziyang Princeton UniversityUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Peisen YaoYao, Peisen Zhejing UniversityChina Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Greta YorshYorsh, Greta Jane Street Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Z Fabian ZaiserZaiser, Fabian University of Oxford Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Ayal ZaksZaks, Ayal Mobileye Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Lei ZhangZhang, Lei ICT CAS Programme Committee in Program Committee within the LCTES-track
Tong ZhangZhang, Tong SamsungUnited States Programme Committee in Program Committee within the LCTES-track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Zhe ZhouZhou, Zhe Purdue Author in Artifact Evaluation Committee within the PLDI Research Artifacts-track
He ZhuZhu, He Rutgers University, USA Committee Member in PLDI Review Committee within the PLDI Research Papers-track
Philip ZuckerZucker, Philip DraperUnited States Committee Member in Program Committee within the EGRAPHS-track
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Committee Member in Program Committee within the Infer-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Committee Member in Organizing Committee within the ARRAY-track

PLDI 2023 Contributors

Results (296)

Tracks

Co-hosted Conferences

Workshops