PLDI 2025 Contributors
Filter
Role Type
Committee member
Contributor/Author
Contributing to
ARRAY
EGRAPHS
ISMM
LCTES
PLDI
PLMW @ PLDI
RPLS
SOAP
Sparse
WQS
Number of Roles
1..3
Country
-unspecified-
Argentina
Australia
Brazil
Canada
Chile
China
Czechia
Denmark
Estonia
France
Germany
Greece
Hong Kong SAR China
India
Iran
Israel
Italy
Japan
Netherlands
New Zealand
Portugal
Singapore
South Korea
Spain
Sweden
Switzerland
Turkey
United Arab Emirates
United Kingdom
United States
Search
Results (369)
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 |
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 |
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 |
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 |
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 UC Irvine; MPI-SP |
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 |
Haobin NiNi, Haobin Cornell University |
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 Cornell UniversityUnited States |
Robert RandRand, Robert University of ChicagoUnited States |
Georges Aaron RANDRIANAINARANDRIANAINA, Georges Aaron Univ Rennes - IRISAFrance |
Frédéric RecoulesRecoules, Frédéric CEA, List |
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 |
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 |
Ziteng YangYang, Ziteng Georgia Institute of TechnologyUnited States |
Ugur Y. YavuzYavuz, Ugur Y. Boston UniversityTurkey |
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 |