SPLASH 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (547)

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!
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
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States PROMPT: A Fast and Extensible Memory Profiling Framework
Maggie AppletonAppleton, Maggie ElicitUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Ian ArawjoArawjo, Ian Cornell University 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
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 Harvard UniversityUnited States 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
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
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Clément BlaudeauBlaudeau, Clément InriaFrance Fulfilling OCaml modules with transparency
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 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, USA Cocoon: Static Information Flow Control in Rust
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 EPFL Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-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
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
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
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
Jonathan CastelloCastello, Jonathan University of California, Santa CruzUnited States Inductive diagrams for causal reasoning
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
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
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
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 The University of TokyoJapan Committee Member in Review Committee within the SPLASH OOPSLA-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
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-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
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
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
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
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 University of Pennsylvania 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
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 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 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
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
Martin ErwigErwig, Martin Oregon State UniversityUnited States 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
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
Umar FarooqFarooq, Umar Louisiana State UniversityUnited States Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States 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
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Alcides FonsecaFonseca, Alcides University of LisbonPortugal Publicity Co-Chair, Web Co-Chair in Organizing Committee for SPLASH 2024
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
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
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
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 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
Sumit GulwaniGulwani, Sumit MicrosoftUnited States PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
Rajiv GuptaGupta, Rajiv Univeristy of California, Riverside (UCR)United 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 SPLASH Onward! Papers-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
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 HATRA-track
Kyle HeadleyHeadley, Kyle Unaffiliated Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Brian HempelHempel, Brian University of Chicago Committee Member in Program Committee within the SPLASH Onward! Papers-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 Leiden Institute of Advanced Compter Science (LIACS) & Centrum Wiskunde Informatica (CWI)Netherlands 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
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 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
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
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the SPLASH Onward! Papers-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
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
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
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
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
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
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
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
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
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 Profiling Programming Language Learning Forge: A Tool and Language for Teaching Formal Methods Committee Member in Review Committee within the SPLASH OOPSLA-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
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia Industry Track Co-Chair in Organizing Committee for SPLASH 2024
L Ralf LaemmelLaemmel, Ralf Facebook London 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
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
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
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
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
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
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 SPLASH Onward! Papers-track Committee Member in Organizing 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
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the SAS -track
Crista LopesLopes, Crista University of California IrvineUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-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 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 Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-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
Darin McAdamsMcAdams, Darin Amazon Web Services Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
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
Erik MeijerMeijer, Erik FacebookUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
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
Jesse MichelMichel, Jesse Massachusetts Institute of Technology Distributions for Compositionally Differentiating Parametric Discontinuities
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
David MoonMoon, David University of MichiganUnited States 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
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 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
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
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 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
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
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
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
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
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
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 EPFLUnited 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
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
Baishakhi RayRay, Baishakhi AWS AI LabsUnited 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
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
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
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 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
Amit SamantaSamanta, Amit University of Utah Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-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
Philipp SchusterSchuster, Philipp University of TübingenGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany Committee Member in Artifact Evaluation Committee within the SAS Artifacts-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
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
Abhishek Kr SinghSingh, Abhishek Kr National University Of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Committee Member in Program Committee within the SAS -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
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
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
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
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
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
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
Frank TipTip, Frank Northeastern UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2024
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 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 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
Sean TreichlerTreichler, Sean NVIDIAUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
U Akshay UttureUtture, Akshay Uber Technologies Inc. Committee Member in Program Committee within the JENSFEST-track
V Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands 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 Committee Member in Program Committee within the SPLASH Onward! Essays-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
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
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
Di WangWang, Di Peking UniversityChina Newtonian Program Analysis of Probabilistic Programs Committee Member in Review Committee within the SPLASH OOPSLA-track
Huaijin WangWang, Huaijin PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis
Ke WangWang, Ke United States Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Linzhang WangWang, Linzhang Nanjing University Finding Cross-rule Optimization Bugs in Datalog Engines Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
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
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
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
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 Zhejing 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
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 Finding Cross-rule Optimization Bugs in Datalog Engines Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Jialu ZhangZhang, Jialu University of WaterlooCanada PyDex: Repairing Bugs in Introductory Python Assignments using LLMs
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
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
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 (547)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia