PLDI 2023 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (296)
Umut A. AcarAcar, Umut A. Carnegie Mellon University |
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia |
Jade AlglaveAlglave, Jade University College LondonFrance |
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran |
Jason AnselAnsel, Jason MetaUnited States |
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States |
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly |
Timur BabakolBabakol, Timur SUNY Binghamton, USA |
Dan BarowyBarowy, Dan Williams CollegeUnited States |
Mako P. BatesBates, Mako P. University of Vermont |
Guillaume BaudartBaudart, Guillaume InriaFrance |
Ryan BeckettBeckett, Ryan Microsoft Research, USA |
Walter BinderBinder, Walter USI LuganoSwitzerland |
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia |
Rastislav BodíkBodík, Rastislav University of Washington |
Saheed Olayemi BolarinwaBolarinwa, Saheed Olayemi Eotvos Lorand University |
Michael D. BondBond, Michael D. Ohio State University, USA |
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom |
William J. BowmanBowman, William J. University of British ColumbiaCanada |
Mihai BudiuBudiu, Mihai VMware Research Group |
Calin CascavalCascaval, Calin Google ResearchNew Zealand |
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom |
Satish ChandraChandra, Satish Meta PlatformsUnited States |
Swarat ChaudhuriChaudhuri, Swarat University of Texas at AustinUnited States |
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States |
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States |
James CheneyCheney, James University of EdinburghUnited Kingdom |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Stephen ChongChong, Stephen Harvard UniversityUnited States |
Bruce CollieCollie, Bruce Runtime Verification, Inc.United Kingdom |
Davide ConficconiConficconi, Davide Politecnico di Milano |
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom |
Donovan CrichtonCrichton, Donovan The Australian National UniversityAustralia |
Yue DaiDai, Yue UNIVERSITY OF PITTSBURGH |
Yaniv DavidDavid, Yaniv Columbia UniversityUnited States |
James C. DavisDavis, James C. Purdue UniversityUnited States |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Brian DemskyDemsky, Brian University of California at Irvine |
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States |
Julian DolbyDolby, Julian IBM ResearchUnited States |
Rui DongDong, Rui University of MichiganUnited States |
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael |
Eric EideEide, Eric University of UtahUnited States |
Marco EilersEilers, Marco ETH ZurichSwitzerland |
Kevin EllisEllis, Kevin Cornell UniversityUnited States |
Guilherme EspadaEspada, Guilherme University of LisbonPortugal |
Karine Even-MendozaEven-Mendoza, Karine King's College LondonUnited Kingdom |
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly |
Irene FinocchiFinocchi, Irene Luiss Guido CarliItaly |
Alcides FonsecaFonseca, Alcides University of LisbonPortugal |
Nate FosterFoster, Nate Cornell UniversityUnited States |
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom |
Xinwei FuFu, Xinwei Amazon Web ServicesUnited States |
Zhoulai FuFu, Zhoulai State University of New York, Korea |
François GauthierGauthier, François Oracle LabsAustralia |
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States |
Pierre GenevesGeneves, Pierre CNRS/LIGFrance |
Manish GoyalGoyal, Manish Apple Inc, USA |
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom |
Vinod GroverGrover, Vinod NVIDIAUnited States |
Sam GuyerGuyer, Sam Tufts UniversityUnited States |
Shivam HandaHanda, Shivam Massachusetts Institute of Technology |
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland |
Dongjie HeHe, Dongjie UNSW SydneyAustralia |
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark |
Kihong HeoHeo, Kihong KAISTSouth Korea |
Seonyeong HeoHeo, Seonyeong ETH ZurichSwitzerland |
Josiah HesterHester, Josiah Georgia Institute of TechnologyUnited States |
Michael HicksHicks, Michael University of Maryland; AmazonUnited States |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States |
Tony HoskingHosking, Tony Australian National UniversityAustralia |
Yang HuHu, Yang University of Texas at AustinUnited States |
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea |
Michael B. JamesJames, Michael B. University of California at San Diego |
Hyeran JeonJeon, Hyeran University of California, MercedUnited States |
Limin JiaJia, Limin Carnegie Mellon University |
Alexandra JimboreanJimborean, Alexandra University of MurciaSpain |
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia |
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands |
Hanjun KimKim, Hanjun Yonsei University |
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States |
Sunho KimKim, Sunho De Anza College |
Maja KirkebyKirkeby, Maja Roskilde UniversityDenmark |
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States |
Daniel KocherKocher, Daniel University of Salzburg |
Thomas KoehlerKoehler, Thomas INRIAFrance |
Elliot (Hillel) KolodnerKolodner, Elliot (Hillel) Israel |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Rahul KrishnaKrishna, Rahul IBM ResearchUnited States |
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland |
Akash LalLal, Akash Microsoft Research |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States |
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States |
Owolabi LegunsenLegunsen, Owolabi Cornell University |
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States |
Mohsen LesaniLesani, Mohsen University of California at Riverside |
Martin LesterLester, Martin University of ReadingUnited Kingdom |
Guangpu LiLi, Guangpu University of Chicago, USA |
Shaohua LiLi, Shaohua ETH ZurichSwitzerland |
Yao LiLi, Yao Portland State UniversityUnited States |
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States |
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland |
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States |
Tongping LiuLiu, Tongping University of Massachusetts at Amherst |
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States |
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States |
Zhengyang LiuLiu, Zhengyang University of Utah |
Alexey LoginovLoginov, Alexey MetaUnited States |
Nuno P. LopesLopes, Nuno P. Universidade de LisboaPortugal |
Shan LuLu, Shan University of ChicagoUnited States |
Brandon LuciaLucia, Brandon Carnegie Mellon University, USA |
Konstantinos MamourasMamouras, Konstantinos Rice University |
Jedidiah McClurgMcClurg, Jedidiah Colorado State UniversityUnited States |
Tobias MeggendorferMeggendorfer, Tobias IST Austria (Institute of Science and Technology Austria)Austria |
Maryam Mehri DehnaviMehri Dehnavi, Maryam University of TorontoCanada |
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States |
Anders MiltnerMiltner, Anders Simon Fraser UniversityUnited States |
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States |
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece |
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance |
Shouvick MondalMondal, Shouvick IIT Gandhinagar, IndiaIndia |
David MonniauxMonniaux, David CNRS/VERIMAGFrance |
Eliot MossMoss, Eliot University of Massachusetts Amherst |
Ike MulderMulder, Ike Radboud University Nijmegen |
Toby MurrayMurray, Toby University of MelbourneAustralia |
Madan MusuvathiMusuvathi, Madan Microsoft Research |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Khanh NguyenNguyen, Khanh Texas A&M UniversityUnited States |
Rachit NigamNigam, Rachit Cornell UniversityUnited States |
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden |
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States |
Rangeet PanPan, Rangeet IBM ResearchUnited States |
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States |
Daon ParkPark, Daon Seoul National UniversitySouth Korea |
Adam PaszkePaszke, Adam Google ResearchPoland |
Raju PavuluriPavuluri, Raju IBM T.J. Watson Research Center |
Hila PelegPeleg, Hila TechnionIsrael |
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil |
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology |
Lauren PickPick, Lauren University of Wisconsin-Madison and University of California, BerkeleyUnited States |
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States |
Goran PiskachevPiskachev, Goran Amazon Web ServicesGermany |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA |
Jyoti PrakashPrakash, Jyoti University of PassauGermany |
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany |
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands |
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States |
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States |
Veselin RaychevRaychev, Veselin DeepCode AG |
John RegehrRegehr, John University of Utah |
Alastair ReidReid, Alastair Arm LtdUnited Kingdom |
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States |
Kristian RietveldRietveld, Kristian Leiden University |
Manuel RiggerRigger, Manuel National University of SingaporeSingapore |
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael |
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany |
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States |
Neea RuschRusch, Neea Augusta UniversityUnited States |
Yeonhee RyouRyou, Yeonhee KAISTSouth Korea |
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea |
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance |
Amit SamantaSamanta, Amit University of Utah |
Stanly SamuelSamuel, Stanly Indian Institute of Science, IndiaIndia |
Divya SankarSankar, Divya IBM ResearchUnited States |
Susmit SarkarSarkar, Susmit University of St. Andrews |
Klaus SchneiderSchneider, Klaus University of Kaiserslautern |
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands |
Michael SchröderSchröder, Michael TU WienAustria |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Zili ShaoShao, Zili The Chinese University of Hong Kong |
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore |
Mary SheeranSheeran, Mary Chalmers | University of Gothenburg |
Zhaoyan ShenShen, Zhaoyan Shandong University |
Thomas ShullShull, Thomas Oracle Labs |
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States |
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States |
KC SivaramakrishnanSivaramakrishnan, KC IIT Madras and TaridesIndia |
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina |
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland |
Vimala SoundarapandianSoundarapandian, Vimala IIT MadrasIndia |
Michael StarzingerStarzinger, Michael University of Salzburg |
Deian StefanStefan, Deian University of California at San DiegoUnited States |
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited States |
Michael SteindorferSteindorfer, Michael Delft University of Technology, Netherlands |
Maoni StephensStephens, Maoni MicrosoftUnited States |
J. Ryan StinnettStinnett, J. Ryan King's College LondonUnited Kingdom |
Scott StollerStoller, Scott Stony Brook UniversityUnited States |
Michelle Mills StroutStrout, Michelle Mills Hewlett Packard Enterprise |
Yaozhu SunSun, Yaozhu University of Hong KongChina |
Munehiro TakimotoTakimoto, Munehiro Tokyo University of Science |
Gang TanTan, Gang Pennsylvania State UniversityUnited States |
Shangyin TanTan, Shangyin UC BerkeleyUnited States |
Jubi TanejaTaneja, Jubi Microsoft ResearchUnited States |
Xulong TangTang, Xulong University of Pittsburgh |
Yutian TangTang, Yutian ShanghaiTech UniversityChina |
Yuxin TangTang, Yuxin Rice University |
Joseph TassarottiTassarotti, Joseph NYUUnited States |
Hanneli TavanteTavante, Hanneli McGill University |
Yongqiang TianTian, Yongqiang University of WaterlooCanada |
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany |
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University |
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States |
Hünkar Can TunçTunç, Hünkar Can Aarhus UniversityDenmark |
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan |
David Van HornVan Horn, David University of MarylandUnited States |
Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States |
Vassil VassilevVassilev, Vassil Princeton University |
Niki VazouVazou, Niki IMDEA Software Institute |
Freek VerbeekVerbeek, Freek Open University of the Netherlands, The Netherlands |
Abhinav VermaVerma, Abhinav The Pennsylvania State University |
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina |
Ke WangWang, Ke Visa ResearchUnited States |
Peixin WangWang, Peixin University of Oxford |
Wenxi WangWang, Wenxi University of Texas at AustinUnited States |
Xinyu WangWang, Xinyu University of MichiganUnited States |
yu wangwang, yu Nanjing UniversityChina |
Yuke WangWang, Yuke UC Santa BarbaraUnited States |
Zheng WangWang, Zheng University of Leeds, UK |
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States |
Zhenlin WangWang, Zhenlin Michigan Technological University |
Guannan WeiWei, Guannan Purdue UniversityUnited States |
Elliott WenWen, Elliott The University of Auckland |
Sam WestrickWestrick, Sam Carnegie Mellon UniversityUnited States |
James R. WilcoxWilcox, James R. CertoraUnited States |
Max WillseyWillsey, Max University of WashingtonUnited States |
Peter WägemannWägemann, Peter Friedrich-Alexander University Erlangen-Nürnberg (FAU) |
Ningning XieXie, Ningning Google Brain / University of TorontoUnited Kingdom |
Yingfei XiongXiong, Yingfei Peking UniversityChina |
Dongpeng XuXu, Dongpeng University of New HampshireUnited States |
Ziyang XuXu, Ziyang Princeton UniversityUnited States |
Greta YorshYorsh, Greta Jane Street |
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States |
Tong ZhangZhang, Tong SamsungUnited States |
Yizhou ZhangZhang, Yizhou University of WaterlooCanada |
He ZhuZhu, He Rutgers University, USA |
Philip ZuckerZucker, Philip DraperUnited States |