POPL 2025 Contributors
Filter
Role Type
Committee member
Contributor/Author
Session chair
Contributing to
CPP
CoqPL
Dafny
LAFI
PADL
PEPM
PLMW @ POPL
PLanQC
POPL
PriSC
TPSA
VMCAI
WAW
WITS
Number of Roles
1..3
4..6
7..9
10 or more
Country
-unspecified-
Argentina
Australia
Austria
Belgium
Brazil
Bulgaria
Canada
Chile
China
Czechia
Denmark
Estonia
Finland
France
Germany
Greece
Hong Kong
Hong Kong SAR China
Hungary
India
Ireland
Israel
Italy
Japan
Malta
Mexico
Netherlands
Portugal
Russia
Singapore
Slovenia
South Korea
Spain
Sweden
Switzerland
Taiwan
Turkey
Uganda
United Kingdom
United States
Uzbekistan
Search
Results (1097)
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States |
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States |
Alejandro AguirreAguirre, Alejandro Aarhus UniversityDenmark |
Amal AhmedAhmed, Amal Northeastern University, USAUnited States |
Seth AhrenbachAhrenbach, Seth Beneficial AI FoundationUnited States |
Ozgur AkgunAkgun, Ozgur University of St Andrews, St Andrews, UKUnited Kingdom |
Ryan AlameddineAlameddine, Ryan University of California, Berkeley |
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States |
Cass AlexandruAlexandru, Cass RPTU Kaiserslautern-LandauGermany |
Damir AlfiatonovAlfiatonov, Damir Innopolis University |
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom |
Ricardo AlmeidaAlmeida, Ricardo University of Edinburgh |
José Bacelar AlmeiraAlmeira, José Bacelar University of Minho & INESC TEC |
Carmen AlmudéverAlmudéver, Carmen Universitat Politècnica de València |
Elli AnastasiadiAnastasiadi, Elli Uppsala UniversitySweden |
Emmanuel Anaya GonzalezAnaya Gonzalez, Emmanuel UCSD |
Bruno AndreottiAndreotti, Bruno Universidade Federal de Minas Gerais |
Andrew W. AppelAppel, Andrew W. Princeton University |
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly |
Miguel AreiasAreias, Miguel University of Porto, Portugal |
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance |
Joaquín AriasArias, Joaquín Universidad Rey Juan CarlosSpain |
Zena M. AriolaAriola, Zena M. University of OregonUnited States |
Jai AroraArora, Jai University of Illinois at Urbana-ChampaignUnited States |
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan |
Flavio AscariAscari, Flavio University of Pisa |
Nicola AssoliniAssolini, Nicola University of VeronaItaly |
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden |
Eric AtkinsonAtkinson, Eric Binghamton University |
Jon AytacAytac, Jon Sandia National Laboratories |
Muqsit AzeemAzeem, Muqsit Technical University of MunichGermany |
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur Rochester Institute of Technology, USAUnited States |
Michael BackesBackes, Michael Cispa Helmholtz Center for Information Security |
Alexander BaiBai, Alexander MPI-SWSUnited States |
Marcello BalducciniBalduccini, Marcello Saint Joseph's University, USA |
Thomas BallBall, Thomas Microsoft ResearchUnited States |
Ignacio BallesterosBallesteros, Ignacio IMDEA Software Institute and Universidad Politécnica de MadridSpain |
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States |
Mutsunori BanbaraBanbara, Mutsunori Nagoya UniversityJapan |
Rini BanerjeeBanerjee, Rini University of CambridgeUnited Kingdom |
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia |
Jialu BaoBao, Jialu Cornell University |
Yuyan BaoBao, Yuyan Augusta UniversityUnited States |
Anita BaralBaral, Anita Miami University |
Haniel BarbosaBarbosa, Haniel Universidade Federal de Minas Gerais, BrazilBrazil |
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland |
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany |
Ezio BartocciBartocci, Ezio TU WienAustria |
Andrej BauerBauer, Andrej University of LjubljanaSlovenia |
Olga BecciBecci, Olga University of Bologna |
Ryan BeckettBeckett, Ryan Microsoft Research, USA |
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States |
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de MadridSpain |
Benjamin BennetzenBennetzen, Benjamin Department of Computer Science, Aalborg University |
Manuel BenteleBentele, Manuel University of FreiburgGermany |
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States |
Siddharth BhatBhat, Siddharth University of Cambridge |
Malgorzata BiernackaBiernacka, Malgorzata University of Wrocław |
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark |
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands |
Lionel BlatterBlatter, Lionel Max Planck Institute for Security and Privacy |
Clément BlaudeauBlaudeau, Clément InriaFrance |
Roderick BloemBloem, Roderick Institute of Software Technology, Graz University of Technology Austria |
Rastislav BodíkBodík, Rastislav Google Research, Brain TeamUnited States |
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance |
Filippo BonchiBonchi, Filippo University of PisaItaly |
Karnbongkot BoonriongBoonriong, Karnbongkot Imperial College LondonUnited States |
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom |
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance |
Sylvain BoulméBoulmé, Sylvain Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance |
Maddy BowersBowers, Maddy Massachusetts Institute of TechnologyUnited States |
William J. BowmanBowman, William J. University of British ColumbiaCanada |
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland |
Roberto BruniBruni, Roberto University of PisaItaly |
Florian BruseBruse, Florian University of KasselGermany |
Mario BucevBucev, Mario EPFLSwitzerland |
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States |
Brian CampbellCampbell, Brian University of Edinburgh |
Lauren CapellutoCapelluto, Lauren AWS Quantum Technologies |
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States |
Jacques CaretteCarette, Jacques McMaster UniversityCanada |
Mario CarneiroCarneiro, Mario CMUUnited States |
Manuel CarroCarro, Manuel IMDEA Software Institute and Universidad Politécnica de MadridSpain |
Pedro CarrottCarrott, Pedro Imperial College LondonUnited Kingdom |
William CashmanCashman, William University of Oxford |
Laura M. CastroCastro, Laura M. University of A CoruñaSpain |
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States |
Martin CeresaCeresa, Martin IMDEA Software InstituteSpain |
Devora Chait-RothChait-Roth, Devora New York UniversityUnited States |
Debraj ChakrabortyChakraborty, Debraj Masaryk UniversityIndia |
Saikat ChakrabortyChakraborty, Saikat Microsoft ResearchUnited States |
Soham ChakrabortyChakraborty, Soham TU DelftNetherlands |
Jonathan ChanChan, Jonathan University of PennsylvaniaCanada |
Satish ChandraChandra, Satish Google, IncUnited States |
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States |
Nicolas ChappeChappe, Nicolas Inria Lyon, LIP |
Christopĥe CharetonChareton, Christopĥe CEA, LIST, France |
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States |
Samuel ChassotChassot, Samuel EPFL, LARASwitzerland |
Agnishom ChattopadhyayChattopadhyay, Agnishom ImironJapan |
Alain Chavarri VillarelloChavarri Villarello, Alain Vrije Universiteit Amsterdam |
Hanxi ChenChen, Hanxi University of Pennsylvania |
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan |
Liqian ChenChen, Liqian National University of Defense TechnologyChina |
Sheng ChenChen, Sheng University of Louisiana at Lafayette |
Xin ChenChen, Xin University of New Mexico, USAUnited States |
Yi-Ting ChenChen, Yi-Ting AWS Quantum Technologies |
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan |
James CheneyCheney, James University of EdinburghUnited Kingdom |
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States |
Kshitij ChhabraChhabra, Kshitij AWS Quantum Technologies |
Michele ChiariChiari, Michele TU WienAustria |
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States |
Minki ChoCho, Minki Seoul National UniversitySouth Korea |
David ChocholatýChocholatý, David Brno University of TechnologyCzechia |
Vikraman ChoudhuryChoudhury, Vikraman Università di Bologna & Inria OLASItaly |
Eloise ChristianChristian, Eloise Rochester Institute of TechnologyUnited States |
Cheng-En ChuangChuang, Cheng-En University at BuffaloUnited States |
Kai-Min ChungChung, Kai-Min Academia Sinica |
Jonathan CitrinCitrin, Jonathan Google Deepmind |
Pierre ClairambaultClairambault, Pierre CNRS & LIS, Aix-Marseille UniversitéFrance |
Basile ClémentClément, Basile OCamlProFrance |
Albert CohenCohen, Albert Google DeepMindFrance |
Joshua M. CohenCohen, Joshua M. Princeton University |
Andrea ColledanColledan, Andrea University of Bologna & INRIA Sophia Antipolis |
Nicholas ColtharpColtharp, Nicholas Portland State UniversityUnited States |
Johan CommelinCommelin, Johan University of Utrecht |
Youyou CongCong, Youyou Institute of Science TokyoJapan |
Giovanna Kobus ConradoConrado, Giovanna Kobus Hong Kong University of Science and TechnologyHong Kong |
Breandan ConsidineConsidine, Breandan McGill UniversityCanada |
Arthur CorrensonCorrenson, Arthur CISPA Helmholtz Center for Information Security |
Maria-Nicoleta CraciunCraciun, Maria-Nicoleta University of Oxford |
Chen CuiCui, Chen University of Hong KongChina |
Jack CzenszakCzenszak, Jack Northeastern University |
Anthony D'ArienzoD'Arienzo, Anthony University of Illinois and Sandia National LaboratoriesUnited States |
Emanuele D'OsualdoD'Osualdo, Emanuele University of KonstanzGermany |
Deepak D'SouzaD'Souza, Deepak IISc BangaloreIndia |
Sander R. DahmenDahmen, Sander R. Vrije Universiteit Amsterdam |
Ugo Dal LagoDal Lago, Ugo University of Bologna & INRIA Sophia AntipolisItaly |
Stefania DamatoDamato, Stefania University of NottinghamUnited Kingdom |
Lesly-Ann DanielDaniel, Lesly-Ann CEA ListFrance |
David DaraisDarais, David GaloisUnited States |
Kanak DasDas, Kanak University of California, RiversideUnited States |
Davide DavoliDavoli, Davide Université Côte d’Azur, InriaFrance |
Ana de Almeida Borgesde Almeida Borges, Ana Portugal |
Luis Eduardo Bueso de Barriode Barrio, Luis Eduardo Bueso Universidad Politécnica de MadridSpain |
Giovanni de Felicede Felice, Giovanni Quantinuum |
Arianne Meijer-van de Griendde Griend, Arianne Meijer-van University of Helsinki |
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom |
Robin De VogelaereDe Vogelaere, Robin KU Leuven |
Ramiro DemasiDemasi, Ramiro Universidad Nacional de Córdoba |
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States |
Vladislav DeryabkinDeryabkin, Vladislav Innopolis University |
Jyotirmoy DeshmukhDeshmukh, Jyotirmoy University of Southern California |
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium |
Alessandra Di PierroDi Pierro, Alessandra University of VeronaItaly |
Antonio Di StasioDi Stasio, Antonio City St George’s, University of London |
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security |
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States |
Tingting DingDing, Tingting University of Michigan |
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom |
Jin Song DongDong, Jin Song National University of SingaporeSingapore |
Rui DongDong, Rui University of MichiganUnited States |
Ross DuncanDuncan, Ross Quantinuum |
Alejandro Díaz-CaroDíaz-Caro, Alejandro INRIA / LORIA & UNQFrance |
Paul EichlerEichler, Paul CISPA - Helmholtz Center for Information SecurityGermany |
Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States |
Neta EladElad, Neta Tel Aviv UniversityIsrael |
Mohamed ElwakilElwakil, Mohamed U.S. Coast Guard AcademyUnited States |
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States |
Sune Skaanning EngtorpEngtorp, Sune Skaanning Department of Computer Science, University of Copenhagen |
Esra ErdemErdem, Esra Sabanci UniversityTurkey |
Julian ErhardErhard, Julian LMU Munich; TU MunichGermany |
Ian Erik VarataluErik Varatalu, Ian Tallinn University of Technology, EstoniaEstonia |
Juhan ErnitsErnits, Juhan Tallinn University of TechnologyEstonia |
Zafer EsenEsen, Zafer Uppsala UniversitySweden |
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal |
Claudia FaggianFaggian, Claudia Université de Paris & CNRS |
Sarah FakhouryFakhoury, Sarah Microsoft ResearchUnited States |
Andong FanFan, Andong University of Toronto |
Dongliang FangFang, Dongliang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, ChinaChina |
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States |
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom |
Azadeh FarzanFarzan, Azadeh University of TorontoCanada |
Sakina FatimaFatima, Sakina University of OttawaCanada |
Daniel FeldanFeldan, Daniel New York University |
Simon FelixFelix, Simon Ateleris GmbHSwitzerland |
Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom |
Jack FeserFeser, Jack BasisUnited States |
Nathaniel FilardoFilardo, Nathaniel University of Cambridge |
Bernd FinkbeinerFinkbeiner, Bernd CISPA Helmholtz Center for Information SecurityGermany |
Denis FirsovFirsov, Denis Tallinn University of TechnologyEstonia |
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz |
Eugene FlesselleFlesselle, Eugene EPFLSwitzerland |
Christian FontenotFontenot, Christian University of Colorado Boulder |
Yannick ForsterForster, Yannick INRIAFrance |
Frédéric FortFort, Frédéric University of Lille |
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States |
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal |
Franz FranchettiFranchetti, Franz Carnegie Mellon University, USA |
Mario FrankFrank, Mario University of PotsdamGermany |
Mike FranusichFranusich, Mike SpiralGen, Inc. |
Lars-Åke FredlundFredlund, Lars-Åke Universidad Politécnica de MadridSpain |
Cameron FreerFreer, Cameron Massachusetts Institute of TechnologyUnited States |
Asta Halkjær FromFrom, Asta Halkjær University of Copenhagen |
Daniel FruminFrumin, Daniel University of GroningenNetherlands |
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina |
Peng FuFu, Peng University of South Carolina |
Zhoulai FuFu, Zhoulai State University of New York, Korea |
Joshua GancherGancher, Joshua Northeastern UniversityUnited States |
Deepti GandluriGandluri, Deepti Google |
Luis Hernan Garcia PaucarGarcia Paucar, Luis Hernan Aston UniversityUnited Kingdom |
Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada |
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom |
Poorva GargGarg, Poorva University of California, Los AngelesIndia |
Antoine GaulinGaulin, Antoine McGill University |
Lorenzo GazzellaGazzella, Lorenzo Università di Pisa |
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria |
Timon GehrGehr, Timon ETH ZurichSwitzerland |
Aina Linn GeorgesGeorges, Aina Linn Max Planck Institute for Software Systems (MPI-SWS) |
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States |
Mirco GiacobbeGiacobbe, Mirco University of BirminghamUnited Kingdom |
Eric GiovanniniGiovannini, Eric University of MichiganUnited States |
Marco GIUNTIGIUNTI, Marco University of Oxford |
Simon J. GodsillGodsill, Simon J. Department of Engineering, University of Cambridge |
Stefano GogiosoGogioso, Stefano University of Oxford |
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong |
Priyanka GoliaGolia, Priyanka Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore |
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States |
Pavel GolovinGolovin, Pavel MPI-SWSGermany |
Hannah GommerstadtGommerstadt, Hannah Vassar College |
Sergey GoncharovGoncharov, Sergey University of Birmingham, School of Comp. Sci. |
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico |
April GonçalvesGonçalves, April University of Strathclyde |
Daniel GoodmanGoodman, Daniel Oracle LabsUnited Kingdom |
Bhavik Kamlesh GoplaniGoplani, Bhavik Kamlesh University of Kansas |
Andrew D. GordonGordon, Andrew D. Cogna and University of EdinburghUnited Kingdom |
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy |
Roberta GoriGori, Roberta University of PisaItaly |
Roberta GoriGori, Roberta Diaprtimento di Informatica, Universita' di Pisa, Italy |
Felipe GorostiagaGorostiaga, Felipe IMDEA Software Institute |
Eric GoubaultGoubault, Eric Ecole Polytechnique |
Hemant GouniGouni, Hemant Carnegie Mellon University, Pittsburgh, Pennsylvania, United StatesUnited States |
Neville GrechGrech, Neville Dedaub LimitedMalta |
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States |
Simon Oddershede GregersenGregersen, Simon Oddershede New York UniversityUnited States |
Eric GriffisGriffis, Eric University of MichiganUnited States |
Marco GuarnieriGuarnieri, Marco IMDEA Software InstituteSpain |
Shibashis GuhaGuha, Shibashis Tata Institute of Fundamental Research, IndiaIndia |
Ashutosh GuptaGupta, Ashutosh Indian Institute of Technology BombayIndia |
Gopal GuptaGupta, Gopal |
Priyam GuptaGupta, Priyam Purdue University |
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada |
Ernst Moritz HahnHahn, Ernst Moritz University of TwenteNetherlands |
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden |
Zachary HansenHansen, Zachary University of Nebraska Omaha |
Michael HanusHanus, Michael Kiel UniversityGermany |
Bryant HargreavesHargreaves, Bryant University of Texas at Dallas, USA |
Tim HargreavesHargreaves, Tim Department of Engineering, University of CambridgeUnited Kingdom |
Matthew P HarriganHarrigan, Matthew P Google Quantum AI |
Philipp G. HaselwarterHaselwarter, Philipp G. Aarhus UniversityDenmark |
Keishi HASHIBAHASHIBA, Keishi The University of OsakaJapan |
Deyuan (Mike) HeHe, Deyuan (Mike) Princeton UniversityUnited States |
Rasmus HebsgaardHebsgaard, Rasmus Aalborg UniversityDenmark |
Katharina HeidlerHeidler, Katharina Technical University Munich |
Philippe HeimHeim, Philippe CISPA Helmholtz Center for Information Security |
Lukas HeinrichHeinrich, Lukas TU MunichGermany |
Matthias HeizmannHeizmann, Matthias University of Freiburg, GermanyGermany |
Joseph M. HellersteinHellerstein, Joseph M. UC BerkeleyUnited States |
Fritz HengleinHenglein, Fritz Department of Computer Science, University of Copenhagen (DIKU) and Deon DigitalDenmark |
Simon HennigerHenniger, Simon Technical University of Munich |
Ludovic HenrioHenrio, Ludovic University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance |
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain |
Ángel HerranzHerranz, Ángel Universidad Politécnica de MadridSpain |
Chris HeunenHeunen, Chris University of EdinburghUnited Kingdom |
Michal HečkoHečko, Michal Brno University of Technology |
Daniel HillerströmHillerström, Daniel Category Labs and The University of EdinburghUnited Kingdom |
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States |
Florent HivertHivert, Florent Univ. Paris-Saclay, LISN, LMF, CNRS, INRIA |
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States |
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States |
Lukáš HolíkHolík, Lukáš Brno University of TechnologyCzechia |
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of MinnesotaUnited States |
Farzin HoushmandHoushmand, Farzin Google |
Justin HsuHsu, Justin Cornell UniversityUnited States |
Jason Z.S. HuHu, Jason Z.S. Amazon Web Services, USAUnited States |
Zhenjiang HuHu, Zhenjiang Peking UniversityChina |
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark |
Daniela InclezanInclezan, Daniela Miami University, USA |
Daniela InclezanInclezan, Daniela Miami UniversityUnited States |
Apoorv IngleIngle, Apoorv University of IowaUnited States |
Grant IraciIraci, Grant University at BuffaloUnited States |
Daisuke IshiiIshii, Daisuke JAISTJapan |
Laura IsraelIsrael, Laura Portland State UniversityUnited States |
Franjo IvancicIvancic, Franjo GoogleUnited States |
Fedor IvanovIvanov, Fedor Innopolis University |
Desi R. IvavonaIvavona, Desi R. University of Oxford |
Ilan IwumbweIwumbwe, Ilan Imperial College LondonUganda |
Yusuf IzmirliogluIzmirlioglu, Yusuf United Kingdom |
Swen JacobsJacobs, Swen CISPAGermany |
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States |
Devansh JainJain, Devansh University of Illinois at Urbana-Champaign |
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany |
Georges-Axel JaloyanJaloyan, Georges-Axel Amazon Web Services |
Junyoung JangJang, Junyoung McGill UniversityCanada |
Tomi JanhunenJanhunen, Tomi Tampere UniversityFinland |
Jean-Christophe JaskulaJaskula, Jean-Christophe AWS Quantum Technologies |
Martin JensenJensen, Martin Aarhus University |
Sumit JhaJha, Sumit Florida International University, USAUnited States |
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States |
Limin JiaJia, Limin Carnegie Mellon University |
Songlin JiaJia, Songlin Purdue University, USAUnited States |
M. Frans KaashoekKaashoek, M. Frans Massachusetts Institute of Technology, USA |
Ivan KabashnyiKabashnyi, Ivan JetBrains Research, Constructor University Bremen, Germany |
Younesse KaddarKaddar, Younesse University of OxfordUnited Kingdom |
Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States |
Cezary KaliszykKaliszyk, Cezary University of MelbourneAustralia |
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany |
Byeongjee KangKang, Byeongjee Carnegie Mellon UniversityUnited States |
Tobias KappéKappé, Tobias LIACS, Leiden University |
Nat KarmiosKarmios, Nat Imperial College LondonUnited Kingdom |
Jingyu KeKe, Jingyu Shanghai Jiao Tong UniversityChina |
Chantal KellerKeller, Chantal Université Paris SaclayFrance |
Ariel E. KellisonKellison, Ariel E. Cornell UniversityUnited States |
George KenisonKenison, George Liverpool John Moores University |
Eric KesslerKessler, Eric AWS Quantum Technologies |
Artem KhyzhaKhyzha, Artem Arm LtdUnited Kingdom |
Donnacha Oisín KidneyKidney, Donnacha Oisín Imperial College LondonUnited Kingdom |
Dohan KimKim, Dohan University of Innsbruck |
Jinwoo KimKim, Jinwoo Seoul National University |
Yonghyun KimKim, Yonghyun Seoul National University, South Korea |
Yoonseung KimKim, Yoonseung Yale UniversityUnited States |
Keegan KimbrellKimbrell, Keegan University of Texas at Dallas, USA |
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States |
Marisa KirisameKirisame, Marisa University of UtahUnited States |
Christina KirkKirk, Christina University of Innsbruck |
Kohei KishidaKishida, Kohei University of Illinois at Urbana-ChampaignUnited States |
Thea KjeldsmarkKjeldsmark, Thea University of California, IrvineUnited States |
Adam Husted KjelstrømKjelstrøm, Adam Husted Aarhus UniversityDenmark |
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States |
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia |
Dominik KlumppKlumpp, Dominik University of FreiburgGermany |
Charles KnippKnipp, Charles Federal Reserve Board of Governors, USA |
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan |
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States |
Jed Koh Jin KeatKoh Jin Keat, Jed National University of Singapore |
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom |
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States |
Katherine KosaianKosaian, Katherine University of Iowa |
Natalia KosilovaKosilova, Natalia Oracle Labs |
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States |
Daisuke KotaniKotani, Daisuke Kyoto University |
András KovácsKovács, András University of Gothenburg and Chalmers University of Technology |
Dexter KozenKozen, Dexter Cornell UniversityUnited States |
Nicolai KrausKraus, Nicolai University of NottinghamUnited Kingdom |
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands |
Jan KretinskyKretinsky, Jan Masaryk University, Czech RepublicGermany |
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India |
Rahul KrishnanKrishnan, Rahul University of Wisconsin-MadisonUnited States |
Nikolai KudasovKudasov, Nikolai Innopolis UniversityRussia |
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland |
Thi Ha KyawKyaw, Thi Ha LG Electronics Toronto AI Lab |
Robert KünnemannKünnemann, Robert CISPA Helmholtz Center for Information Security |
Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance |
Ignacio LagunaLaguna, Ignacio Lawrence Livermore National LaboratoryUnited States |
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States |
Christopher LamLam, Christopher University of Illinois at Urbana-ChampaignUnited States |
Adrienne LancelotLancelot, Adrienne Inria, LIX Ecole Polytechnique, IRIF Université Paris CitéFrance |
Ivan LaneseLanese, Ivan University of Bologna/INRIA |
Alberto LarrauriLarrauri, Alberto University of OxfordUnited Kingdom |
Per LarsenLarsen, Per University of California, Irvine |
Xuan-Bach D. LeLe, Xuan-Bach D. University of MelbourneAustralia |
Dongho LEELEE, Dongho Dalhousie UniversityCanada |
Jaehyung LeeLee, Jaehyung Seoul National University |
Sung-Hwan LeeLee, Sung-Hwan Seoul National UniversitySouth Korea |
Woosuk LeeLee, Woosuk Hanyang UniversitySouth Korea |
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States |
Roland LeißaLeißa, Roland University of Mannheim, School of Business Informatics and MathematicsGermany |
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia |
Tancrède LepointLepoint, Tancrède Amazon Web Services |
Xavier LeroyLeroy, Xavier Collège de FranceFrance |
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz |
Derek LeungLeung, Derek Massachusetts Institute of Technology, USA |
Michael LeuschelLeuschel, Michael HHUGermany |
Alexander K. LewLew, Alexander K. Massachusetts Institute of TechnologyUnited States |
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States |
Robert Y. LewisLewis, Robert Y. Brown UniversityUnited States |
Fang LiLi, Fang Oklahoma Christian University |
Guoqiang LiLi, Guoqiang Shanghai Jiao Tong UniversityChina |
James LiLi, James Cornell University |
John LiLi, John Northeastern University |
Junru LiLi, Junru Southeast University, NanjingChina |
Kwing Hei LiLi, Kwing Hei Aarhus UniversityDenmark |
Liyi LiLi, Liyi Iowa State UniversityUnited States |
Qin LiLi, Qin Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina |
Qing LiLi, Qing Department of Engineering, University of Cambridge |
Runming LiLi, Runming Carnegie Mellon University |
Wu Angela LiLi, Wu Angela Rice University |
Yao LiLi, Yao Portland State UniversityUnited States |
Yue Chen LiLi, Yue Chen Massachusetts Institute of Technology |
Yalun LiangLiang, Yalun Shanghai Jiao Tong University |
Jack Liell-CockLiell-Cock, Jack University of Oxford |
Yuliya LierlerLierler, Yuliya University of Nebraska |
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan |
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina |
Sam LindleyLindley, Sam The University of EdinburghUnited Kingdom |
Marian Lingsch-RosenfeldLingsch-Rosenfeld, Marian LMU Munich |
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States |
Benny Zong LiuLiu, Benny Zong Imperial College London |
Cyrus LiuLiu, Cyrus Samsung SemiconductorUnited States |
Fangzhou LiuLiu, Fangzhou Southeast University, NanjingChina |
Hongming LiuLiu, Hongming Shanghai Jiao Tong UniversityChina |
Jing LiuLiu, Jing UC Irvine; MPI-SP |
Puzhuo LiuLiu, Puzhuo Tsinghua UniversityChina |
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore |
Yiyun LiuLiu, Yiyun University of Pennsylvania |
Hunter LockwoodLockwood, Hunter Myaamia Center & Miami University |
Sirui LuLu, Sirui University of WashingtonUnited States |
Joseph LundervilleLunderville, Joseph Simon Fraser University |
Zhengxiong LuoLuo, Zhengxiong National University of SingaporeChina |
Matthew LutzeLutze, Matthew Aarhus University |
Owen LynchLynch, Owen University of Oxford |
Andreas LööwLööw, Andreas Imperial College London |
Benedikt MaderbacherMaderbacher, Benedikt Graz University of TechnologyAustria |
Fabio MadgeMadge, Fabio Automated Reasoning Group, Amazon Web Services |
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States |
Kenji MaillardMaillard, Kenji InriaFrance |
Rupak MajumdarMajumdar, Rupak MPI-SWSGermany |
Ekaterina MaksimovaMaksimova, Ekaterina Innopolis University |
Dhruv MakwanaMakwana, Dhruv University of CambridgeUnited Kingdom |
Gregory MalechaMalecha, Gregory BedRock SystemsUnited States |
Kaushik MallikMallik, Kaushik IST Austria, AustriaAustria |
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States |
Ravi MangalMangal, Ravi Colorado State UniversityUnited States |
Vikash K. MansinghkaMansinghka, Vikash K. Massachusetts Institute of TechnologyUnited States |
William ManskyMansky, William University of Illinois ChicagoUnited States |
Rida Ait El ManssourManssour, Rida Ait El CNRS & IRIF, Paris |
Francesco Pio MarinoMarino, Francesco Pio University of Catania, University of Rouen |
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States |
Julio MariñoMariño, Julio Universidad Politécnica de MadridSpain |
Danielle MarshallMarshall, Danielle University of GlasgowUnited Kingdom |
Chris MartensMartens, Chris Northeastern UniversityUnited States |
Patrick MassotMassot, Patrick Université Paris-SaclayFrance |
Isabella MastroeniMastroeni, Isabella University of VeronaItaly |
Christoph MathejaMatheja, Christoph DTUDenmark |
Umang MathurMathur, Umang National University of SingaporeSingapore |
Mikael MayerMayer, Mikael Automated Reasoning Group, Amazon Web Services |
Micaela MayeroMayero, Micaela LIPN, Université Paris 13France |
Ian McCormackMcCormack, Ian Carnegie Mellon UniversityUnited States |
James McKinnaMcKinna, James Heriot-Watt UniversityUnited Kingdom |
Sean McLaughlinMcLaughlin, Sean Amazon Web Services |
Wolfgang MeierMeier, Wolfgang Aarhus University |
Innokentii MeleshchenkoMeleshchenko, Innokentii JetBrains Research, Neapolis University Pafos, Cyprus |
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom |
Kayvan MemarianMemarian, Kayvan University of Cambridge |
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States |
Eric MercerMercer, Eric Brigham Young UniversityUnited States |
Gabriele MessinaMessina, Gabriele University of Catania |
David MestelMestel, David Maastricht University |
Joachim MeyerMeyer, Joachim Saarland University, Saarland Informatics CampusGermany |
Aart MiddeldorpMiddeldorp, Aart University of Innsbruck |
Mae MilanoMilano, Mae Princeton UniversityUnited States |
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance |
Mikhail MintsMints, Mikhail California Institute of Technology |
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance |
Md Rakib Hossain MisuMisu, Md Rakib Hossain University of California IrvineUnited States |
Torben MogensenMogensen, Torben DIKU, University of CopenhagenDenmark |
Mohammadsadegh MohagheghiMohagheghi, Mohammadsadegh Masaryk UniversityCzechia |
Stefanie MohrMohr, Stefanie Technical University of MunichGermany |
Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano |
Luca MondadaMondada, Luca University of OxfordUnited Kingdom |
J. Garrett MorrisMorris, J. Garrett University of IowaUnited States |
Andreas Tor MortensenMortensen, Andreas Tor Department of Computer Science, Aalborg University |
Eliot MossMoss, Eliot University of Massachusetts at AmherstUnited States |
Sergio MoverMover, Sergio École PolytechniqueFrance |
Anish MudideMudide, Anish Massachusetts Institute of Technology |
Gautam MudugantiMuduganti, Gautam Indian Institute of Technology Hyderabad, IndiaIndia |
Eric MugnierMugnier, Eric University of California San Diego |
Liam MulcahyMulcahy, Liam University of Michigan |
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom |
Karthik Srinivasa MurthyMurthy, Karthik Srinivasa Google |
Andrew MyersMyers, Andrew Cornell University |
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology |
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark |
Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan |
Chandrakana NandiNandi, Chandrakana CertoraUnited States |
Praveen NarayananNarayanan, Praveen Google |
Louis NarmourNarmour, Louis Colorado State University, University of Rennes, Inria, CNRS, IRISAUnited States |
David E. NarváezNarváez, David E. Virginia Tech |
Nico NausNaus, Nico Open University of The Netherlands & Virginia Tech |
Jorge A. NavasNavas, Jorge A. CertoraUnited States |
Hamed NematiNemati, Hamed KTH Royal Institute of TechnologySweden |
Max S. NewNew, Max S. University of MichiganUnited States |
Jim NewtonNewton, Jim EPITA / LRE https://www.lre.epita.frFrance |
Daniel NezamabadiNezamabadi, Daniel Chalmers University of Technology and University of GothenburgSwitzerland |
Dan NguyenNguyen, Dan University of Texas at Dallas, USA |
Tobias NipkowNipkow, Tobias Technische Universität München |
Naoki NishidaNishida, Naoki Nagoya UniversityJapan |
Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium |
Wesley B NuzzoNuzzo, Wesley B University of Massachusetts, Lowell (UML) |
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea |
Yasuo OkabeOkabe, Yasuo Kyoto University |
Ana Oliveira Da CostaOliveira Da Costa, Ana IST Austria, AustriaAustria |
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina |
Santiago Arranz OlmosOlmos, Santiago Arranz Max Planck Institute for Security and Privacy |
Akihiro OmoriOmori, Akihiro Department of Mathematical and Computing Science, Tokyo Institute of Technology |
Oded PadonPadon, Oded Weizmann Institute of ScienceIsrael |
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom |
Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden |
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States |
Zhiwen PanPan, Zhiwen Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina |
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States |
Hugo PaquetPaquet, Hugo École Normale Supérieure, PSL University & INRIAFrance |
Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay |
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom |
Gaurav ParthasarathyParthasarathy, Gaurav ETH ZurichSwitzerland |
Adam PaszkePaszke, Adam Google DeepMindGermany |
Marco PatrignaniPatrignani, Marco University of TrentoItaly |
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark |
Angel Pavlov AngelovPavlov Angelov, Angel Sofia UniversityBulgaria |
Jennifer PaykinPaykin, Jennifer IntelUnited States |
Barak A. PearlmutterPearlmutter, Barak A. Maynooth UniversityIreland |
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal |
Ivan PerezPerez, Ivan NASA Ames Research Center |
Basile PesinPesin, Basile Ecole Nationale de l'Aviation Civile (ENAC) |
Annabell PetriPetri, Annabell Universiteit Twente |
Loïc PeyrotPeyrot, Loïc IMDEA Software Institute |
Frank PfenningPfenning, Frank Carnegie Mellon University, USA |
Katherine PhilipPhilip, Katherine Portland State University |
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google |
David PichardiePichardie, David MetaFrance |
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark |
Lauren PickPick, Lauren UC Berkeley and UW-Madison |
Jared PincusPincus, Jared Boston UniversityUnited States |
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States |
Michael PiskozubPiskozub, Michael University at Buffalo, SUNY |
Adam PocockPocock, Adam Oracle LabsUnited States |
Andreas PodelskiPodelski, Andreas University of FreiburgGermany |
Anton PodkopaevPodkopaev, Anton JetBrains Research, Constructor UniversityNetherlands |
Gabriel PoesiaPoesia, Gabriel Stanford University |
Josselin PoiretPoiret, Josselin Nantes Université, Inria |
Piotr PolesiukPolesiuk, Piotr University of Wrocław |
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States |
Enrico PontelliPontelli, Enrico New Mexico State UniversityUnited States |
Francesco PontiggiaPontiggia, Francesco TU Wien |
Andrei PopescuPopescu, Andrei University of SheffieldUnited Kingdom |
Caspar PopovaPopova, Caspar University of Maryland College ParkUnited States |
Thomas J. PorterPorter, Thomas J. University of MichiganUnited States |
Marie-Laure PotetPotet, Marie-Laure Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG |
François PottierPottier, François InriaFrance |
Boldizsár PoórPoór, Boldizsár Quantinuum |
Vinayak PrabhuPrabhu, Vinayak Colorado State UniversityUnited States |
Prasanth PrahladanPrahladan, Prasanth University of Colorado Boulder |
Jacob PrinzPrinz, Jacob University of Maryland, College Park |
Swarn PriyaPriya, Swarn Virginia TechUnited States |
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States |
Christopher PultePulte, Christopher University of CambridgeUnited Kingdom |
Edoardo PuttiPutti, Edoardo University of Twente |
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance |
Thibaut PéramiPérami, Thibaut University of Cambridge |
Weihao QuQu, Weihao Monmouth UniversityUnited States |
Stefan RadziukRadziuk, Stefan Imperial College LondonUnited Kingdom |
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States |
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States |
Vineet RajaniRajani, Vineet University of Kent |
Sanjay RajopadhyeRajopadhye, Sanjay Colorado State University |
Tahina RamananandroRamananandro, Tahina Microsoft ResearchUnited States |
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States |
Sanil RaoRao, Sanil Carnegie Mellon University |
Xiaojia RaoRao, Xiaojia Imperial College LondonUnited Kingdom |
Binoy RavindranRavindran, Binoy Virginia TechUnited States |
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China |
Mathys RennelaRennela, Mathys WelinqFrance |
Emily RiehlRiehl, Emily Johns Hopkins University |
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance |
Christine RizkallahRizkallah, Christine University of MelbourneAustralia |
Adam RogalewiczRogalewicz, Adam Brno University of Technology, CzechiaCzechia |
Tiark RompfRompf, Tiark Purdue UniversityUnited States |
Julian RosemannRosemann, Julian Saarland University, Saarland Informatics CampusGermany |
Neil Julien RossRoss, Neil Julien Dalhousie UniversityCanada |
Nikolaj Rossander KristensenRossander Kristensen, Nikolaj Department of Computer Science, Aalborg University |
Andreas RossbergRossberg, Andreas IndependentGermany |
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States |
Fabian RuchRuch, Fabian UnaffiliatedSweden |
Neea RuschRusch, Neea Augusta UniversityUnited States |
Wojciech RóżowskiRóżowski, Wojciech University College LondonUnited Kingdom |
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University |
Feras SaadSaad, Feras Carnegie Mellon UniversityUnited States |
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia |
Orkunt SabuncuSabuncu, Orkunt TED UniversityTurkey |
Teppei SaitoSaito, Teppei Japan Advanced Institute of Science and Technology, Japan |
Elmer SalazarSalazar, Elmer The University of Texas at DallasUnited States |
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland |
Malavika SamakSamak, Malavika Apple IncUnited States |
Michael SammlerSammler, Michael Institute of Science and Technology AustriaAustria |
David SananSanan, David Singapore Institute of Technology |
David SananSanan, David Nanyang Technological University, SingaporeSingapore |
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States |
Chuta SanoSano, Chuta McGill UniversityCanada |
Vitor Santos CostaSantos Costa, Vitor University of Porto, Portugal |
Zeynep G. SaribaturSaribatur, Zeynep G. TU WienAustria |
John SarracinoSarracino, John Lawrence Livermore National Laboratory |
V.R. SathiyanarayanaSathiyanarayana, V.R. MPI-SWS |
Sundara Vishnu SatishSatish, Sundara Vishnu University of Michigan - Ann ArborUnited States |
Tetsuya SatoSato, Tetsuya Tokyo Institute of TechnologyJapan |
Gaurav SaxenaSaxena, Gaurav LG Electronics Toronto AI Lab |
Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance |
Sven ScheweSchewe, Sven University of Liverpool |
Matthias SchlaipferSchlaipfer, Matthias Amazon |
Filip SchramkaSchramka, Filip Ateleris GmbHSwitzerland |
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium |
Michael SchwarzSchwarz, Michael TU MunichGermany |
Frank SchüsseleSchüssele, Frank University of FreiburgGermany |
Md Syadus SefatSefat, Md Syadus Virginia TechUnited States |
Helmut SeidlSeidl, Helmut TU MunichGermany |
Taro SekiyamaSekiyama, Taro National Institute of Informatics; SOKENDAIJapan |
Elan SemenovaSemenova, Elan University of Maryland, College Park |
Ilya SergeySergey, Ilya National University of SingaporeSingapore |
Peter SewellSewell, Peter University of CambridgeUnited Kingdom |
Florian SextlSextl, Florian TU Wien, AustriaAustria |
Ryan ShafferShaffer, Ryan AWS Quantum Technologies |
Bhakti ShahShah, Bhakti University of St. Andrews |
Razin A. ShaikhShaikh, Razin A. University of Oxford |
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom |
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States |
Zhong ShaoShao, Zhong Yale UniversityUnited States |
Jitendra SharmaSharma, Jitendra Miami University |
Yunong ShiShi, Yunong AWS Quantum TechnologiesUnited States |
Shweta ShindeShinde, Shweta ETH ZurichSwitzerland |
Mahsa ShirmohammadiShirmohammadi, Mahsa CNRS & IRIF, Paris |
Pratiksha ShresthaShrestha, Pratiksha Miami University |
Shuaizong Si Shuaizong Si Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina |
Violetta SimSim, Violetta Innopolis UniversityUzbekistan |
Abhishek Kr SinghSingh, Abhishek Kr National University of SingaporeSingapore |
Kartik SinghalSinghal, Kartik QuantinuumUnited States |
Jeffrey Mark SiskindSiskind, Jeffrey Mark Elmore Family School of Electrical and Computer Engineering, Purdue UniversityUnited States |
Meghana Aparna SistlaSistla, Meghana Aparna The University of Texas at AustinUnited States |
Anastasia SmirnovaSmirnova, Anastasia Innopolis University |
Kaitlin SmithSmith, Kaitlin Northwestern University |
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States |
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina |
Siva SomayyajulaSomayyajula, Siva Amazon Web Services |
Fabio SomenziSomenzi, Fabio University of Colorado Boulder, USA |
Youngju SongSong, Youngju MPI-SWSGermany |
Matthew SottileSottile, Matthew Lawrence Livermore National Laboratory |
Bas SpittersSpitters, Bas Aarhus University |
Bas SpittersSpitters, Bas Aarhus UniversityDenmark |
Jiri SrbaSrba, Jiri Aalborg UniversityDenmark |
Meera SridharSridhar, Meera University of North Carolina Charlotte, USA |
B SrivathsanSrivathsan, B Chennai Mathematical InstituteIndia |
Caleb StanfordStanford, Caleb University of California, DavisUnited States |
Artem StarikovStarikov, Artem Innopolis University |
Ian StarkStark, Ian The University of EdinburghUnited Kingdom |
Philipp StassenStassen, Philipp Aarhus University |
Tim SteenvoordenSteenvoorden, Tim Open UniversiteitNetherlands |
Deian StefanStefan, Deian University of California at San DiegoUnited States |
Peter Buus SteffensenSteffensen, Peter Buus Department of Computer Science, Aalborg University |
Dario SteinStein, Dario University of Oxford |
Kyle StoreyStorey, Kyle Brigham Young UniversityUnited States |
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada |
Jun SunSun, Jun Singapore Management UniversitySingapore |
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina |
Qinyi SunSun, Qinyi Massachusetts Institute of Technology |
Zhouyue SunSun, Zhouyue Shanghai Jiao Tong UniversityChina |
Joshua SunshineSunshine, Joshua Carnegie Mellon University |
Ariadne Si SuoSuo, Ariadne Si University of Cambridge |
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States |
César SánchezSánchez, César IMDEA Software InstituteSpain |
Kento TakyuTakyu, Kento Waseda UniversityJapan |
Raiki TamuraTamura, Raiki Kyoto UniversityJapan |
Grace TanTan, Grace National University of Singapore |
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan |
Qiyi TangTang, Qiyi University of LiverpoolUnited Kingdom |
Éric TanterTanter, Éric University of ChileChile |
Zhe TaoTao, Zhe University of California, Davis |
Paul TarauTarau, Paul University of North TexasUnited States |
Enrico TassiTassi, Enrico INRIAFrance |
Christine TassonTasson, Christine Sorbonne Université — LIP6France |
Max TegmarkTegmark, Max Massachusetts Institute of Technology |
Mohit TekriwalTekriwal, Mohit Lawrence Livermore National LaboratoryUnited States |
Balder ten Cateten Cate, Balder ILLC, University of Amsterdam |
Joshua B. TenenbaumTenenbaum, Joshua B. Massachusetts Institute of TechnologyUnited States |
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan |
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States |
René ThiemannThiemann, René University of Innsbruck |
Sarah TilscherTilscher, Sarah Technical University of Munich, Garching, GermanyGermany |
Amin TimanyTimany, Amin Aarhus UniversityDenmark |
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States |
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States |
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States |
Diana TomilovskaiaTomilovskaia, Diana Innopolis University |
James TownsendTownsend, James University of Amsterdam |
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark |
Richard TreflerTrefler, Richard University of Waterloo, Canada |
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States |
Jean-Baptiste TristanTristan, Jean-Baptiste |
Jean-Baptiste TristanTristan, Jean-Baptiste Amazon Web ServicesUnited States |
Ashutosh TrivediTrivedi, Ashutosh University of Colorado BoulderUnited States |
Stelios TsampasTsampas, Stelios FAU Erlangen-Nuremberg, INF 8 |
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan |
Andrea TurriniTurrini, Andrea Institute of Software, Chinese Academy of SciencesChina |
Melinda TóthTóth, Melinda Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.Hungary |
Kazunori UedaUeda, Kazunori Waseda UniversityJapan |
Marcel UllrichUllrich, Marcel Saarland University, Saarland Informatics CampusGermany |
Dominique UnruhUnruh, Dominique RWTH Aachen |
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance |
Henning UrbatUrbat, Henning FAU Erlangen-Nuremberg, INF 8 |
Elif UskupluUskuplu, Elif Indiana University, Bloomington |
Deivid ValeVale, Deivid Radboud UniversityNetherlands |
Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance |
Milla ValnetValnet, Milla Sorbonne UniversitéFrance |
Jan van Brüggevan Brügge, Jan Heriot-Watt UniversityUnited Kingdom |
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark |
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands |
Niels van der Weidevan der Weide, Niels Radboud University |
Kylian Van DesselVan Dessel, Kylian Leuven.AI, Belgium |
Orpheas van Rooijvan Rooij, Orpheas University of EdinburghUnited Kingdom |
Julien VanegueVanegue, Julien Imperial College London; BloombergUnited States |
Alexa VanHattumVanHattum, Alexa Wellesley CollegeUnited States |
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité |
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal |
Leonardo VenturiVenturi, Leonardo University of Bologna |
Freek VerbeekVerbeek, Freek Open Universiteit & Virginia Tech |
Lena VerschtVerscht, Lena RWTH Aachen University; Saarland UniversityGermany |
German VidalVidal, German Universitat Politecnica de ValenciaSpain |
Simon Friis VindumVindum, Simon Friis Aarhus UniversityDenmark |
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-ChampaignUnited States |
Finn VoichickVoichick, Finn University of MarylandUnited States |
Vesal VojdaniVojdani, Vesal University of TartuEstonia |
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia |
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands |
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom |
Matthijs VákárVákár, Matthijs Utrecht University |
Rameez WajidWajid, Rameez University of Colorado BoulderUnited States |
Michael WalterWalter, Michael Ruhr-Universität Bochum |
Anduo WangWang, Anduo Temple University, USA |
Chao WangWang, Chao University of Southern CaliforniaUnited States |
Jeffery WangWang, Jeffery CIMS, New York University |
Jingbo WangWang, Jingbo Purdue University |
Peixin WangWang, Peixin University of Oxford |
Theo WangWang, Theo University of Cambridge, University of OxfordUnited Kingdom |
Xinyu WangWang, Xinyu University of MichiganUnited States |
Yuncheng WangWang, Yuncheng Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina |
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina |
Zerong WangWang, Zerong Southeast University, NanjingChina |
Zhonghan WangWang, Zhonghan State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences |
Anjiang WeiWei, Anjiang Stanford UniversityUnited States |
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance |
Chana Weil-KennedyWeil-Kennedy, Chana IMDEA Software InstituteSpain |
Christian WeilbachWeilbach, Christian University of British Columbia |
Maximilian WeiningerWeininger, Maximilian Institute of Science and Technology AustriaAustria |
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States |
Scott WesleyWesley, Scott Dalhousie University |
John WickersonWickerson, John Imperial College LondonUnited Kingdom |
Felix WindischWindisch, Felix Graz University of TechnologyAustria |
Piotr WojciechowskiWojciechowski, Piotr West Virginia University, USAUnited States |
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom |
Shushu WuWu, Shushu Shanghai Jiao Tong University |
Ningning XieXie, Ningning University of TorontoCanada |
Ruifeng XieXie, Ruifeng Peking University |
Qiyuan XuXu, Qiyuan Nanyang Technological University |
Tianfan XuXu, Tianfan University of Illinois at Urbana-Champaign |
Yingte XuXu, Yingte MPI-SP and Institute of Software, Chinese Academy of Sciences |
Akihisa YamadaYamada, Akihisa National Institute of InformaticsJapan |
Yan YanYan, Yan Southeast University, NanjingChina |
Junfeng YangYang, Junfeng Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina |
Yihan YangYang, Yihan Harvey Mudd College |
Peisen YaoYao, Peisen Zhejiang UniversityChina |
Kevin YeYe, Kevin Simon Fraser University |
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States |
Mingsheng YingYing, Mingsheng Institute of Software at Chinese Academy of Sciences; Tsinghua UniversityChina |
Taeyoung YoonYoon, Taeyoung Seoul National University |
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom |
Emily YuYu, Emily Institute of Science and Technology Austria |
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States |
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States |
Fabian ZaiserZaiser, Fabian University of Oxford |
Vadim ZalivaZaliva, Vadim University of Cambridge, UKUnited States |
Vladimir ZamdzhievZamdzhiev, Vladimir InriaFrance |
Fabio ZanasiZanasi, Fabio University College London |
Jessica ZangariZangari, Jessica Università della CalabriaItaly |
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States |
Nickolai ZeldovichZeldovich, Nickolai Massachusetts Institute of Technology, USA |
Cheng ZhangZhang, Cheng University College London (UCL)United Kingdom |
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States |
Jiatai ZhangZhang, Jiatai Tufts University |
Naifeng ZhangZhang, Naifeng Carnegie Mellon University |
Ruoxi ZhangZhang, Ruoxi University of WaterlooCanada |
Weidong ZhangZhang, Weidong Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, UCAS Beijing, ChinaChina |
Yizhou ZhangZhang, Yizhou University of WaterlooCanada |
Zhen ZhangZhang, Zhen Utah State UniversityUnited States |
Zhicheng ZhangZhang, Zhicheng University of Technology Sydney |
Zhizheng ZhangZhang, Zhizheng Southeast University, NanjingChina |
Eric ZhaoZhao, Eric Brown UniversityUnited States |
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States |
Yaowen ZhengZheng, Yaowen Institute of Information Engineering at Chinese Academy of SciencesChina |
Tan Zhi-XuanZhi-Xuan, Tan Massachusetts Institute of Technology |
Dinghong ZhongZhong, Dinghong Xi'an Jiaotong University |
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States |
Li ZhouZhou, Li Institute of Software, Chinese Academy of SciencesChina |
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center |
Xiangyu ZhouZhou, Xiangyu University of Michigan |
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States |
Zhe ZhouZhou, Zhe Purdue University |
Shaopeng ZhuZhu, Shaopeng Currently in industry |
Ekaterina ZhuchkoZhuchko, Ekaterina Tallinn University of Technology |
Lukasz ZiarekZiarek, Lukasz University at BuffaloUnited States |
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States |
Conrad ZimmermanZimmerman, Conrad Northeastern UniversityUnited States |
Robert ZinkovZinkov, Robert University of Oxford |
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland |
Florian ZulegerZuleger, Florian TU ViennaAustria |
Fei ZuoZuo, Fei University of Central Oklahoma |
Maaike Annebet ZwartZwart, Maaike Annebet IT University of Copenhagen |