SPLASH 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (637)

( Ruanqianqian (Lisa) Huang(Lisa) Huang, Ruanqianqian University of California, San DiegoUnited States Committee Member in Program Committee within the LIVE-track
A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Committee Member in Review Committee within the SPLASH OOPSLA-track
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Gradually Typed Languages Should Be Vigilant! Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the IWACO-track Organizing Chair in Organizing Committee within the HATRA-track
Amin AlipourAlipour, Amin University of HoustonUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Organizing Committee within the SPLASH Workshops-track
Anoud AlshnakatAlshnakat, Anoud KTH Royal Institute of Technology HOL4P4: mechanized small-step semantics for P4
Juliana Alves PereiraAlves Pereira, Juliana PUC-RioBrazil Program Co-Chair in Organizing Committee within the SLE-track
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Nada AminAmin, Nada Harvard UniversityUnited States Persimmon: Nested Family Polymorphism with Extensible Variant Types
Matthew AmyAmy, Matthew Simon Fraser UniversityCanada Committee Member in Program Committee within the SAS -track
Artur AndrzejakAndrzejak, Artur Heidelberg UniversityGermany Committee Member in Program Committee within the GPCE-track
Anthony AnjorinAnjorin, Anthony Zühlke Engineering GmbHGermany Committee Member in Program Committee within the SLE-track
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Ian ArawjoArawjo, Ian Cornell University Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Co-chair in Organizing Committee within the NSAD-track
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Committee Member in Program Committee within the SAS -track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Commitee within the SPLASH -E-track
Nicola AssoliniAssolini, Nicola Università degli Studi di VeronaItaly Video Chair in Organizing Committee for SPLASH 2024
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Committee Member in Review Committee within the SPLASH OOPSLA-track
David I. AugustAugust, David I. Princeton UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Martin AvanziniAvanzini, Martin Inria Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Paolo BaldanBaldan, Paolo University of PadovaItaly Committee Member in Program Committee within the SAS -track
Jacob BambeckBambeck, Jacob Ohio State University Cocoon: Static Information Flow Control in Rust
Lucas BangBang, Lucas Harvey Mudd College PLMW Co-Chair in Organizing Committee for SPLASH 2024 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Valentin BarbazoBarbazo, Valentin École Normale Supérieure \| Université PSL Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS -track
Raj BarikBarik, Raj Gitar Co.United States Committee Member in Organizing Committee within the VIVEKFEST-track
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
Earl T. BarrBarr, Earl T. University College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Aurèle BarrièreBarrière, Aurèle EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Shrutarshi BasuBasu, Shrutarshi Middlebury CollegeUnited States Committee Member in Program Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track
Guillaume BaudartBaudart, Guillaume InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vincent BeardsleyBeardsley, Vincent Ohio State University Cocoon: Static Information Flow Control in Rust
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tom BeckmannBeckmann, Tom Hasso Plattner Institute Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
John BenderBender, John Sandia National Laboratories Committee Member in Program Committee within the JENSFEST-track
Gilbert BernsteinBernstein, Gilbert University of Washington, SeattleUnited States Distributions for Compositionally Differentiating Parametric Discontinuities
Jan BessaiBessai, Jan IndependentGermany Committee Member in Organizing Committee within the UNSOUND-track
Benjamin BichselBichsel, Benjamin ETH Zurich, Switzerland Synthetiq: Fast and Versatile Quantum Circuit Synthesis
David BinderBinder, David University of TübingenGermany Deriving Dependently-Typed OOP from First Principles
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Swarnendu BiswasBiswas, Swarnendu IIT KanpurIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Clément BlaudeauBlaudeau, Clément InriaFrance Fulfilling OCaml modules with transparency
Sandrine BlazyBlazy, Sandrine University of RennesFrance Committee Member in Program Committee within the ProLaLa-track
Andrew BlinnBlinn, Andrew University of MichiganUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Christian BlumenthalBlumenthal, Christian RWTH Aachen University Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Rose BohrerBohrer, Rose Worcester Polytechnic Institute SPLASH-E Co-Chair in Steering Committee for SPLASH 2024 SPLASH-E Co-Chair in Organizing Committee for SPLASH 2024 SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
Michael D. BondBond, Michael D. Ohio State University Cocoon: Static Information Flow Control in Rust
Daniele BonettaBonetta, Daniele VU AmsterdamNetherlands Author in Program Committee within the GPCE-track
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Degrees of Separation: A Flexible Type System for Safe Concurrency Co-chair in Program Committee within the IWACO-track Committee Member in Organizing Committee within the IWACO-track
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Erwan BousseBousse, Erwan Nantes UniversitéFrance Committee Member in Program Committee within the PAINT-track
Ethan BoveBove, Ethan Brown University Forge: A Tool and Language for Teaching Formal Methods
William J. BowmanBowman, William J. University of British ColumbiaCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michelle BrachmanBrachman, Michelle IBM ResearchUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Qualifying System F-sub Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Committee Member in Program Committee within the IWACO-track
Benjamin BrockBrock, Benjamin Parallel Computing Lab (PCL), Intel UniSparse: An Intermediate Language for General Sparse Format Customization
David BromanBroman, David KTH Royal Institute of TechnologySweden Author in Program Committee within the GPCE-track
Roberto BruniBruni, Roberto University of PisaItaly Committee Member in Program Committee within the SAS -track
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Dennis BrylowBrylow, Dennis Marquette University Committee Member in Program Committee within the JENSFEST-track
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Review Committee within the SPLASH OOPSLA-track
Lola BurgueñoBurgueño, Lola University of MalagaSpain Committee Member in Steering Committee within the SLE-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
C Joanna C. S. SantosC. S. Santos, Joanna University of Notre DameUnited States Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
José Pablo CambroneroCambronero, José Pablo MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs Committee Member in Reviewers within the SPLASH Student Research Competition-track
Simone CampanoniCampanoni, Simone Northwestern UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSLFrance Artifact Evaluation Chair in Organizing Committee within the SAS -track Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Quantum Control Machine: The Limits of Control Flow in Quantum Programming Distributions for Compositionally Differentiating Parametric Discontinuities
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the SLE-track
Jonathan CastelloCastello, Jonathan University of California, Santa CruzUnited States Inductive diagrams for causal reasoning
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Burcu CetinCetin, Burcu Columbia University Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024 Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Steering Committee Member in Steering Committee for SPLASH 2024 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Review Committee within the SPLASH OOPSLA-track
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria Quantitative Bounds on Resource Usage of Probabilistic Programs
Abha ChaudharyChaudhary, Abha Binghamton UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hongzheng ChenChen, Hongzheng Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Committee Member in Program Committee within the SAS -track
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Qian ChenChen, Qian Nanjing UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qianfan ChenChen, Qianfan Brown University Forge: A Tool and Language for Teaching Formal Methods
Qiaochu ChenChen, Qiaochu University of Texas at AustinUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Qinlin ChenChen, Qinlin Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Review Committee within the SPLASH OOPSLA-track
Yanbin ChenChen, Yanbin TUM School of Computation, Information and Technology, Technical University of MunichGermany Committee Member in Program Committee within the NSAD-track
Zhe ChenChen, Zhe Nanjing University of Aeronautics and AstronauticsChina Design and Implementation of an Aspect-Oriented C Programming Language
Ellie Y. ChengCheng, Ellie Y. MITUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shigeru ChibaChiba, Shigeru University of TokyoJapan Committee Member in Review Committee within the SPLASH OOPSLA-track General Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Andrei ChişChiş, Andrei feenk, Switzerland Publicity Chair, Web Chair in Organizing Committee within the SLE-track
Yebin ChonChon, Yebin Princeton University PROMPT: A Fast and Extensible Memory Profiling Framework
Stephen ChongChong, Stephen Harvard UniversityUnited States Committee Member in Program Committee within the SLE-track
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Siobhán ClarkeClarke, Siobhán Trinity College Dublin, IrelandIreland Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sylvan ClebschClebsch, Sylvan Imperial College London Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States DEI Chair in Organizing Committee for SPLASH 2024 Committee Member in Review Committee within the SPLASH OOPSLA-track Organizing Chair in Organizing Committee within the HATRA-track
Elias Rojas CollinsCollins, Elias Rojas MIT Distributions for Compositionally Differentiating Parametric Discontinuities
Benoit CombemaleCombemale, Benoit University of Rennes, Inria, CNRS, IRISAFrance Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Review Committee within the SPLASH OOPSLA-track
Mary Rose CookCook, Mary Rose United States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Donovan CrichtonCrichton, Donovan The Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Will CrichtonCrichton, Will Brown UniversityUnited States Profiling Programming Language Learning Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Will CrichtonCrichton, Will Brown UniversityUnited States Organizing Chair in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Charlie CuttingCutting, Charlie Brown University Forge: A Tool and Language for Teaching Formal Methods
D Mads DamDam, Mads KTH HOL4P4: mechanized small-step semantics for P4
David DaraisDarais, David GaloisUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Charles de Harode Haro, Charles ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Steering Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Steering Committee Chair in Steering Committee within the GPCE-track Author in Program Committee within the GPCE-track
Thomas DegueuleDegueule, Thomas CNRSFrance Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Jasper DekoninckDekoninck, Jasper ETH Zurich Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Thomas Del VecchioDel Vecchio, Thomas Brown UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation Committee Member in Review Committee within the SPLASH OOPSLA-track
David DelmasDelmas, David AirbusFrance Committee Member in Program Committee within the SAS -track
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Steering Committee within the SLE-track
Luca Di StefanoDi Stefano, Luca Technische Universität WienAustria Committee Member in Program Committee within the NSAD-track
Oscar DiazDiaz, Oscar University of the Basque Country, Spain Committee Member in Program Committee within the GPCE-track
Robert DickersonDickerson, Robert Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Werner DietlDietl, Werner University of WaterlooCanada Committee Member in Review Committee within the SPLASH OOPSLA-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Gradually Typed Languages Should Be Vigilant!
Elizabeth DinellaDinella, Elizabeth Bryn Mawr College Committee Member in Program Committee within the SAS -track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yangruibo DingDing, Yangruibo Columbia UniversityUnited States CYCLE: Learning to Self-Refine the Code Generation
Zijian DingDing, Zijian UCLA UniSparse: An Intermediate Language for General Sparse Format Customization
Craig DisselkoenDisselkoen, Craig Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Greta DolcettiDolcetti, Greta Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Verification of Neural Networks' Global Robustness Committee Member in Review Committee within the SPLASH OOPSLA-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Steering Committee Member in Steering Committee for SPLASH 2024
Cezara DrăgoiDrăgoi, Cezara AWS / ENS Committee Member in Review Committee within the SPLASH OOPSLA-track
Charles DuanDuan, Charles Committee Member in Program Committee within the ProLaLa-track
Christophe DubachDubach, Christophe McGill UniversityCanada Author in Program Committee within the GPCE-track
Patrick DubroyDubroy, Patrick WebAssembly from the Ground UpGermany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Tristan DyerDyer, Tristan Brown UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Onward! Papers PC Chair in Organizing Committee for SPLASH 2024 Committee Member in Program Committee within the PAINT-track PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Aaron ElineEline, Aaron Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Mehmet EmreEmre, Mehmet University of San FranciscoUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Constantin EneaEnea, Constantin LIX, CNRS, Ecole Polytechnique Scenario-based Proofs for Concurrent Objects
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in Steering Committee within the GPCE-track Author in Program Committee within the GPCE-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Author in Program Committee within the GPCE-track Committee Member in Steering Committee within the SLE-track
Mahdi EslamimehrEslamimehr, Mahdi Quandary Peak ResearchUnited States Committee Member in Program Committee within the JENSFEST-track
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Chair in Organizing Committee for SPLASH 2024
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal PLMW Co-Chair in Organizing Committee for SPLASH 2024 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Luis F. GomesF. Gomes, Luis Carnegie Mellon UniversityPortugal Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024 Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Umar FarooqFarooq, Umar Louisiana State UniversityUnited States Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024
Marc FeeleyFeeley, Marc Université de MontréalCanada Committee Member in Program Committee within the SLE-track
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Gary FengFeng, Gary University of Waterloo Persimmon: Nested Family Polymorphism with Extensible Variant Types
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Jonas FialaFiala, Jonas ETH Zürich Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Antonio FilieriFilieri, Antonio AWS and Imperial College LondonUnited States Committee Member in Program Committee within the SAS -track
Prof. Fiona PolackFiona Polack, Prof. University of HullUnited Kingdom Committee Member in Program Committee within the SLE-track
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track Author in Program Committee within the GPCE-track
Alcides FonsecaFonseca, Alcides University of LisbonPortugal Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024 Author in Program Committee within the GPCE-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Justin FrankFrank, Justin University of Maryland, College Park Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hugo FéréeFérée, Hugo University of Kent, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
G Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Student Volunteer Co-Chair in Organizing Committee for SPLASH 2024 Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Matthew GaudetGaudet, Matthew MozillaCanada PC Member in Program Committee within the VMIL-track
Lorenzo GheriGheri, Lorenzo University of LiverpoolUnited Kingdom Committee Member in Reviewers within the SPLASH Student Research Competition-track
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Program Chair in Organizing Committee within the SAS -track PC Chair in Program Committee within the SAS -track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Associate Chair in Review Committee within the SPLASH OOPSLA-track
Olek GierczakGierczak, Olek Northeastern University Gradually Typed Languages Should Be Vigilant!
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Quantitative Bounds on Resource Usage of Probabilistic Programs Committee Member in Review Committee within the SPLASH OOPSLA-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Lourdes del Carmen González-HuescaGonzález-Huesca, Lourdes del Carmen National Autonomous University of MexicoMexico Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Rahul GopinathGopinath, Rahul University of SydneyAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track
Colin GordonGordon, Colin Drexel UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Program Co-Chair in Organizing Committee within the SAS -track Co-chair in Program Committee within the SAS -track
Jeff GrayGray, Jeff University of Alabama Committee Member in Steering Committee within the GPCE-track Committee Member in Steering Committee within the SLE-track
Ben GreenmanGreenman, Ben University of UtahUnited States Forge: A Tool and Language for Teaching Formal Methods Committee Member in Program Committee within the HATRA-track
Benjamin GregoireGregoire, Benjamin INRIA Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Sandra GreinerGreiner, Sandra University of Southern Denmark, SDUDenmark Committee Member in Program Committee within the GPCE-track
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James GrimmelmannGrimmelmann, James Cornell University Committee Member in Program Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track
Tobias GrosserGrosser, Tobias University of Cambridge, UKUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Christian GrothoffGrothoff, Christian Bern University of Applied SciencesGermany Committee Member in Program Committee within the JENSFEST-track
David GroveGrove, David IBM ResearchUnited States Steering Committee Member in Steering Committee for SPLASH 2024
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden HOL4P4: mechanized small-step semantics for P4
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Committee Member in Program Committee within the SLE-track
Sumit GulwaniGulwani, Sumit MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Rajiv GuptaGupta, Rajiv University of California at RiversideUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VIVEKFEST-track
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tudor GîrbaGîrba, Tudor feenk.com Committee Member in Program Committee within the LIVE-track
H Thomas HaasHaas, Thomas TU BraunschweigGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Darion HaaseHaase, Darion RWTH Aachen University Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Andrew HabibHabib, Andrew ABB Corporate Research, GermanyGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sebastian HackHack, Sebastian Saarland University, Saarland Informatics CampusGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the IWACO-track
Sara S. HamoudaHamouda, Sara S. GoogleAustralia PC Member in Program Committee within the VMIL-track
Yu HaoHao, Yu University of California at Riverside, USAUnited States Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Fei HeHe, Fei Tsinghua UniversityChina Committee Member in Review Committee within the SPLASH OOPSLA-track
Shaobo HeHe, Shaobo Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Yang HeHe, Yang Simon Fraser University VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Andrew HeadHead, Andrew University of Pennsylvania Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Kyle HeadleyHeadley, Kyle Unaffiliated Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Görel HedinHedin, Görel Lund UniversitySweden Committee Member in Program Committee within the SLE-track
Nicole HeinimannHeinimann, Nicole Technische Universität BerlinGermany Video Chair in Organizing Committee for SPLASH 2024
Brian HempelHempel, Brian University of Chicago Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS -track Committee Member in Review Committee within the SPLASH OOPSLA-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands SPLASH-E Co-Chair in Steering Committee for SPLASH 2024 SPLASH-E Co-Chair in Organizing Committee for SPLASH 2024 SPLASH-E Co-Chair in Program Commitee within the SPLASH -E-track
MIchael HicksHicks, MIchael AmazonUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Hans-Dieter HiepHiep, Hans-Dieter Amazon Web ServicesUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Committee Member in Program Committee within the ProLaLa-track
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Wolf HonoreHonore, Wolf Yale University AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Joshua HorowitzHorowitz, Joshua University of WashingtonUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the LIVE-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Steering Committee Member in Steering Committee for SPLASH 2024
Weidong HouHou, Weidong Nanjing University Understanding and Finding Java Decompiler Bugs
Justin HsuHsu, Justin Cornell UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Nick HuHu, Nick University of OxfordUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zunchen HuangHuang, Zunchen United States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Johannes HärtelHärtel, Johannes Software Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track
Lef IoannidisIoannidis, Lef University of PennsylvaniaUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Jonas IskanderIskander, Jonas Harvard University Persimmon: Nested Family Polymorphism with Extensible Variant Types
Anastasia IsychevIsychev, Anastasia TU WienAustria Committee Member in Program Committee within the SAS -track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Review Committee within the SPLASH OOPSLA-track
Franjo IvancicIvancic, Franjo GoogleUnited States Committee Member in Program Committee within the SAS -track
J Dejice JacobJacob, Dejice University of GlasgowUnited Kingdom Committee Member in Organizing Committee within the VMIL-track
Suman JanaJana, Suman Columbia University Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Junyoung JangJang, Junyoung McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas P. JensenJensen, Thomas P. INRIA Rennes Committee Member in Program Committee within the NSAD-track
Minseok JeonJeon, Minseok Korea UniversitySouth Korea Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhihao JiaJia, Zhihao Carnegie Mellon University Quarl: A Learning-Based Quantum Circuit Optimizer
Joost J. JoostenJoosten, Joost J. University of BarcelonaSpain Committee Member in Program Committee within the ProLaLa-track
K Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael Verification of Neural Networks' Global Robustness
Gail KaiserKaiser, Gail Columbia UniversityUnited States CYCLE: Learning to Self-Refine the Code Generation
Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States SIGPLAN Track Chair in Organizing Committee for SPLASH 2024 Committee Member in Reviewers within the SPLASH Student Research Competition-track
Christian Gram KalhaugeKalhauge, Christian Gram Technical University of DenmarkDenmark Committee Member in Program Committee within the JENSFEST-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Steering Committee within the GPCE-track
John KastnerKastner, John Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Ryan KavanaghKavanagh, Ryan Université du Québec à Montréal (UQAM)Canada Message-Observing Sessions Committee Member in Reviewers within the SPLASH Student Research Competition-track
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee within the SPLASH Onward! Papers-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Sponsorship Co-Chair in Organizing Committee for SPLASH 2024
Ameya KetkarKetkar, Ameya UberUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Faezeh KhorramKhorram, Faezeh Huawei TechnologiesFrance Committee Member in Program Committee within the SLE-track
Jieung KimKim, Jieung Inha UniversitySouth Korea AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Yoonseung KimKim, Yoonseung Yale UniversityUnited States AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Compiling Recurrences over Dense and Sparse Arrays Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VMIL-track Author in Program Committee within the GPCE-track
Lutz KlinkenbergKlinkenberg, Lutz RWTH Aachen University Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions
Daniel KocherKocher, Daniel University of Salzburg Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
John C. KolesarKolesar, John C. Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Joomy KorkutKorkut, Joomy Bloomberg LPUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Scenario-based Proofs for Concurrent Objects
Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States Persimmon: Nested Family Polymorphism with Extensible Variant Types
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Committee Member in Program Committee within the PAINT-track
V Krishna NandivadaKrishna Nandivada, V IIT Madras Committee Member in Program Committee within the JENSFEST-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Identifying and Correcting Programming Language Behavior Misconceptions Forge: A Tool and Language for Teaching Formal Methods Profiling Programming Language Learning Committee Member in Review Committee within the SPLASH OOPSLA-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Committee Member in Program Committee within the SLE-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Ankit KumarKumar, Ankit Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Inductive diagrams for causal reasoning
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Committee Member in Program Committee within the SLE-track
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia Industry Track Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in REBASE within the SPLASH REBASE-track
L Ralf LaemmelLaemmel, Ralf University of Koblenz General Chair in Organizing Committee within the SLE-track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Committee Member in Review Committee within the SPLASH OOPSLA-track
Samuel LamLam, Samuel Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ada LambaLamba, Ada Ohio State University Cocoon: Static Information Flow Control in Rust
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James LarusLarus, James EPFL Committee Member in Review Committee within the SPLASH OOPSLA-track
Julia LawallLawall, Julia InriaFrance Author in Program Committee within the GPCE-track
Vu LeLe, Vu MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Wei LeLe, Wei Iowa State UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Aaron LeeLee, Aaron Committee Member in Program Committee within the ProLaLa-track
Edward LeeLee, Edward University of WaterlooCanada Qualifying System F-sub
Wonyeol LeeLee, Wonyeol Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuxiang LeiLei, Yuxiang UNSW Sydney Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
David LeopoldsederLeopoldseder, David Oracle LabsAustria PC Member in Program Committee within the VMIL-track
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz Committee Member in Program Committee within the JENSFEST-track
Sidney LeVineLeVine, Sidney Brown University Forge: A Tool and Language for Teaching Formal Methods
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Qualifying System F-sub
Haonan LiLi, Haonan University of California at Riverside, USA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Liyi LiLi, Liyi Iowa State UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Committee Member in Reviewers within the SPLASH Student Research Competition-track
Tzu-Mao LiLi, Tzu-Mao Massachusetts Institute of Technology; University of California at San DiegoUnited States Distributions for Compositionally Differentiating Parametric Discontinuities
Xuandong LiLi, Xuandong Nanjing UniversityChina Understanding and Finding Java Decompiler Bugs
Yi LiLi, Yi University of Texas at Dallas A Learning-Based Approach to Static Program Slicing
Yongjian LiLi, Yongjian Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China Mechanizing the CMP Abstraction for Parameterized Verification
Zikun LiLi, Zikun Carnegie Mellon University Quarl: A Learning-Based Quantum Circuit Optimizer
Christian Yongwhan LimLim, Christian Yongwhan Columbia UniversityUnited States Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Slim LimLim, Slim UC BerkeleyUnited States Committee Member in Program Committee within the HATRA-track
Sina LinLin, Sina Microsoft Quarl: A Learning-Based Quantum Circuit Optimizer
Zhiqiang LinLin, Zhiqiang The Ohio State University Cocoon: Static Information Flow Control in Rust
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Geoffrey LittLitt, Geoffrey MIT Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the LIVE-track
Geoffrey LittLitt, Geoffrey Committee Member in Program Committee within the LIVE-track
Congyu LiuLiu, Congyu Purdue University ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Jie LiuLiu, Jie Cornell University UniSparse: An Intermediate Language for General Sparse Format Customization
Ruyan LiuLiu, Ruyan Department of Computer Science and Technology, Nanjing University Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Xuwei LiuLiu, Xuwei Purdue University, USA ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track
Kuang-Chen LuLu, Kuang-Chen Brown University, USAUnited States Identifying and Correcting Programming Language Behavior Misconceptions
Yifei LuLu, Yifei Nanjing University Understanding and Finding Java Decompiler Bugs
Justin LubinLubin, Justin University of California at BerkeleyUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Didrik LundbergLundberg, Didrik KTH Royal Institute of Technology and Saab AB HOL4P4: mechanized small-step semantics for P4
Ralf LämmelLämmel, Ralf Universität KoblenzGermany Committee Member in Steering Committee within the SLE-track
M Pingchuan MaMa, Pingchuan HKUST PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Kenji MaillardMaillard, Kenji InriaFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Anwar MamatMamat, Anwar University of Maryland Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Ravi MangalMangal, Ravi Colorado State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the SLE-track
Daniel MarshallMarshall, Daniel University of Kent, UKUnited Kingdom Functional Ownership through Fractional Uniqueness
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Sebastian Mateos NicolajsenMateos Nicolajsen, Sebastian IT University of CopenhagenDenmark Committee Member in Program Commitee within the SPLASH -E-track
Darin McAdamsMcAdams, Darin Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Erin McBrideMcBride, Erin University of Wisconsin Committee Member in Program Committee within the ProLaLa-track
Matt McCutchenMcCutchen, Matt UnaffiliatedUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Tobias MeggendorferMeggendorfer, Tobias Lancaster University, UK (Leipzig Campus)Germany Quantitative Bounds on Resource Usage of Probabilistic Programs
Meetesh Kalpesh MehtaMehta, Meetesh Kalpesh IIT BombayIndia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yixuan MeiMei, Yixuan Carnegie Mellon University Quarl: A Learning-Based Quantum Circuit Optimizer
Orestis MelkonianMelkonian, Orestis Input Output Global (IOG/IOHK)United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Lucy MenonMenon, Lucy Northeastern University Gradually Typed Languages Should Be Vigilant!
Mira MeziniMezini, Mira TU DarmstadtGermany Steering Committee Member in Steering Committee for SPLASH 2024
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Author in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Distributions for Compositionally Differentiating Parametric Discontinuities
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Author in Program Committee within the GPCE-track
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the SAS -track Committee Member in Review Committee within the SPLASH OOPSLA-track
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Committee Member in Program Committee within the JENSFEST-track
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2024 Co-chair in Organizers within the SPLASH Student Research Competition-track
Marcus J. MinMin, Marcus J. Columbia University CYCLE: Learning to Self-Refine the Code Generation
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Committee Member in Program Committee within the SLE-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Program Committee within the NSAD-track
David MoonMoon, David University of MichiganUnited States Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
José MoralesMorales, José IMDEA Software InstituteSpain Committee Member in Program Committee within the SAS -track
Georg MoserMoser, Georg University of Innsbruck Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Peter D. MossesMosses, Peter D. Swansea University and Delft University of TechnologyNetherlands Program Co-Chair in Organizing Committee within the SLE-track
Naïm Moussaoui RemilMoussaoui Remil, Naïm INRIA & École Normale Supérieure \| Université PSLFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Kevin MuMu, Kevin University of Washington Distributions for Compositionally Differentiating Parametric Discontinuities
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track
Manasij MukherjeeMukherjee, Manasij University of Utah Hydra: Generalizing Peephole Optimizations with Program Synthesis
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Committee Member in Program Committee within the SPLASH Onward! Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Steering Committee within the SPLASH Onward! Papers-track Associate Chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
N Kartik NagarNagar, Kartik IIT MadrasIndia PC Member in Program Committee within the VMIL-track
Srinidhi NagendraNagendra, Srinidhi CNRS, Université Paris Cité, IRIF, Chennai Mathematical InstituteFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aaditya NaikNaik, Aaditya University of PennsylvaniaUnited States TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States TorchQL: A Programming Framework for Integrity Constraints in Machine Learning Committee Member in Organizing Committee within the JENSFEST-track Committee Member in Program Committee within the JENSFEST-track
Tomoki NakamaruNakamaru, Tomoki The University of Tokyo, JapanJapan Multiverse Notebook: Shifting Data Scientists to Time Travelers
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Program Committee within the SAS -track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Review Committee within the SPLASH OOPSLA-track
Jorge A. NavasNavas, Jorge A. CertoraUnited States Committee Member in Program Committee within the SAS -track
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Program Committee within the NSAD-track
Tim NelsonNelson, Tim Brown UniversityUnited States Forge: A Tool and Language for Teaching Formal Methods Committee Member in Program Committee within the HATRA-track
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States A Learning-Based Approach to Static Program Slicing Committee Member in Review Committee within the SPLASH OOPSLA-track
Oscar NierstraszNierstrasz, Oscar feenk.comSwitzerland Committee Member in Program Committee within the SPLASH Onward! Papers-track
Filip NiksicNiksic, Filip GoogleUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
James NobleNoble, James Independent. Wellington, NZNew Zealand Committee Member in Program Committee within the IWACO-track
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
O Martin OderskyOdersky, Martin EPFLSwitzerland Degrees of Separation: A Flexible Type System for Safe Concurrency
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SLE-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Commitee within the SPLASH -E-track Publicity Chair in Organizing Committee within the HATRA-track
Dominic OrchardOrchard, Dominic University of Kent, UK and University of Cambridge, UKUnited Kingdom Functional Ownership through Fractional Uniqueness
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Deriving Dependently-Typed OOP from First Principles
P Oded PadonPadon, Oded VMware ResearchUnited States Quarl: A Learning-Based Quantum Circuit Optimizer Committee Member in Program Committee within the SAS -track
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Richard PaigePaige, Richard McMaster UniversityCanada Committee Member in Steering Committee within the SLE-track
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Anjali PalPal, Anjali University of Washington Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Committee Member in Organizing Committee within the VIVEKFEST-track
Minxue PanPan, Minxue Nanjing UniversityChina Understanding and Finding Java Decompiler Bugs
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Jun PangPang, Jun University of LuxembourgLuxembourg Mechanizing the CMP Abstraction for Parameterized Verification
Brent PappasPappas, Brent University of Central FloridaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anouk ParadisParadis, Anouk ETH ZurichSwitzerland Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the HATRA-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Committee Member in Organizing Committee within the UNSOUND-track Committee Member in Organizing Committee within the UNSOUND-track Author in Program Committee within the GPCE-track
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Review Committee within the SPLASH OOPSLA-track
Michele PasquaPasqua, Michele University of VeronaItaly Committee Member in Program Committee within the SAS -track Committee Member in Organizing Committee within the NSAD-track
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark Committee Member in Review Committee within the SPLASH OOPSLA-track
David J. PearcePearce, David J. ConsenSysUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SLE-track
Hila PelegPeleg, Hila TechnionIsrael Associate Chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Marie PelleauPelleau, Marie Université Côte d'AzurFrance Committee Member in Program Committee within the NSAD-track
Jinjun PengPeng, Jinjun Columbia University Quarl: A Learning-Based Quantum Circuit Optimizer
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil Co-chair in Organizing Committee within the JENSFEST-track Committee Member in Program Committee within the JENSFEST-track Committee Member in Program Committee within the SLE-track
Basile PesinPesin, Basile Université Grenoble AlpesFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tomas PetricekPetricek, Tomas Charles UniversityCzechia Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Message-Observing Sessions
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Committee Member in Program Committee within the HATRA-track
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Author in Program Committee within the GPCE-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Josh PollockPollock, Josh MIT CSAILUnited States Committee Member in Program Committee within the HATRA-track
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia Steering Committee Member in Steering Committee for SPLASH 2024 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Steering Committee within the SPLASH Onward! Papers-track Co-chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the IWACO-track
Siddhartha PrasadPrasad, Siddhartha Brown University Forge: A Tool and Language for Teaching Formal Methods
Sai Praveen BangaruPraveen Bangaru, Sai MIT Distributions for Compositionally Differentiating Parametric Discontinuities
Q Shaz QadeerQadeer, Shaz FacebookUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhiyun QianQian, Zhiyun University of California at Riverside, USA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Longfei QiuQiu, Longfei Yale University AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Sergio Queiroz de MedeirosQueiroz de Medeiros, Sergio Universidade Federal do Rio Grande do NorteBrazil Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
R Gabriel RadanneRadanne, Gabriel InriaFrance Fulfilling OCaml modules with transparency
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Distributions for Compositionally Differentiating Parametric Discontinuities
Mukund RaghothamanRaghothaman, Mukund University of Southern California Local Arrangements Chair in Organizing Committee for SPLASH 2024
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Savitha RaviRavi, Savitha Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Baishakhi RayRay, Baishakhi Columbia University, New York; AWS AI LabUnited States CYCLE: Learning to Self-Refine the Code Generation
Patrick RedmondRedmond, Patrick University of California at Santa Cruz Inductive diagrams for causal reasoning
John RegehrRegehr, John University of UtahUnited States Hydra: Generalizing Peephole Optimizations with Program Synthesis
Patrick ReinRein, Patrick University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Newtonian Program Analysis of Probabilistic Programs
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Author in Program Committee within the GPCE-track
Félix RidouxRidoux, Félix Univ Rennes / IMDEA Software InstituteFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Finding Cross-rule Optimization Bugs in Datalog Engines
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Review Committee within the SPLASH OOPSLA-track
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Committee Member in Program Committee within the SAS -track Committee Member in Program Committee within the NSAD-track
Katja RogersRogers, Katja University of AmsterdamNetherlands Committee Member in Program Committee within the PAINT-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the GPCE-track
Hongbo RongRong, Hongbo Intel LabsUnited States UniSparse: An Intermediate Language for General Sparse Format Customization
Abhishek RoseRose, Abhishek IIT Delhi Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Andrea RosàRosà, Andrea USI LuganoSwitzerland Author in Program Committee within the GPCE-track
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Julianne RudnerRudner, Julianne Brown University Forge: A Tool and Language for Teaching Formal Methods
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gabriel RyanRyan, Gabriel Columbia University Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning
Benjamin RyjikovRyjikov, Benjamin Brown University Forge: A Tool and Language for Teaching Formal Methods
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Review Committee within the SPLASH OOPSLA-track
Didier RémyRémy, Didier Inria Fulfilling OCaml modules with transparency
Philipp RümmerRümmer, Philipp University of Regensburg and Uppsala University A Constraint Solving Approach to Parikh Images of Regular Languages
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Author in Program Committee within the GPCE-track
Albin SalazarSalazar, Albin University of KonstanzGermany Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Angelina SalilingSaliling, Angelina Cornell University Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Amit SamantaSamanta, Amit University of Utah Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
João SaraivaSaraiva, João HASLab/INESC TEC, University of MinhoPortugal Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Kavin SatheeskumarSatheeskumar, Kavin University of WaterlooCanada Qualifying System F-sub
Shigeyuki SatoSato, Shigeyuki The University of Electro-CommunicationsJapan Multiverse Notebook: Shifting Data Scientists to Time Travelers
Max SchaeferSchaefer, Max GitHubUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Author in Program Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of TübingenGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the GPCE-track
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany Committee Member in Program Committee within the NSAD-track Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Francesca ScozzariScozzari, Francesca University of Chieti-PescaraItaly Committee Member in Program Committee within the SAS -track
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Committee Member in Organizing Committee within the UNSOUND-track
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in Steering Committee within the GPCE-track Author in Program Committee within the GPCE-track
Zhong ShaoShao, Zhong Yale UniversityUnited States AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Student Research Competition Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Review Committee within the SPLASH OOPSLA-track Co-chair in Organizers within the SPLASH Student Research Competition-track
Qingkai ShiShi, Qingkai Nanjing UniversityChina ParDiff: Practical Static Differential Analysis of Network Protocol Parsers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yuanfeng ShiShi, Yuanfeng Peking UniversityChina Learning Abstraction Selection for Bayesian Program Analysis
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects
Ali ShokriShokri, Ali Virginia TechUnited States Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in Program Committee within the VMIL-track
Abhishek Kr SinghSingh, Abhishek Kr School of Computing, National University Of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Committee Member in Program Committee within the SAS -track
David SirkinSirkin, David Stanford UniversityUnited States Committee Member in Program Committee within the PAINT-track
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Ingo SkupinSkupin, Ingo University of Tübingen Deriving Dependently-Typed OOP from First Principles
Scott F. SmithSmith, Scott F. The Johns Hopkins University A Pure Demand Operational Semantics with Applications to Program Analysis
Gustavo SoaresSoares, Gustavo MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Youngju SongSong, Youngju MPI-SWSGermany Committee Member in Reviewers within the SPLASH Student Research Competition-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Steering Committee Member in Steering Committee for SPLASH 2024 General Chair in Organizing Committee for SPLASH 2024
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany Committee Member in Steering Committee within the SLE-track
Adam SteinStein, Adam University of Pennsylvania TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Michel SteuwerSteuwer, Michel Technische Universität BerlinGermany Author in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Amanda StjernaStjerna, Amanda Uppsala universitySweden A Constraint Solving Approach to Parikh Images of Regular Languages
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Program Committee within the SAS -track
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Author in Program Committee within the GPCE-track
Ting SuSu, Ting East China Normal UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Yian SuSu, Yian Northwestern UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Understanding and Finding Java Decompiler Bugs
Yulei SuiSui, Yulei UNSWAustralia Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability Committee Member in Review Committee within the SPLASH OOPSLA-track
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Doctoral Symposium Chair in Organizing Committee for SPLASH 2024 Committee Member in Review Committee within the SPLASH OOPSLA-track Doctoral Symposium Chair in Program Committee within the SPLASH Doctoral Symposium-track
Shiv SundramSundram, Shiv Stanford University Compiling Recurrences over Dense and Sparse Arrays
Tamás SzabóSzabó, Tamás GitHub NextAustria Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Steering Committee within the SLE-track
Tim SüberkrübSüberkrüb, Tim Aleph Alpha Deriving Dependently-Typed OOP from First Principles
T Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany Onward! Essays PC Chair in Organizing Committee for SPLASH 2024 Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Onward! Essays PC Chair in Program Committee within the SPLASH Onward! Essays-track
Zujun TanTan, Zujun Princeton University, USA PROMPT: A Fast and Extensible Memory Profiling Framework
Muhammad Usman TariqTariq, Muhammad Usman Stanford University Compiling Recurrences over Dense and Sparse Arrays
Joseph TassarottiTassarotti, Joseph NYUUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Max TaylorTaylor, Max Ohio State University Cocoon: Static Information Flow Control in Rust
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Author in Program Committee within the GPCE-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Committee Member in Program Committee within the SAS -track
Jérémy ThibaultThibault, Jérémy MPI-SP Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dave ThomasThomas, Dave Bedarra CorpCanada Committee Member in Program Committee within the SPLASH Onward! Papers-track
Thomas ThümThüm, Thomas Paderborn UniversityGermany Program Chair in Organizing Committee within the GPCE-track
Eli TilevichTilevich, Eli Virginia TechUnited States Author in Program Committee within the GPCE-track Committee Member in Program Commitee within the SPLASH -E-track
Frank TipTip, Frank Northeastern UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States Committee Member in Program Committee within the NSAD-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Industry Track Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Review Committee within the SPLASH OOPSLA-track Organization Co-chair in REBASE within the SPLASH REBASE-track PC Member in Program Committee within the VMIL-track Co-chair in Organizing Committee within the JENSFEST-track Committee Member in Program Committee within the JENSFEST-track
Ashish TiwariTiwari, Ashish MicrosoftUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal Committee Member in Review Committee within the SPLASH OOPSLA-track
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Emma ToschTosch, Emma Northeastern University, USA Committee Member in Program Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track Committee Member in Organizing Committee within the ProLaLa-track Associate Chair in Review Committee within the SPLASH OOPSLA-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom PC Member in Program Committee within the VMIL-track
Sean TreichlerTreichler, Sean NVIDIAUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan PC Member in Program Committee within the VMIL-track
Akshay UttureUtture, Akshay Uber Technologies Inc. Committee Member in Program Committee within the JENSFEST-track
V L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands Committee Member in Program Committee within the SLE-track
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Steering Committee Member in Steering Committee for SPLASH 2024 Committee Member in Program Committee within the PAINT-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SLE-track
Peter van Hardenbergvan Hardenberg, Peter Ink & SwitchCanada Committee Member in Organizing Committee within the LIVE-track Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the LIVE-track
Riemer van Rozenvan Rozen, Riemer CWINetherlands Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SLE-track
Eric Van WykVan Wyk, Eric Department of Computer Science and Engineering, University of Minnesota, USAUnited States Committee Member in Steering Committee within the GPCE-track Steering Committee Chair in Steering Committee within the SLE-track
Gabriele VanoniVanoni, Gabriele IRIF, Université Paris Cité Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs
Alexander VargaVarga, Alexander Brown University Forge: A Tool and Language for Teaching Formal Methods
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal Steering Committee Member in Steering Committee for SPLASH 2024
Martin VechevVechev, Martin ETH ZurichSwitzerland Synthetiq: Fast and Versatile Quantum Circuit Synthesis
Arnaud VenetVenet, Arnaud Facebook Committee Member in Program Committee within the SAS -track
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Gust VerbruggenVerbruggen, Gust Microsoft PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Didier VernaVerna, Didier EPITA Research LaboratoryFrance Committee Member in Program Committee within the SPLASH Onward! Essays-track
Agnes VillanyiVillanyi, Agnes MIT CSAIL Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Committee Member in Steering Committee within the SLE-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Steering Committee Chair in Steering Committee for SPLASH 2024
W Andrew WagnerWagner, Andrew Northeastern University Forge: A Tool and Language for Teaching Formal Methods
Chengpeng WangWang, Chengpeng The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Chengpeng WangWang, Chengpeng Purdue UniversityUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Di WangWang, Di Peking UniversityChina Newtonian Program Analysis of Probabilistic Programs Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Huaijin WangWang, Huaijin PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Ke WangWang, Ke United States Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Linzhang WangWang, Linzhang Nanjing University Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks Finding Cross-rule Optimization Bugs in Datalog Engines
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina A Learning-Based Approach to Static Program Slicing
Shuai WangWang, Shuai The Hong Kong University of Science and TechnologyChina PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Xinyu WangWang, Xinyu University of MichiganUnited States VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yu WangWang, Yu Nanjing UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhaoyu WangWang, Zhaoyu HKUST PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Zhemin WangWang, Zhemin Nanjing University of Aeronautics and AstronauticsChina Design and Implementation of an Aspect-Oriented C Programming Language
Alessandro WarthWarth, Alessandro Ink & SwitchUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Guannan WeiWei, Guannan Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andrew WellsWells, Andrew Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Shiwei WengWeng, Shiwei Johns Hopkins UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luke WestWest, Luke Brown University Forge: A Tool and Language for Teaching Formal Methods
Christian WimmerWimmer, Christian Oracle LabsUnited States PC Member in Program Committee within the VMIL-track
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program Committee within the SLE-track
Allen Wirfs-BrockWirfs-Brock, Allen Wirfs-Brock AssociatesUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Eric WongWong, Eric TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
John WrennWrenn, John Brown UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Associate Chair in Review Committee within the SPLASH OOPSLA-track Co-chair in Program Committee within the IWACO-track Committee Member in Organizing Committee within the IWACO-track
Jinhua WuWu, Jinhua Shanghai Jiao Tong UniversityChina Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Sponsorship Co-Chair in Organizing Committee for SPLASH 2024
Yi WuWu, Yi Tsinghua University Quarl: A Learning-Based Quantum Circuit Optimizer
Yinjun WuWu, Yinjun University of Pennsylvania TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the SLE-track
X Yingfei XiongXiong, Yingfei Peking UniversityChina Committee Member in Review Committee within the SPLASH OOPSLA-track
Amanda XuXu, Amanda University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Pei XuXu, Pei University of Technology Sydney / UNSW Sydney Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Yichen XuXu, Yichen EPFL Degrees of Separation: A Flexible Type System for Safe Concurrency
Ziyang XuXu, Ziyang Princeton UniversityUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Jingling XueXue, Jingling UNSW SydneyAustralia Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability
Xu XueXue, Xu University of Hong KongChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Y Aashish YadavallyYadavally, Aashish University of Texas at DallasUnited States A Learning-Based Approach to Static Program Slicing
Xuanda YangYang, Xuanda University of California San Diego Distributions for Compositionally Differentiating Parametric Discontinuities
Peisen YaoYao, Peisen Zhejiang UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
James YouYou, James University of WaterlooCanada Qualifying System F-sub
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for SPLASH 2024
BoXi YuYu, BoXi The Chinese University of Hong Kong, ShenzhenChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Chenyang YuYu, Chenyang Department of Computer Science and Technology, Nanjing University Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Le YuYu, Le ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles YuanYuan, Charles MITUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Committee Member in Program Committee within the SAS -track
Marco ZanellaZanella, Marco University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pamela ZaveZave, Pamela AT&T LaboratoriesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Author in Program Committee within the GPCE-track
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Yizhuo ZhaiZhai, Yizhuo University of California at Riverside, USA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
Bohua ZhanZhan, Bohua Institute of Software, Chinese Academy of Sciences Mechanizing the CMP Abstraction for Parameterized Verification
Charles ZhangZhang, Charles The Hong Kong University of Science and TechnologyChina Steering Committee Member in Steering Committee for SPLASH 2024
Chi ZhangZhang, Chi Nanjing UniversityChina Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks Finding Cross-rule Optimization Bugs in Datalog Engines
Jialu ZhangZhang, Jialu University of WaterlooCanada PyDex: Repairing Bugs in Introductory Python Assignments using LLMs Committee Member in Reviewers within the SPLASH Student Research Competition-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Associate Chair in Review Committee within the SPLASH OOPSLA-track
Qian ZhangZhang, Qian University of California, RiversideUnited States Publications Chair in Organizing Committee for SPLASH 2024 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2024 Committee Member in Program Committee within the SAS -track Committee Member in Organizing Committee within the SPLASH Workshops-track
Robert ZhangZhang, Robert The Johns Hopkins UniversityUnited States A Pure Demand Operational Semantics with Applications to Program Analysis
Wei ZhangZhang, Wei Meta Platforms, Inc.United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Xin ZhangZhang, Xin Peking UniversityChina Learning Abstraction Selection for Bayesian Program Analysis Committee Member in Review Committee within the SPLASH OOPSLA-track
Yifan ZhangZhang, Yifan Peking UniversityChina Learning Abstraction Selection for Bayesian Program Analysis
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Persimmon: Nested Family Polymorphism with Extensible Variant Types Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhiru ZhangZhang, Zhiru Cornell University, USA UniSparse: An Intermediate Language for General Sparse Format Customization
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Tian ZhaoZhao, Tian University of Wisconsin-MilwaukeeUnited States Committee Member in Program Committee within the JENSFEST-track
Yaoyu ZhaoZhao, Yaoyu University of Waterloo Qualifying System F-sub
Zhongyuan ZhaoZhao, Zhongyuan Qualcomm UniSparse: An Intermediate Language for General Sparse Format Customization
Mingwei ZhengZheng, Mingwei Purdue UniversityUnited States ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
Ye ZhengZheng, Ye Rochester Institute of Technology (RIT)United States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Fengmin ZhuZhu, Fengmin CISPA - Helmholtz Center for Information SecurityGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shaopeng ZhuZhu, Shaopeng Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yunlong ZhuZhu, Yunlong Nanjing University of Aeronautics and AstronauticsChina Design and Implementation of an Aspect-Oriented C Programming Language
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Conrad ZimmermanZimmerman, Conrad Brown UniversityUnited States Video Chair in Organizing Committee for SPLASH 2024 Video Chair in Organizing Committee for SPLASH 2024
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Committee Member in Review Committee within the SPLASH OOPSLA-track
Ž Đorđe ŽikelićŽikelić, Đorđe Singapore Management University, SingaporeSingapore Quantitative Bounds on Resource Usage of Probabilistic Programs

SPLASH 2024 Contributors

Results (637)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia