PLDI 2025 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results (375)
Reto AchermannAchermann, Reto The University of British ColumbiaCanada |
Andrew AdamsAdams, Andrew Adobe Research |
Austin J. AdamsAdams, Austin J. Georgia Institute of TechnologyUnited States |
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer University of Washington, SeattleUnited States |
Willow AhrensAhrens, Willow Massachusetts Institute of TechnologyUnited States |
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia |
Karim AliAli, Karim NYU Abu DhabiUnited Arab Emirates |
Mehran Alidoost NiaAlidoost Nia, Mehran Shahid Beheshti UniversityIran |
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States |
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States |
Jason AnselAnsel, Jason MetaUnited States |
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance |
Aslan AskarovAskarov, Aslan Aarhus University |
Nicola AssoliniAssolini, Nicola University of VeronaItaly |
Alexander BakstBakst, Alexander CertoraUnited States |
Thomas BallBall, Thomas Microsoft ResearchUnited States |
Manya BansalBansal, Manya Massachusetts Institute of Technology |
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia |
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance |
Ryan BeckettBeckett, Ryan Microsoft Research, USA |
Aaron BembenekBembenek, Aaron University of MelbourneAustralia |
Gilbert BernsteinBernstein, Gilbert University of WashingtonUnited States |
Walter BinderBinder, Walter USI LuganoSwitzerland |
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia |
Carsten BlankBlank, Carsten data cybernetics ssc GMbHGermany |
Michael D. BondBond, Michael D. Ohio State University |
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland |
Ajay BrahmakshatriyaBrahmakshatriya, Ajay Massachusetts Institute of TechnologyUnited States |
João M. P. CardosoCardoso, João M. P. University of Porto and INESC TEC, PortugalPortugal |
Filippo CarloniCarloni, Filippo Politecnico di MilanoItaly |
Maria Carpen-AmarieCarpen-Amarie, Maria Huawei Zurich Research Center, Switzerland |
Calin CascavalCascaval, Calin Google DeepMindNew Zealand |
Chris CasinghinoCasinghino, Chris Jane Street |
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany |
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States |
Christopĥe CharetonChareton, Christopĥe CEA, LIST, France |
Arthur CharguéraudCharguéraud, Arthur InriaFrance |
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) New York University, University of AlbertaUnited States |
Xiang ChenChen, Xiang The Hong Kong University of Science and Technology |
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-ChampaignUnited States |
David ChisnallChisnall, David SCI SemiconductorUnited Kingdom |
David ChocholatýChocholatý, David Brno University of TechnologyCzechia |
Jongouk ChoiChoi, Jongouk University of Central FloridaUnited States |
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited States |
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States |
Albert CohenCohen, Albert Google DeepMindFrance |
Samuel CowardCoward, Samuel Imperial College London, UK / Intel CorporationUnited Kingdom |
Huimin CuiCui, Huimin Institute of Computing Technology, Chinese Academy of SciencesChina |
Ankush DasDas, Ankush Boston UniversityUnited States |
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States |
Omkar Dilip DhawalDhawal, Omkar Dilip Indian Institute of Technology MadrasIndia |
Olivia Di MatteoDi Matteo, Olivia University of British Columbia |
Alessandra Di PierroDi Pierro, Alessandra University of VeronaItaly |
Robert DickDick, Robert University of Michigan, USA |
Elizabeth DinellaDinella, Elizabeth Bryn Mawr CollegeUnited States |
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University |
Rui DongDong, Rui University of MichiganUnited States |
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael |
Martin ElsmanElsman, Martin University of CopenhagenDenmark |
Mohamed ElwakilElwakil, Mohamed U.S. Coast Guard AcademyUnited States |
Mattan ErezErez, Mattan The University of Texas at Austin |
Sebastian ErtelErtel, Sebastian Barkhausen Institute, Dresden |
Andong FanFan, Andong University of Toronto |
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States |
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States |
Sebastian FeldFeld, Sebastian Delft University of TechnologyNetherlands |
Yu FengFeng, Yu University of California at Santa BarbaraUnited States |
Matthew FlattFlatt, Matthew University of UtahUnited States |
Oliver FlattFlatt, Oliver University of WashingtonUnited States |
Alcides FonsecaFonseca, Alcides LASIGE; University of LisbonPortugal |
Yannick ForsterForster, Yannick INRIAFrance |
Nate FosterFoster, Nate Cornell University and Jane StreetUnited States |
Frank FuFu, Frank University of South CarolinaUnited States |
Joshua GancherGancher, Joshua Northeastern UniversityUnited States |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Lokesh GidraGidra, Lokesh GoogleUnited States |
Marco GIUNTIGIUNTI, Marco University of Oxford |
Andrés GoensGoens, Andrés University of Amsterdam |
Harrison GoldsteinGoldstein, Harrison University of Maryland College ParkUnited States |
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States |
Shaurya GomberGomber, Shaurya University of Illinois Urbana-ChampaignUnited States |
Hannah GommerstadtGommerstadt, Hannah Vassar College |
Laure GonnordGonnord, Laure Université Grenoble-Alpes - Grenoble INP - LCISFrance |
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah |
Colin GordonGordon, Colin Drexel UniversityUnited States |
Ben GreenmanGreenman, Ben University of Utah, USA |
Tobias GrosserGrosser, Tobias University of Cambridge, UKUnited Kingdom |
Dan GrossmanGrossman, Dan University of WashingtonUnited States |
Vinod GroverGrover, Vinod NVIDIAUnited States |
Samuel GruetterGruetter, Samuel ETH Zurich |
Ronghui GuGu, Ronghui Columbia UniversityUnited States |
Arjun GuhaGuha, Arjun Northeastern University, USAUnited States |
Bill HarrisHarris, Bill AWS Automated Reasoning GroupUnited States |
Tim HarrisHarris, Tim Microsoft, UKUnited Kingdom |
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark |
Magne HaveraaenHaveraaen, Magne University of Bergen, Norway |
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States |
Jiaqi HeHe, Jiaqi University of AlbertaCanada |
Kihong HeoHeo, Kihong KAISTSouth Korea |
Seonyeong HeoHeo, Seonyeong Kyung Hee UniversitySouth Korea |
Yann HerklotzHerklotz, Yann EPFLSwitzerland |
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia |
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States |
Changwan HongHong, Changwan Massachusetts Institute of Technology |
Tony HoskingHosking, Tony Australian National UniversityAustralia |
Jian HuangHuang, Jian University of Illinois at Urbana-Champaign |
Ruikai HuangHuang, Ruikai Georgia Institute of Technology |
Yulong HuangHuang, Yulong University of CambridgeUnited Kingdom |
Zunchen HuangHuang, Zunchen Centrum Wiskunde & InformaticaNetherlands |
John HuiHui, John Columbia University, New YorkUnited States |
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea |
Shachar ItzhakyItzhaky, Shachar TechnionIsrael |
Devansh JainJain, Devansh University of Illinois at Urbana-Champaign |
Kangkook JeeJee, Kangkook The University of Texas - DallasUnited States |
Minseok JeonJeon, Minseok Korea UniversitySouth Korea |
Susmit JhaJha, Susmit SRIUnited States |
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States |
Guoliang JinJin, Guoliang Databricks; North Carolina State UniversityUnited States |
Yibo JinJin, Yibo The Hong Kong University of Science and TechnologyChina |
Changhee JungJung, Changhee Purdue University, USA |
Ralf JungJung, Ralf ETH ZurichSwitzerland |
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State UniversityUnited States |
Stephen KellKell, Stephen King's College London |
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States |
Sharjeel KhanKhan, Sharjeel GoogleUnited States |
Hyoseung KimKim, Hyoseung University of California, RiversideUnited States |
Jieung KimKim, Jieung Yonsei UniversitySouth Korea |
Youngsok KimKim, Youngsok Yonsei UniversitySouth Korea |
Christos KotselidisKotselidis, Christos University of Manchester/Pierer InnovationUnited Kingdom |
V Krishna NandivadaKrishna Nandivada, V IIT Madras |
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland |
Ignacio LagunaLaguna, Ignacio Lawrence Livermore National LaboratoryUnited States |
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece |
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States |
Dongyoon LeeLee, Dongyoon Stony Brook UniversityUnited States |
Jae W. LeeLee, Jae W. Seoul National UniversitySouth Korea |
Kyoungwoo LeeLee, Kyoungwoo Yonsei University |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
Yongwoo LeeLee, Yongwoo Yonsei University |
Daan LeijenLeijen, Daan Microsoft ResearchUnited States |
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz |
Alexander K. LewLew, Alexander K. Yale UniversityUnited States |
Ang LiLi, Ang Pacific Northwest National Laboratory |
Kaixuan LiLi, Kaixuan East China Normal University; Nanyang Technological UniversityChina |
Liyi LiLi, Liyi Iowa State UniversityUnited States |
Runming LiLi, Runming Carnegie Mellon University |
Shaohua LiLi, Shaohua The Chinese University of Hong KongHong Kong SAR China |
Xuyang LiLi, Xuyang Purdue University |
Yao LiLi, Yao Portland State UniversityUnited States |
HeuiChan LimLim, HeuiChan Davidson CollegeUnited States |
Jay P. LimLim, Jay P. Yale UniversityUnited States |
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom |
Michael LippautzLippautz, Michael Google |
Jing LiuLiu, Jing Max Planck Institute for Security and Privacy |
Xu LiuLiu, Xu North Carolina State UniversityUnited States |
Yonghui LiuLiu, Yonghui Monash UniversityAustralia |
Debasmita LoharLohar, Debasmita Karlsruhe Institute of TechnologyGermany |
Andrew LumsdaineLumsdaine, Andrew RelationalAI and University of WashingtonUnited States |
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States |
Jean-Marie MadiotMadiot, Jean-Marie INRIA Paris |
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany |
Avinash MalikMalik, Avinash University of Auckland |
Raghav MalikMalik, Raghav Purdue UniversityUnited States |
Sharad MalikMalik, Sharad Princeton University |
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Na MengMeng, Na Virginia TechUnited States |
Miao MiaoMiao, Miao The University of Texas at DallasUnited States |
Benjamin MikekMikek, Benjamin Georgia Institute of Technology |
Mae MilanoMilano, Mae Princeton UniversityUnited States |
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute |
Ashish MishraMishra, Ashish IIT HyderabadIndia |
Austin MordahlMordahl, Austin University of Illinois ChicagoUnited States |
Seunghyeon NamNam, Seunghyeon Seoul National University |
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States |
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly |
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States |
Rachit NigamNigam, Rachit Massachusetts Institute of TechnologyUnited States |
Aman NougrahiyaNougrahiya, Aman IIT MadrasIndia |
Tony NowatzkiNowatzki, Tony University of California, Los Angeles |
Liam O'ConnorO'Connor, Liam Australian National UniversityAustralia |
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea |
Oded PadonPadon, Oded Weizmann Institute of ScienceIsrael |
Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden |
Vedant ParanjapeParanjape, Vedant Purdue University |
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea |
Kwanghyun ParkPark, Kwanghyun Yonsei UniversitySouth Korea |
Sunho ParkPark, Sunho KAISTSouth Korea |
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States |
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil |
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark |
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States |
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar |
André PlatzerPlatzer, André Karlsruhe Institute of Technology (KIT)Germany |
Alex PotaninPotanin, Alex Australian National UniversityAustralia |
Sanjiva PrasadPrasad, Sanjiva Indian Institute of Technology DelhiIndia |
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States |
Weihao QuQu, Weihao Monmouth UniversityUnited States |
Mukund RaghothamanRaghothaman, Mukund University of Southern California |
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Boston UniversityUnited States |
Robert RandRand, Robert University of ChicagoUnited States |
Georges Aaron RANDRIANAINARANDRIANAINA, Georges Aaron Univ Rennes - IRISAFrance |
Bin RenRen, Bin William & MaryUnited States |
John ReppyReppy, John University of Chicago, USA |
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Tiark RompfRompf, Tiark Purdue UniversityUnited States |
Partha RoopRoop, Partha University of Auckland |
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada |
Andreas RossbergRossberg, Andreas IndependentGermany |
Probir RoyRoy, Probir University of Michigan at Dearborn |
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain |
Anmol SahooSahoo, Anmol Purdue University |
Martin SchoeberlSchoeberl, Martin Technical University of DenmarkDenmark |
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands |
Michael SchwarzSchwarz, Michael TU MunichGermany |
Taro SekiyamaSekiyama, Taro National Institute of Informatics; SOKENDAIJapan |
Peter SewellSewell, Peter University of CambridgeUnited Kingdom |
Denys ShabalinShabalin, Denys GoogleSwitzerland |
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom |
Zili ShaoShao, Zili The Chinese University of Hong Kong |
Rahul SharmaSharma, Rahul Microsoft Research |
Yunong ShiShi, Yunong AWS Quantum TechnologiesUnited States |
Olin ShiversShivers, Olin Northeastern University, USA |
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States |
Abhishek Kr SinghSingh, Abhishek Kr National University of SingaporeSingapore |
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States |
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States |
Rob SisonSison, Rob UNSW SydneyAustralia |
Dimitrios SkarlatosSkarlatos, Dimitrios Carnegie Mellon UniversityUnited States |
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece |
Kaitlin SmithSmith, Kaitlin Northwestern University |
Sunbeom SoSo, Sunbeom GIST (Gwangju Institute of Science and Technology) |
Raphael J. SofaerSofaer, Raphael J. Columbia University |
Mallku SoldevilaSoldevila, Mallku Universidade Federal de Minas Gerais, BrazilBrazil |
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland |
Parasara Sridhar DuggiralaSridhar Duggirala, Parasara The University of North Carolina at Chapel HillUnited States |
Manu SridharanSridharan, Manu University of California at RiversideUnited States |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Sam StatonStaton, Sam University of OxfordUnited Kingdom |
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States |
Maoni StephensStephens, Maoni MicrosoftUnited States |
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany |
Pengfei SuSu, Pengfei University of California, MercedUnited States |
Yaozhu SunSun, Yaozhu National Institute of InformaticsJapan |
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States |
Hyojin SungSung, Hyojin Seoul National University |
Joshua SunshineSunshine, Joshua Carnegie Mellon University |
Milijana SurbatovichSurbatovich, Milijana University of Maryland |
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan |
Jubi TanejaTaneja, Jubi Microsoft ResearchUnited States |
Zachary TatlockTatlock, Zachary University of WashingtonUnited States |
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States |
Aalok ThakkarThakkar, Aalok Ashoka University |
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Ignacio TiraboschiTiraboschi, Ignacio Inria, France / ENS, FranceArgentina |
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States |
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States |
Matías ToroToro, Matías University of ChileChile |
Milla ValnetValnet, Milla Sorbonne UniversitéFrance |
Niki VazouVazou, Niki IMDEA Software Institute |
Adriana Laura VoineaVoinea, Adriana Laura University of Glasgow, UKUnited Kingdom |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Yu WangWang, Yu Nanjing UniversityChina |
Yuning WangWang, Yuning Rutgers University |
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore |
Anjiang WeiWei, Anjiang Stanford UniversityUnited States |
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance |
Sam WestrickWestrick, Sam New York UniversityUnited States |
Robert WilleWille, Robert Technical University of Munich & SCCH GmbHGermany |
Xiaodi WuWu, Xiaodi University of MarylandUnited States |
Zifan XieXie, Zifan Huazhong University of Science and TechnologyChina |
Amanda XuXu, Amanda University of Wisconsin-Madison |
Jingling XueXue, Jingling UNSW SydneyAustralia |
Ugur Y. YavuzYavuz, Ugur Y. Boston UniversityUnited States |
Mingsheng YingYing, Mingsheng University of Technology SydneyAustralia |
Greta YorshYorsh, Greta Jane Street |
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States |
George ZakhourZakhour, George University of St. GallenSwitzerland |
Jianping ZengZeng, Jianping Samsung ElectronicsUnited States |
Stefan ZetzscheZetzsche, Stefan Amazon Web ServicesUnited Kingdom |
Bowen ZhangZhang, Bowen The Hong Kong University of Science and TechnologyChina |
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina |
Chi ZhangZhang, Chi Nanjing UniversityChina |
Genghan ZhangZhang, Genghan Stanford University |
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States |
Robert ZhangZhang, Robert The University of Texas at AustinUnited States |
Tong ZhangZhang, Tong SamsungUnited States |
Yihong ZhangZhang, Yihong University of WashingtonUnited States |
Yizhou ZhangZhang, Yizhou University of WaterlooCanada |
Huan ZhaoZhao, Huan National University of SingaporeSingapore |
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States |
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States |
Li ZhouZhou, Li Institute of Software, Chinese Academy of SciencesChina |
Tong ZhouZhou, Tong Georgia Institute of Technology |
Xiangyu ZhouZhou, Xiangyu University of Michigan |
Philip ZuckerZucker, Philip DraperUnited States |
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina |