SPLASH 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (802)

A Chike AbuahAbuah, Chike University of Vermont Solo: A Lightweight Static Analysis for Differential Privacy Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Committee Member in Program Committee for APLAS 2022
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee for SPLASH 2022 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2022 Chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Overview Committee within the SPLASH COVID Time Papers In Person-track
Khaled AhmedAhmed, Khaled University of British Columbia (UBC)Canada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Emma AhrensAhrens, Emma RWTH-Aachen University, Germany Reasoning about Reconfigurations of Distributed Systems
Baris AktemurAktemur, Baris IntelGermany Committee Member in Program Committee within the GPCE-track
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-MadisonUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Hybridisation Co-Chair in Organizing Committee for SPLASH 2022 Human Aspects of Types and Reasoning Assistants (HATRA) Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the HATRA-track
Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, SwedenSweden SecWasm: Information Flow Control for WebAssembly
Karim AliAli, Karim University of Alberta Committee Member in Review Committee within the SPLASH OOPSLA-track
Shaukat AliAli, Shaukat Simula Research Laboratory, NorwayNorway Committee Member in Program Committee within the SLE-track
Miltiadis AllamanisAllamanis, Miltiadis United Kingdom Overwatch: Learning Patterns in Code Edit Sequences
Meghan AllenAllen, Meghan University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track
Juliana Alves PereiraAlves Pereira, Juliana PUC-RioBrazil Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organising Committee within the SLE-track
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Compilation of Dynamic Sparse Tensor Algebra
Daneshvar AmrollahiAmrollahi, Daneshvar TU WienAustria Solving Invariant Generation for Unsolvable Loops
Aditya AnandAnand, Aditya Indian Institute of Technology MandiIndia Principles of Staged Static+Dynamic Partial Analysis [G] A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Étienne AndréAndré, Étienne Université Sorbonne Paris NordFrance Committee Member in Program Committee within the FTSCS-track
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the PAINT-track
Ian ArawjoArawjo, Ian Cornell University Committee Member in Program Committee within the LIVE-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Decoupling the Ascending and Descending Phases in Abstract Interpretation Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Formal Techniques for Safety-Critical Systems (FTSCS) Committee Member in Organizing Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track
Eric AtkinsonAtkinson, Eric MIT Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Committee Member in Program Committee within the REBLS-track
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Committee Member in Program Committee for APLAS 2022 Intrinsically-Typed Definitional Interpreters à la Carte Language-parametric static semantic code completion
Kyungmin BaeBae, Kyungmin Pohang University of Science and Technology (POSTECH)South Korea Committee Member in Program Committee within the FTSCS-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Workshops Co-Chair in Organizing Committee for SPLASH 2022 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the REBLS-track
Engineer BainomugishaBainomugisha, Engineer Makerere UniversityUganda Committee Member in Program Committee within the DLS-track
Yasharth BajpaiBajpai, Yasharth Microsoft Overwatch: Learning Patterns in Code Edit Sequences
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Team Harmony Before, During, and After COVID-19 Curated Mutation Analysis for Evaluating the Quality of Student-Written Software Tests Steering Committee Chair in Steering Committee within the SPLASH -E-track
Suguman BansalBansal, Suguman Rice University, USAUnited States Invited Speaker in Invited Speakers for SAS 2022 Keynote 3
Olivier BaraisBarais, Olivier University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Committee Member in Program Committee within the SPLASH Onward! Papers-track
Mikhail BarashBarash, Mikhail University of BergenNorway Committee Member in Program Committee within the PAINT-track
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS Papers-track
Titus BarikBarik, Titus Microsoft, USAUnited States Overwatch: Learning Patterns in Code Edit Sequences
Mike BarkminBarkmin, Mike University of Duisburg-Essen, GermanyGermany Committee Member in Program Committee within the SPLASH -E-track
Celeste BarnabyBarnaby, Celeste The University of Texas at Austin, Texas, USAUnited States Type-Directed Synthesis of Visualizations from Natural Language Queries
Hernando BarragánBarragán, Hernando Universidad de Los AndesColombia Committee Member in Program Committee within the PAINT-track
Clark BarrettBarrett, Clark Stanford UniversityUnited States Scalable Verification of GNN-based Job Schedulers
Aurèle BarrièreBarrière, Aurèle Univ Rennes, IRISAFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, SpainGermany Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Ezio BartocciBartocci, Ezio Solving Invariant Generation for Unsolvable Loops This is the Moment for Probabilistic Loops
David BasinBasin, David ETH Zurich Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Iulia BastysBastys, Iulia Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Kevin BatzBatz, Kevin RWTH Aachen University Weighted programming: a programming paradigm for specifying mathematical models
Guillaume BaudartBaudart, Guillaume Inria, ENS ParisFrance Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming Committee Member in Program Committee within the REBLS-track
Santiago BautistaBautista, Santiago Univ Rennes, Inria, CNRS, IRISAFrance Lifting Numeric Relational Domains to Algebraic Data Types
Rohan BavishiBavishi, Rohan University of California at BerkeleyUnited States Neurosymbolic Repair for Low-Code Formula Languages
Felipe Bañados SchwerterBañados Schwerter, Felipe University of British ColumbiaCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Mike BeckerBecker, Mike TU Braunschweig Model-based Fault Classification for Automotive Software
Tom BeckmannBeckmann, Tom Hasso Plattner Institute Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Organizer in Organizing Committee within the PAINT-track Organizer in Program Committee within the PAINT-track
Christian J. BellBell, Christian J. MIT CSAILUnited States C4: verified transactional objects
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Véronique BenzakenBenzaken, Véronique Université Paris-Saclay - Laboratoire de Méthodes Formelles France Translating canonical SQL to imperative code in Coq
Josh BerdineBerdine, Josh MetaUnited Kingdom Finding real bugs in big programs with incorrectness logic
Celina BergBerg, Celina University of VictoriaCanada The Role of Abstraction in Introductory Programming
Jan BessaiBessai, Jan Technical University DortmundGermany Sources of Unsoundness in Verification (Unsound) Committee Member in Organizing Committee within the Unsound-track
Dirk BeyerBeyer, Dirk LMU Munich, GermanyGermany Case Study on Verification-Witness Validators: Where We Are and Where We Go
Riccardo BianchiniBianchini, Riccardo University of Genova Coeffects for sharing and mutation
Robert BiddleBiddle, Robert Carleton UniversityCanada Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Armin BiereBiere, Armin University of Freiburg, GermanyGermany Committee Member in Program Committee within the FTSCS-track
Kevin BierhoffBierhoff, Kevin Google Wildcards Need Witness Protection
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the GPCE-track
Nicolas BiriBiri, Nicolas Input Output Global (IOG) Committee Member in Program Committee within the GPCE-track
Lars BirkedalBirkedal, Lars Aarhus University Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities Modular Verification of Op-Based CRDTs in Separation Logic Committee Member in Review Committee within the SPLASH OOPSLA-track
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Committee Member in Organizing Committee within the VMIL-track
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Eion BlanchardBlanchard, Eion University of Illinois at Urbana-Champaign Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Clement BlaudeauBlaudeau, Clement Ecole PolytechniqueFrance A Conceptual Framework for Safe Object Initialization
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Diversity and Inclusion Chair, Local Organising Chair in Organizing Committee for SPLASH 2022
Bruno BodinBodin, Bruno Yale-NUS CollegeSingapore PC Member in Program Committee within the SPLASH Onward! Essays-track
James BornholtBornholt, James University of Texas at AustinUnited States Synthesizing fine-grained synchronization protocols for implicit monitors
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Automated Synthesis of Asynchronizations
Thomas BourgeatBourgeat, Thomas Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Marius BozgaBozga, Marius CNRS, Universite Grenoble Alpes, France Reasoning about Reconfigurations of Distributed Systems
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Marcos Maronas BravoBravo, Marcos Maronas Huawei R&D UK High-Level Effect Handlers in C++
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Daniel BrittenBritten, Daniel The University of Waikato Provably correct smart contracts: an approach using DeepSEA
David BromanBroman, David KTHSweden Committee Member in Program Committee within the FTSCS-track
Roberto BruniBruni, Roberto University of PisaItaly Deciding program properties via complete abstractions on bounded domains
Denis BuenoBueno, Denis Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Lola BurgueñoBurgueño, Lola University of MalagaSpain Program Co-Chair in Program Committee within the SLE-track PC Chair in Organising Committee within the SLE-track
Arvid ButtingButting, Arvid Software Engineering, RWTH Aachen UniversityGermany Committee Member in Program Committee within the SLE-track
C Pierre CagneCagne, Pierre Appalachian State University Characterizing functions mappable over GADTs
Yuxi CaiCai, Yuxi University of Toronto SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Zixian CaiCai, Zixian Australian National UniversityAustralia Video Co-Chair in Organizing Committee for SPLASH 2022
José Pablo CambroneroCambronero, José Pablo Microsoft Neurosymbolic Repair for Low-Code Formula Languages
Jonathan CameronCameron, Jonathan Carnegie Mellon UniversityUnited States Linear types for large-scale systems verification
Marco CampionCampion, Marco University of VeronaItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Tower: Data Structures in Quantum Superposition Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the DLS-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Program Co-Chair in Program Committee within the SLE-track PC Chair in Organising Committee within the SLE-track
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Stefanos ChaliasosChaliasos, Stefanos Imperial College London, UKUnited Kingdom A Study of Inline Assembly in Solidity Smart Contracts
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Sponsorship Co-Chair in Organizing Committee for SPLASH 2022
Tony ChauChau, Tony The Hong Kong University of Science and Technology MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Marsha ChechikChechik, Marsha University of Toronto Committee Member in Program Committee within the SLE-track
Adam ChenChen, Adam Stevens Institute of TechnologyUnited States Veracity: Declarative Multicore Programming with Commutativity
Bretton ChenChen, Bretton UCLA Data-Driven Lemma Synthesis for Interactive Proofs
Guangke ChenChen, Guangke ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Hao ChenChen, Hao Yale University Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Committee Member in Program Committee within the SAS Papers-track
Qiaochu ChenChen, Qiaochu University of Texas at Austin, USA Type-Directed Synthesis of Visualizations from Natural Language Queries
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the GPCE-track
Taolue ChenChen, Taolue Birkbeck University of LondonUnited Kingdom CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yanju ChenChen, Yanju University of California, Santa BarbaraUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Zhuo ChenChen, Zhuo University of Melbourne Towards A Verified Cost Model for Call-by-Push-Value
Luyu ChengCheng, Luyu Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee for APLAS 2022
Alvin CheungCheung, Alvin University of California, Berkeley Synthesizing CRDTs from Sequential Data Types with Verified Lifting Committee Member in Review Committee within the SPLASH OOPSLA-track
Marc ChevalierChevalier, Marc SnykSwitzerland Artifact Evaluation Chair in Organizing Committee for SAS 2022 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Michele ChiariChiari, Michele Politecnico di MilanoItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Automated Temporal Verification for Algebraic Effects [G] Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Luca ChiodiniChiodini, Luca Università della Svizzera italianaSwitzerland Expressions in Java: Essential, Prevalent, Neglected?
Khushboo ChitreChitre, Khushboo Indraprastha Institute of Information Technology, Delhi The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Kenneth ChiuChiu, Kenneth SUNY Binghamton The Essence of Online Data Processing
Andrei ChişChiş, Andrei feenk, Switzerland Publicity Chair in Organising Committee within the SLE-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States C4: verified transactional objects
Stephen ChouChou, Stephen Massachusetts Institute of TechnologyUnited States Compilation of Dynamic Sparse Tensor Algebra
Pritam ChoudhuryChoudhury, Pritam University of Pennsylvania Monadic and Comonadic Aspects of Dependency Analysis
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers UniversityUnited States Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin Northeastern University Video Co-Chair in Organizing Committee for SPLASH 2022
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Human Aspects of Types and Reasoning Assistants (HATRA) Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PAINT-track Committee Member in Organizing Committee within the HATRA-track
Basile ClementClement, Basile InriaFrance End-to-end translation validation for the halide language
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Human Aspects of Types and Reasoning Assistants (HATRA) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Albert CohenCohen, Albert GoogleFrance End-to-end translation validation for the halide language
Benoit CombemaleCombemale, Benoit University of Rennes; Inria; IRISAFrance Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SLE-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Hybridisation Co-Chair in Organizing Committee for SPLASH 2022 Committee Member in Program Committee for APLAS 2022 Mio: a Block-Based Environment for Program Design First-class Names for Effect Handlers PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the GPCE-track Publicity Chair in Organizing Committee within the GPCE-track
Evelyne ContejeanContejean, Evelyne Translating canonical SQL to imperative code in Coq
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Publicity Chair, Web Co-Chair in Organizing Committee for SPLASH 2022
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SAS Papers-track
Arlen CoxCox, Arlen IDA Committee Member in Program Committee within the SAS Papers-track
Will CrichtonCrichton, Will Stanford University Committee Member in Program Committee within the HATRA-track
Abby CriswellCriswell, Abby University of Texas at Austin Type-Directed Synthesis of Visualizations from Natural Language Queries
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-Madison, USA Synthesizing Abstract Transformers
Emanuele D'OsualdoD'Osualdo, Emanuele MPI-SWSGermany Proving Hypersafety Compositionally A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia Committee Member in Program Committee for APLAS 2022
Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly Coeffects for sharing and mutation
Sadegh DalvandiDalvandi, Sadegh University of Surrey Implementing and Verifying Release-Acquire Transactional Memory in C11
Daniela DamianDamian, Daniela University of VictoriaCanada The Role of Abstraction in Introductory Programming
David DaraisDarais, David Galois, Inc.United States Solo: A Lightweight Static Analysis for Differential Privacy
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Fractional Resources in Unbounded Separation Logic
Sourav DasDas, Sourav Indian Institute of Technology KharagpurIndia Committee Member in Artifact Evaluation Committee for APLAS 2022
Brahma DathanDathan, Brahma Metropolitan State University Crossing Learning Thresholds Progressively Via Active Learning
Istvan DavidDavid, Istvan Université de MontréalCanada Committee Member in Program Committee within the SLE-track
Alfonso de la Vegade la Vega, Alfonso Universidad de CantabriaSpain Committee Member in Program Committee within the SLE-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2022 Reactive and Event-Based Languages and Systems (REBLS) PC Co-Chair in Program Committee within the DLS-track Committee Member in Organizing Committee within the REBLS-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Co-chair in Artifact Evaluation Committee for APLAS 2022 Committee Member in Program Committee for APLAS 2022
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Luigi De RussisDe Russis, Luigi Politecnico di TorinoItaly Committee Member in Program Committee within the PAINT-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Delphine DemangeDemange, Delphine Univ Rennes, Inria, CNRS, IRISAFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Yinlin DengDeng, Yinlin University of Illinois at Urbana-Champaign Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Farzaneh DerakhshanDerakhshan, Farzaneh Carnegie Mellon UniversityUnited States Committee Member in Program Committee for APLAS 2022
Kezia DevathasanDevathasan, Kezia University of VictoriaCanada The Role of Abstraction in Introductory Programming
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium Plausible sealing for gradual parametricity Purity of an ST monad: full abstraction by semantically typed back-translation
Philip DexterDexter, Philip SUNY Binghamton The Essence of Online Data Processing
Utkarsh DhandhaniaDhandhania, Utkarsh The University of Hong Kong Compositional Embeddings of Domain-Specific Languages
Kevin DickDick, Kevin Carleton UniversityCanada Data Science Pedagogy to Support Industry, Governmental, & Research Initiatives
Robert DickersonDickerson, Robert Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Isil DilligDillig, Isil University of Texas at AustinUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis Type-Directed Synthesis of Visualizations from Natural Language Queries Synthesizing fine-grained synchronization protocols for implicit monitors Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shuo DingDing, Shuo Georgia Institute of Technology, USA Taming Transitive Redundancy for Context-Free Language Reachability
Yi DingDing, Yi Massachusetts Institute of TechnologyUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg Committee Member in Program Committee for APLAS 2022
James DongDong, James Stanford University Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Brijesh DongolDongol, Brijesh University of Surrey Implementing and Verifying Release-Acquire Transactional Memory in C11
Raphael Douglas GilesDouglas Giles, Raphael UNSWAustralia [U] Termination of Recursive Functions by Lexicographic Orders of Linear Combinations
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Boosting Robustness Verification of Semantic Feature Neighborhoods Committee Member in Program Committee within the SAS Papers-track
Derek DreyerDreyer, Derek MPI-SWSGermany Proving Hypersafety Compositionally BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs Finding real bugs in big programs with incorrectness logic
Sophia DrossopoulouDrossopoulou, Sophia Facebook and Imperial College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2022 Necessity Specifications are Necessary for Robustness Committee Member in Review Committee within the SPLASH OOPSLA-track
Andrej DudenhefnerDudenhefner, Andrej Technical University Dortmund Committee Member in Organizing Committee within the Unsound-track
Greg DurrettDurrett, Greg University of Texas at Austin, USA Automated transpilation of imperative to functional code using neural-guided program synthesis Type-Directed Synthesis of Visualizations from Natural Language Queries
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Co-chair in Artifact Evaluation Committee for APLAS 2022
Yotam DvirDvir, Yotam Tel Aviv University An Algebraic Theory for Shared-State Concurrency
Tristan DyerDyer, Tristan Applying cognitive principles to model-finding output: the positive value of negative information
Tristan DyerDyer, Tristan Brown UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
E Jonathan EdwardsEdwards, Jonathan United States Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Necessity Specifications are Necessary for Robustness
Aaron ElineEline, Aaron AmazonUnited States C to checked C by 3c
Stephen EllisEllis, Stephen Imperial College London Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Madeline EndresEndres, Madeline University of MichiganUnited States Seq2Parse: Neurosymbolic Parse Error Repair
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Automated Synthesis of Asynchronizations Committee Member in Review Committee within the SPLASH OOPSLA-track
Sebastian ErdwegErdweg, Sebastian JGU Mainz Steering Committee Chair in Steering Committee within the GPCE-track
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Reactive and Event-Based Languages and Systems (REBLS) Committee Member in Organizing Committee within the REBLS-track Committee Member in Review Committee within the SPLASH OOPSLA-track
F Andong FanFan, Andong The Hong Kong University of Science and TechnologyChina A Calculus with Recursive Types, Record Concatenation and Subtyping [G] Simple Extensible Programming Through Precisely-Typed Open Recursion
Hongyu FanFan, Hongyu Tsinghua UniversityChina Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Anna FarihaFariha, Anna Microsoft Neurosymbolic Repair for Low-Code Formula Languages
Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTSCS-track
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Proving Hypersafety Compositionally
Parisa FathololumiFathololumi, Parisa Stevens Institute of Technology Veracity: Declarative Multicore Programming with Commutativity
Marc FeeleyFeeley, Marc Université de MontréalCanada Committee Member in Program Committee within the DLS-track
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2022 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv UniversityIsrael Invariant Inference With Provable Complexity From the Monotone Theory
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the REBLS-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the SAS Papers-track
Kostas FerlesFerles, Kostas Veridise Inc.United States Synthesizing fine-grained synchronization protocols for implicit monitors
Kiko Fernandez-ReyesFernandez-Reyes, Kiko KlarnaSweden Committee Member in Program Committee within the SPLASH Onward! Papers-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Program Committee within the SAS Papers-track
Robby FindlerFindler, Robby Northwestern University, USAUnited States Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa General Chair in Organising Committee within the SLE-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Applying cognitive principles to model-finding output: the positive value of negative information Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Darius FooFoo, Darius National University of Singapore Automated Temporal Verification for Algebraic Effects
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation Committee for APLAS 2022
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for SPLASH 2022 Committee Member in Overview Committee within the SPLASH COVID Time Papers In Person-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the LIVE-track
Dov FraivertFraivert, Dov Open University of IsraelIsrael Explicit Code Reuse Recommendation
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the FTSCS-track
Steven D. FraserFraser, Steven D. InnoxecUnited States Panel Impresario in Organisers within the SPLASH Panels-track
Felipe FronchettiFronchetti, Felipe Virginia Commonwealth UniversityUnited States Enabling End-Users to Create Larger Block-Based Programs by Supporting Scaffolded Function Decomposition
Dan FruminFrumin, Dan University of Groningen A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Hongfei FuFu, Hongfei Shanghai Jiao Tong University, China Scalable Linear Invariant Generation with Farkas' Lemma
Yingjie FuFu, Yingjie Peking UniversityChina MufGen: Automatically Generating Input-Output Equivalent Faulty Programs Toward Debugging Training
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee for APLAS 2022
Adrian GallusGallus, Adrian RWTH Aachen University Weighted programming: a programming paradigm for specifying mathematical models
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) Committee Member in Artifact Evaluation Committee for APLAS 2022
Ronald GarciaGarcia, Ronald University of British Columbia Enabling End-Users to Create Larger Block-Based Programs by Supporting Scaffolded Function Decomposition
Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada Modular Proofs for SMT-Based Model-Checking of Pointer Programs
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Deepak GargGarg, Deepak MPI-SWSGermany BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs Committee Member in Review Committee within the SPLASH OOPSLA-track
Pranav GargGarg, Pranav AWS AI Synthesizing Code Quality Rules from Examples
Chuqin GengGeng, Chuqin McGill University Novice Type Error Diagnosis with Natural Language Models
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Lilia GeorgievaGeorgieva, Lilia Committee Member in Artifact Evaluation Committee for APLAS 2022
Arthur GervaisGervais, Arthur Imperial College London A Study of Inline Assembly in Solidity Smart Contracts
Dan GhicaGhica, Dan Huawei R&D UKUnited Kingdom High-Level Effect Handlers in C++
Anubhab GhoshGhosh, Anubhab Indian Institute of Information Technology KalyaniIndia [U] Qiwi: A Beginner Friendly Quantum Language
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation Committee Member in Program Committee within the SAS Papers-track
Dimitra GiannakopoulouGiannakopoulou, Dimitra NASA Ames Research Center Committee Member in Program Committee within the FTSCS-track
Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Coeffects for sharing and mutation Committee Member in Organizing Committee within the Unsound-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Member in Program Committee within the SPLASH Onward! Essays-track
Sabine GlesnerGlesner, Sabine Germany Committee Member in Program Committee within the FTSCS-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States Chair in Chairs within the SPLASH PLTea-track
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Parsing Randomness
Anitha GollamudiGollamudi, Anitha University of Massachusetts Lowell Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Christiane GoltzGoltz, Christiane SnykSwitzerland Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Léon GondelmanGondelman, Léon Aarhus University Modular Verification of Op-Based CRDTs in Separation Logic
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the GPCE-track Committee Member in Organizing Committee within the VMIL-track
April GonçalvesGonçalves, April Metastate AGDenmark Committee Member in Program Committee within the LIVE-track
Roberta GoriGori, Roberta University of PisaItaly Deciding program properties via complete abstractions on bounded domains
Maruth GoyalGoyal, Maruth University of Texas at Austin Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Jeff GrayGray, Jeff University of Alabama Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Neville GrechGrech, Neville University of MaltaMalta Elipmoc: advanced decompilation of Ethereum smart contracts Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the DLS-track
Ben GreenmanGreenman, Ben Brown University, USA Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2022 Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ben GreenmanGreenman, Ben Brown UniversityUnited States Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the HATRA-track
Matt GriffinGriffin, Matt University of SurreyUnited Kingdom Committee Member in Artifact Evaluation Committee for APLAS 2022
David GroveGrove, David IBM ResearchUnited States Chair in Steering Committee for SPLASH 2022
Lindsay GrovesGroves, Lindsay Victoria University of Wellington Committee Member in Program Committee within the FTSCS-track
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Yuchen GuGu, Yuchen Peking University Oracle-Free Repair Synthesis for Floating-Point Programs
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States PC Co-Chair in Program Committee within the DLS-track
Sumit GulwaniGulwani, Sumit MicrosoftUnited States Overwatch: Learning Patterns in Code Edit Sequences Neurosymbolic Repair for Low-Code Formula Languages
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the SPLASH -E-track
Philip J. GuoGuo, Philip J. University of California, San Diego Seq2Parse: Neurosymbolic Parse Error Repair Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials
Priyanshu GuptaGupta, Priyanshu Microsoft Overwatch: Learning Patterns in Code Edit Sequences
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee for APLAS 2022 Modular Proofs for SMT-Based Model-Checking of Pointer Programs
Tudor GîrbaGîrba, Tudor feenk.com Committee Member in Program Committee within the LIVE-track
H Julian HaasHaas, Julian Technische Universität DarmstadtGermany [G] LoRe: Local-First Reactive Programming with Verified Safety Guarantees Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without relying on the Cloud.
Thomas HaasHaas, Thomas TU BraunschweigGermany CAAT: Consistency as a Theory
Houssem HachmaouiHachmaoui, Houssem Translating canonical SQL to imperative code in Coq
Sebastian HackHack, Sebastian Saarland University, Germany AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Braxton HallHall, Braxton University of British ColumbiaCanada Curated Mutation Analysis for Evaluating the Quality of Student-Written Software Tests
William T. HallahanHallahan, William T. Yale University Checking Equivalence in a Non-Strict Language
Tianyu HanHan, Tianyu McGill University Novice Type Error Diagnosis with Natural Language Models
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Expressions in Java: Essential, Prevalent, Neglected?
Chris HawblitzelHawblitzel, Chris Microsoft Research Linear types for large-scale systems verification
Dongjie HeHe, Dongjie UNSW SydneyAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Fei HeHe, Fei Tsinghua UniversityChina Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Pinjia HeHe, Pinjia The Chinese University of Hong Kong, ShenzhenChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Kyle HeadleyHeadley, Kyle AmazonUnited States C to checked C by 3c
Joe HellersteinHellerstein, Joe University of California, Berkeley Synthesizing CRDTs from Sequential Data Types with Verified Lifting
Martin HenzHenz, Martin National University of SingaporeSingapore Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Ben HermannHermann, Ben Technical University DortmundGermany Committee Member in Organizing Committee within the Unsound-track
Noa HeylHeyl, Noa University of British ColumbiaCanada Team Harmony Before, During, and After COVID-19
MIchael HicksHicks, MIchael AmazonUnited States C to checked C by 3c
Michael HicksHicks, Michael Amazon, USA and University of Maryland, USA Verified Compilation of Quantum Oracles
Kesha HietalaHietala, Kesha University of MarylandUnited States Verified Compilation of Quantum Oracles
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Committee Member in Program Committee within the DLS-track Organizer in Organizing Committee within the PAINT-track Organizer in Program Committee within the PAINT-track
Joshua HoeflichHoeflich, Joshua Northwestern University Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Reid HolmesHolmes, Reid University of British ColumbiaCanada Enabling End-Users to Create Larger Block-Based Programs by Supporting Scaffolded Function Decomposition
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Budget and Finance Chair in Organizing Committee for SPLASH 2022
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2022 Comfy Chair in Organizing Committee for SPLASH 2022 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Falk HowarHowar, Falk TU Dortmund UniversityGermany Committee Member in Organizing Committee within the Unsound-track
Jon HowellHowell, Jon VMWare Research Linear types for large-scale systems verification
Justin HsuHsu, Justin Cornell UniversityUnited States Symbolic Execution for Randomized Programs
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Committee Member in Program Committee for APLAS 2022 Committee Member in Program Committee within the SLE-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States SHARP: fast incremental context-sensitive pointer analysis for Java
Kangjing HuangHuang, Kangjing Purdue University, USAUnited States Bootstrapping Library-Based Synthesis
Mathieu HuotHuot, Mathieu Oxford University Functional collection programming with semi-ring dictionaries
Chung-Kil HurHur, Chung-Kil Seoul National UniversitySouth Korea Committee Member in Review Committee within the SPLASH OOPSLA-track
I Takashi IbaIba, Takashi Keio UniversityJapan Improving the Quality of Creative Practices with Pattern Languages
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan (I Can't Get No) Verification Organizer in Program Committe within the SPLASH CARES-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the GPCE-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Kazuki IkemoriIkemori, Kazuki Tokyo Institute of Technology First-class Names for Effect Handlers
Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-Alpes Reasoning about Reconfigurations of Distributed Systems
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Committee Member in Program Committee within the FTSCS-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Program Committee for APLAS 2022 Committee Member in Program Committee within the SPLASH Onward! Papers-track
J Nouraldin JaberJaber, Nouraldin Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Koen JacobsJacobs, Koen KU Leuven Purity of an ST monad: full abstraction by semantically typed back-translation
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Specification-Guided Component-Based Synthesis from Effectful Libraries Committee Member in Review Committee within the SPLASH OOPSLA-track
Corinna JaschekJaschek, Corinna Hasso Plattner InstituteGermany Committee Member in Program Committee within the PAINT-track
Dhanushka JayasuriyaJayasuriya, Dhanushka Towards Automated Updates of Software Dependencies
Alan JeffreyJeffrey, Alan RobloxUnited States Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the HATRA-track
Thomas P. JensenJensen, Thomas P. INRIA RennesFrance Lifting Numeric Relational Domains to Algebraic Data Types
Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States Seq2Parse: Neurosymbolic Parse Error Repair Committee Member in Review Committee within the SPLASH OOPSLA-track
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Hanru JiangJiang, Hanru Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, ChinaChina On incorrectness logic for Quantum programs
Charles JinJin, Charles Massachusetts Institute of Technology αNAS: Neural Architecture Search using Property Guided Synthesis
Patricia JohannJohann, Patricia Appalachian State University Characterizing functions mappable over GADTs
Harshit JoshiJoshi, Harshit Microsoft Neurosymbolic Repair for Low-Code Formula Languages
Jacques-Henri JourdanJourdan, Jacques-Henri CNR, LMFFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
K Anan KabahaKabaha, Anan Technion, Israel Institute of TechnologyIsrael Boosting Robustness Verification of Semantic Feature Neighborhoods
Ifaz KabirKabir, Ifaz University of Alberta Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Gail KaiserKaiser, Gail Columbia UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Pankaj Kumar KalitaKalita, Pankaj Kumar Indian Institute of Technology, KanpurIndia Program Synthesis for Artifacts Beyond Programs Synthesizing Abstract Transformers
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan PC Chair in Program Committee within the GPCE-track PC Chair in Organizing Committee within the GPCE-track
Shoaib KamilKamil, Shoaib Adobe Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University and University College LondonGermany Quantitative strongest post: a calculus for reasoning about the flow of quantitative information Weighted programming: a programming paradigm for specifying mathematical models Committee Member in Review Committee within the SPLASH OOPSLA-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom An Algebraic Theory for Shared-State Concurrency
Anders KaseorgKaseorg, Anders Massachusetts Institute of TechnologyUnited States C4: verified transactional objects
John KastnerKastner, John AmazonUnited States C to checked C by 3c
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Live Programming (LIVE) Committee Member in Organizing Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Reasoning about Reconfigurations of Distributed Systems Weighted programming: a programming paradigm for specifying mathematical models
Ryan KavanaghKavanagh, Ryan McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Piyus KediaKedia, Piyus Indraprastha Institute of Information Technology, Delhi The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2022 Organizer in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Review Committee within the SPLASH OOPSLA-track Organizer in Onward! Steering Committee within the SPLASH Onward! Papers-track
Chantal KellerKeller, Chantal LRI, Université Paris-SudFrance Translating canonical SQL to imperative code in Coq
Martin KelloggKellogg, Martin University of WashingtonUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
George KenisonKenison, George TU WienAustria Solving Invariant Generation for Unsolvable Loops
Ameya KetkarKetkar, Ameya Uber Technologies Overwatch: Learning Patterns in Code Edit Sequences
Hoda KhalilKhalil, Hoda Carleton UniversityCanada Data Science Pedagogy to Support Industry, Governmental, & Research Initiatives
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2022 Committee Member in Program Committee within the GPCE-track Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Siau-Cheng KhooKhoo, Siau-Cheng National University of Singapore [G] ARENA: Enhancing Abstract Refinement for Neural Network Verification
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Committee Member in Program Committee within the SLE-track
Jung-Eun KimKim, Jung-Eun North Carolina State UniversityUnited States Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Marisa KirisameKirisame, Marisa University of Utah Optimal Heap Limits for Reducing Browser Memory Use
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Parameterized Recursive Refinement Types for Automated Program Verification
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Wen KokkeKokke, Wen University of Edinburgh Committee Member in Program Committee within the LIVE-track
Michalis KokologiannakisKokologiannakis, Michalis MPI-SWSGermany Model Checking on Multi-Execution Memory Models
John C. KolesarKolesar, John C. Yale University Checking Equivalence in a Non-Strict Language
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Eric KoskinenKoskinen, Eric Stevens Institute of TechnologyUnited States Committee Member in Program Committee for APLAS 2022 Veracity: Declarative Multicore Programming with Commutativity
Christos KotselidisKotselidis, Christos KTM Innovation / The University of ManchesterUnited Kingdom Virtual Machines and Language Implementations (VMIL) Co-chair in Organizing Committee within the VMIL-track
Adrien KoutsosKoutsos, Adrien INRIA ParisFrance Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Georgia KouveliKouveli, Georgia ARM Committee Member in Organizing Committee within the VMIL-track
Laura KovácsKovács, Laura TU WienAustria Solving Invariant Generation for Unsolvable Loops This is the Moment for Probabilistic Loops
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Shankaranarayanan KrishnaKrishna, Shankaranarayanan IIT Bombay, India Verification of Concurrent Programs under Release-Acquire Concurrency
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Applying cognitive principles to model-finding output: the positive value of negative information Committee Member in Program Committee within the HATRA-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SAS Papers-track
Rahul KrishnanKrishnan, Rahul UT AustinUnited States Synthesizing fine-grained synchronization protocols for implicit monitors
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Paul KrogmeierKrogmeier, Paul University of Illinois at Urbana-ChampaignUnited States Synthesizing Axiomatizations using Logic Learning
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States UniRec: A Unimodular-like Framework for Nested Recursions and Loops Committee Member in Review Committee within the SPLASH OOPSLA-track
Thomas KühnKühn, Thomas Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the SLE-track Artifact Evaluation Co-Chair in Organising Committee within the SLE-track
L Elizabeth LabradaLabrada, Elizabeth University of ChileCuba Plausible sealing for gradual parametricity
Shadaj LaddadLaddad, Shadaj University of California, Berkeley Synthesizing CRDTs from Sequential Data Types with Verified Lifting
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Elipmoc: advanced decompilation of Ethereum smart contracts Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Ori LahavLahav, Ori Tel Aviv UniversityIsrael An Algebraic Theory for Shared-State Concurrency
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Automated Synthesis of Asynchronizations
Sumit LahiriLahiri, Sumit Indian Institute Of Technology Kanpur Verification of Programs with Concealed Components Symbolic Execution for Randomized Programs
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Program Committee within the PAINT-track
Andrea LattuadaLattuada, Andrea ETH Zurich Linear types for large-scale systems verification
Sam LauLau, Sam University of California San DiegoUnited States Live Programming (LIVE) Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials Committee Member in Organizing Committee within the LIVE-track
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the GPCE-track
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Vu LeLe, Vu MicrosoftUnited States Neurosymbolic Repair for Low-Code Formula Languages
Xuan-Bach LeLe, Xuan-Bach Nanyang Technological UniversitySingapore Committee Member in Program Committee for APLAS 2022
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Organizing Committee within the VMIL-track
Edward LeeLee, Edward University of WaterlooCanada Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Yunjeong LeeLee, Yunjeong National University of Singapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Yuxiang LeiLei, Yuxiang University of Technology Sydney Taming Transitive Redundancy for Context-Free Language Reachability
Daan LeijenLeijen, Daan Microsoft ResearchUnited States First-class Names for Effect Handlers
Ondřej LengálLengál, Ondřej Brno University of Technology Committee Member in Program Committee for APLAS 2022
David LeopoldsederLeopoldseder, David Oracle LabsAustria Committee Member in Organizing Committee within the VMIL-track
Rodolphe LepigreLepigre, Rodolphe MPI-SWSGermany BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Co-chair in Program Committee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Sorin LernerLerner, Sorin University of California at San DiegoUnited States Data-Driven Lemma Synthesis for Interactive Proofs
Mohsen LesaniLesani, Mohsen University of California at Riverside C4: verified transactional objects
Martin LesterLester, Martin University of ReadingUnited Kingdom Committee Member in Artifact Evaluation Committee for APLAS 2022
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in Organizing Committee within the VMIL-track
Guoqiang LiLi, Guoqiang Shanghai Jiao Tong University, ChinaChina Scalable Linear Invariant Generation with Farkas' Lemma
Jialin LiLi, Jialin Linear types for large-scale systems verification
Liyi LiLi, Liyi University of Illinois at Urbana-ChampaignChina Verified Compilation of Quantum Oracles
Yao LiLi, Yao Portland State UniversityUnited States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2022 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Yixuan LiLi, Yixuan McGill University Novice Type Error Diagnosis with Natural Language Models
Jay P. LimLim, Jay P. Yale UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Zhengyao LinLin, Zhengyao University of Illinois at Urbana-Champaign Synthesizing Axiomatizations using Logic Learning
Pilar Selene Linares ArevaloLinares Arevalo, Pilar Selene The University of Melbourne Composing linear types and separation logic proofs of memory safety.
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Committee Member in Program Committee within the LIVE-track
Sam LindleyLindley, Sam The University of Edinburgh, UKUnited Kingdom High-Level Effect Handlers in C++
Geoffrey LittLitt, Geoffrey MIT Committee Member in Program Committee within the LIVE-track
Bozhen LiuLiu, Bozhen Texas A&M University, USA SHARP: fast incremental context-sensitive pointer analysis for Java
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland A Conceptual Framework for Safe Object Initialization
Hongming LiuLiu, Hongming Shanghai Jiao Tong University Scalable Linear Invariant Generation with Farkas' Lemma
Jiawei LiuLiu, Jiawei Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Jiaxiang LiuLiu, Jiaxiang Shenzhen UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Mengqi LiuLiu, Mengqi Yale University Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Si LiuLiu, Si ETH Zürich Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Yu David LiuLiu, Yu David SUNY Binghamton The Essence of Online Data Processing
Ben LivshitsLivshits, Ben Imperial College London, UK A Study of Inline Assembly in Solidity Smart Contracts
Fan LongLong, Fan University of Toronto, Canada SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Crista LopesLopes, Crista University of California, IrvineUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
David H. LorenzLorenz, David H. Open University and Technion IIT Explicit Code Reuse Recommendation
Jingbo LuLu, Jingbo UNSW Sydney Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Christof LödingLöding, Christof RWTH Aachen University Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
M Aravind MachiryMachiry, Aravind Purdue UniversityUnited States C to checked C by 3c
Julian MackayMackay, Julian Victoria University of Wellington Student Volunteer Chair in Organizing Committee for SPLASH 2022 Necessity Specifications are Necessary for Robustness Student Volunteer Chair in Organizers within the SPLASH Student Volunteers-track
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints Synthesizing Axiomatizations using Logic Learning Committee Member in Review Committee within the SPLASH OOPSLA-track
Daryl MaierMaier, Daryl IBM CanadaCanada Committee Member in Organizing Committee within the VMIL-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the GPCE-track
Robi MalikMalik, Robi New Zealand Committee Member in Program Committee within the FTSCS-track
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance Committee Member in Program Committee within the FTSCS-track
Louis MandelMandel, Louis IBM T.J. Watson Research Center Translating canonical SQL to imperative code in Coq Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming Committee Member in Program Committee within the REBLS-track
Nicolas ManiniManini, Nicolas IMDEA Software InstituteSpain Deciding program properties via complete abstractions on bounded domains
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the SLE-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Decoupling the Ascending and Descending Phases in Abstract Interpretation Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation Committee Member in Program Committee within the SAS Papers-track
Abu Naser MasudMasud, Abu Naser Malardalen UniversitySweden Fast and incremental computation of weak control closure
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for SPLASH 2022 Mio: a Block-Based Environment for Program Design Committee Member in Program Committee within the LIVE-track Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Program Committee for APLAS 2022
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Matt McCutchenMcCutchen, Matt United States C to checked C by 3c
Sean McDirmidMcDirmid, Sean GoogleUnited States Committee Member in Program Committee within the LIVE-track
Kathryn S McKinleyMcKinley, Kathryn S Google Committee Member in Review Committee within the SPLASH OOPSLA-track
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the SLE-track
Jose MeseguerMeseguer, Jose UIUC Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Roland MeyerMeyer, Roland TU Braunschweig Model-based Fault Classification for Automotive Software CAAT: Consistency as a Theory A Concurrent Program Logic with a Future and History
Mira MeziniMezini, Mira TU DarmstadtGermany Committee Member in Steering Committee for SPLASH 2022
Marco MilaneseMilanese, Marco Dipartimento di Matematica, University of Padova, ItalyItaly Local Completeness Logic on Kleene Algebra with Tests
Mae MilanoMilano, Mae University of California, Berkeley Synthesizing CRDTs from Sequential Data Types with Verified Lifting
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2022 Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Todd MillsteinMillstein, Todd University of California at Los Angeles Data-Driven Lemma Synthesis for Interactive Proofs
Anders MiltnerMiltner, Anders UT AustinUnited States Committee Member in Program Committee for APLAS 2022
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the SAS Papers-track
Solène MirliazMirliaz, Solène ENS Rennes / IRISA / InriaFrance Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation Proof transfer for fast certification of multiple approximate neural networks
Ashish MishraMishra, Ashish Specification-Guided Component-Based Synthesis from Effectful Libraries
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Committee Member in Program Committee within the REBLS-track
Sidi Mohamed BeillahiMohamed Beillahi, Sidi University of TorontoCanada Automated Synthesis of Asynchronizations SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Evgenii MoiseenkoMoiseenko, Evgenii JetBrains Research Model Checking on Multi-Execution Memory Models
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SAS Papers-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Shouvick MondalMondal, Shouvick Concordia University, Montreal, CanadaCanada Committee Member in Artifact Evaluation Committee for APLAS 2022
David MonniauxMonniaux, David Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Committee Member in Program Committee within the SAS Papers-track
Benoît MontaguMontagu, Benoît InriaFrance Lifting Numeric Relational Domains to Algebraic Data Types
David MoonMoon, David University of Michigan Committee Member in Program Committee within the LIVE-track
Marcel MoosbruggerMoosbrugger, Marcel TU WienAustria Solving Invariant Generation for Unsolvable Loops This is the Moment for Probabilistic Loops
Angelica Aparecida MoreiraMoreira, Angelica Aparecida Federal University of Minas GeraisBrazil Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Peter MossesMosses, Peter TU Delft Intrinsically-Typed Definitional Interpreters à la Carte
Sujit Kumar MuduliMuduli, Sujit Kumar IIT KanpurIndia Verification of Hardware and Software with Fuzzing and Proofs Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing Synthesizing Abstract Transformers
Fabian MuehlboeckMuehlboeck, Fabian IST AustriaAustria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Doctoral Symposium Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Ryoya MukaiMukai, Ryoya The University of TokyoJapan Parameterized Recursive Refinement Types for Automated Program Verification
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Ankan MullickMullick, Ankan IIT Kharagpur Committee Member in Artifact Evaluation Committee for APLAS 2022
Adithya MuraliMurali, Adithya University of Illinois at Urbana-Champaign Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints Synthesizing Axiomatizations using Logic Learning
Andrzej MurawskiMurawski, Andrzej University of OxfordUnited Kingdom Committee Member in Program Committee for APLAS 2022
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria PC Member in Program Committee within the SPLASH Onward! Essays-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Steering Committee for SPLASH 2022
Peter MüllerMüller, Peter ETH ZurichSwitzerland Fractional Resources in Unbounded Separation Logic
N Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations
Robert NagelNagel, Robert University of Illinois at Urbana-Champaign A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
Chandrakana NandiNandi, Chandrakana Certora, inc.United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee for APLAS 2022
Roberto NardoneNardone, Roberto University of Naples "Parthenope" Committee Member in Program Committee within the FTSCS-track
Nina NarodytskaNarodytska, Nina VMWare ResearchUnited States Scalable Verification of GNN-based Job Schedulers
Jorge A. NavasNavas, Jorge A. Certora, inc.United States Modular Proofs for SMT-Based Model-Checking of Pointer Programs Committee Member in Program Committee within the SAS Papers-track
Joseph P. NearNear, Joseph P. University of Vermont Solo: A Lightweight Static Analysis for Differential Privacy
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tim NelsonNelson, Tim Brown UniversityUnited States Applying cognitive principles to model-finding output: the positive value of negative information
Nicholas NethercoteNethercote, Nicholas Futurewei Technologies PC Member in Program Committee within the SPLASH Onward! Essays-track
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Program Committee for APLAS 2022
Victor NicoletNicolet, Victor University of TorontoCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Abel NietoNieto, Abel Aarhus UniversityCanada Modular Verification of Op-Based CRDTs in Separation Logic
James NobleNoble, James Creative Research & ProgrammingNew Zealand Necessity Specifications are Necessary for Robustness
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the SLE-track
Thomas NollNoll, Thomas RWTH Aachen UniversityGermany Committee Member in Program Committee within the FTSCS-track
Junya NoseNose, Junya Tokyo Institute of Technology Mio: a Block-Based Environment for Program Design
Vivek NotaniNotani, Vivek Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Vesna NowackNowack, Vesna Lancaster University, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
O Robert O'CallahanO'Callahan, Robert Google ResearchNew Zealand The State Of Debugging in 2022
Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Kazuhiro OgataOgata, Kazuhiro Japan Advanced Institute of Science and Technology Committee Member in Program Committee within the FTSCS-track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Review Committee within the SPLASH OOPSLA-track
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan Committee Member in Program Committee within the REBLS-track
Oluwakemi OlaOla, Oluwakemi University of British Columbia Team Harmony Before, During, and After COVID-19
Carlos OlarteOlarte, Carlos Université Sorbonne Paris NordFrance Committee Member in Program Committee within the FTSCS-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong A Calculus with Recursive Types, Record Concatenation and Subtyping Applicative Intersection Types Compositional Embeddings of Domain-Specific Languages Committee Member in Program Committee within the GPCE-track
Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dan OlteanuOlteanu, Dan University of ZurichSwitzerland Functional collection programming with semi-ring dictionaries
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the HATRA-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
Klaus OstermannOstermann, Klaus University of Tübingen Committee Member in Program Committee within the GPCE-track
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Committee Member in Program Committee within the SPLASH Onward! Essays-track
Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shankara PailoorPailoor, Shankara University of Texas at Austin Type-Directed Synthesis of Visualizations from Natural Language Queries
Abhinandan PalPal, Abhinandan Indian Institute of Information Technology KalyaniIndia [U] Qiwi: A Beginner Friendly Quantum Language
Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIX Committee Member in Program Committee within the FTSCS-track
Matteo PaltenghiPaltenghi, Matteo University of Stuttgart, GermanyGermany Bugs in Quantum computing platforms: an empirical study
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Optimal Heap Limits for Reducing Browser Memory Use
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom Committee Member in Organizing Committee within the VMIL-track
Jihyeok ParkPark, Jihyeok Oracle Labs, AustraliaSouth Korea Committee Member in Program Committee for APLAS 2022 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Bryan ParnoParno, Bryan Carnegie Mellon University, USA Linear types for large-scale systems verification Committee Member in Program Committee within the HATRA-track
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Lionel ParreauxParreaux, Lionel The Hong Kong University of Science and Technology (HKUST) A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Marco PatrignaniPatrignani, Marco University of TrentoItaly Committee Member in Program Committee for APLAS 2022
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the DLS-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
David J. PearcePearce, David J. ConsenSysNew Zealand Committee Member in Program Committee within the FTSCS-track
Hila PelegPeleg, Hila TechnionIsrael Committee Member in Program Committee within the HATRA-track
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Language-parametric static semantic code completion
Yuxiang PengPeng, Yuxiang University of Maryland Verified Compilation of Quantum Oracles
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Committee Member in Artifact Evaluation Committee for APLAS 2022
Judith PereraPerera, Judith University of Auckland Modelling the Quantification of Technical Debt
Erez PetrankPetrank, Erez Technion, Israel Concurrent size
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Organizer in Onward! Steering Committee within the SPLASH Onward! Essays-track Organizer in Onward! Steering Committee within the SPLASH Onward! Papers-track
Lucas PeñaPeña, Lucas University of Illinois at Urbana-Champaign Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Siraphob PhipathananunthPhipathananunth, Siraphob Vanderbilt UniversityUnited States [U] Using Mutations to Analyze Formal Specifications
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google Research αNAS: Neural Architecture Search using Property Guided Synthesis
David PichardiePichardie, David MetaFrance Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Lauren PickPick, Lauren University of Wisconsin-Madison and University of California, BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Novice Type Error Diagnosis with Natural Language Models
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Parsing Randomness C4: verified transactional objects
Jared PincusPincus, Jared Stevens Institute of TechnologyUnited States Veracity: Declarative Multicore Programming with Commutativity
Maciej PirógPiróg, Maciej Huawei R&D UKPoland High-Level Effect Handlers in C++
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Checking Equivalence in a Non-Strict Language
Anton PodkopaevPodkopaev, Anton JetBrains ResearchRussia Committee Member in Program Committee for APLAS 2022
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStALFrance Committee Member in Program Committee within the SPLASH Onward! Papers-track
Joe Gibbs PolitzPolitz, Joe Gibbs University of California at San DiegoUnited States Committee Member in Program Committee within the DLS-track
Hernan Ponce de LeonPonce de Leon, Hernan Huawei Dresden Research CenterGermany CAAT: Consistency as a Theory
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2022 General Chair in Organizing Committee for SPLASH 2022 Committee Member in Overview Committee within the SPLASH COVID Time Papers In Person-track
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Marc PouzetPouzet, Marc École normale supérieure Committee Member in Program Committee within the REBLS-track
Conor PowerPower, Conor University of California, Berkeley Synthesizing CRDTs from Sequential Data Types with Verified Lifting
Michael PradelPradel, Michael University of StuttgartGermany Bugs in Quantum computing platforms: an empirical study
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Virtual Machines and Language Implementations (VMIL) Co-chair in Organizing Committee within the VMIL-track
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Committee Member in Artifact Evaluation Committee for APLAS 2022
Rahul PurandarePurandare, Rahul Indraprastha Institute of Information Technology, DelhiIndia The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Pierre-Marie PédrotPédrot, Pierre-Marie INRIAFrance Committee Member in Program Committee for APLAS 2022
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Q Xiaokang QiuQiu, Xiaokang Purdue University, USAUnited States Bootstrapping Library-Based Synthesis
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Overwatch: Learning Patterns in Code Edit Sequences
Ivan RadičekRadiček, Ivan Microsoft Neurosymbolic Repair for Low-Code Formula Languages
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Committee Member in Steering Committee for SPLASH 2022
Sarnath RamnathRamnath, Sarnath ST Cloud State University Crossing Learning Thresholds Progressively Via Active Learning
Francesco RanzatoRanzato, Francesco University of PadovaItaly Local Completeness Logic on Kleene Algebra with Tests Committee Member in Program Committee within the SAS Papers-track
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Mohammad RazaRaza, Mohammad MicrosoftUnited States Overwatch: Learning Patterns in Code Edit Sequences
Steve ReevesReeves, Steve University of Waikato Provably correct smart contracts: an approach using DeepSEA
Baber RehmanRehman, Baber University of Hong Kong Committee Member in Artifact Evaluation Committee for APLAS 2022
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Committee Member in Steering Committee within the GPCE-track
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Committee Member in Program Committee within the HATRA-track
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Committee Member in Program Committee within the PAINT-track
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Thomas RepsReps, Thomas University of Wisconsin--Madison Synthesizing Abstract Transformers
Alban ReynaudReynaud, Alban ENS Lyon Modular Verification of Op-Based CRDTs in Separation Logic
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Nico RitschelRitschel, Nico The University of British ColumbiaCanada Enabling End-Users to Create Larger Block-Based Programs by Supporting Scaffolded Function Decomposition
Fabian RitterRitter, Fabian Saarland University, Germany AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Committee Member in Program Committee within the FTSCS-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in Steering Committee within the GPCE-track
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Arjen RouvoetRouvoet, Arjen Delft University of Technology Intrinsically-Typed Definitional Interpreters à la Carte
Subhajit RoyRoy, Subhajit IIT Kanpur, India Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing Synthesizing Abstract Transformers Symbolic Execution for Randomized Programs
Sudip RoyRoy, Sudip Cohere.ai αNAS: Neural Architecture Search using Property Guided Synthesis
Tobias RungeRunge, Tobias TU Braunschweig Model-based Fault Classification for Automotive Software
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee for APLAS 2022 Formally Verified Resource Bounds Through Implicit Computational Complexity
S Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Georgios SakkasSakkas, Georgios University of California at San Diego, USA Seq2Parse: Neurosymbolic Parse Error Repair
Leila SalemSalem, Leila University of TorontoCanada PC Member in Program Committee within the SPLASH Onward! Essays-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Reactive and Event-Based Languages and Systems (REBLS) Committee Member in Program Committee within the PAINT-track Committee Member in Organizing Committee within the REBLS-track
Michael SammlerSammler, Michael MPI-SWSGermany BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
Alex Sanchez-SternSanchez-Stern, Alex UMass Amherst Data-Driven Lemma Synthesis for Interactive Proofs
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Reactive and Event-Based Languages and Systems (REBLS) Committee Member in Organizing Committee within the REBLS-track
Pranesh SantikellurSantikellur, Pranesh Technology Innovation Institute (TII), Abu Dhabi, UAEUnited Arab Emirates Committee Member in Artifact Evaluation Committee for APLAS 2022
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Committee Member in Program Committee within the REBLS-track
Igor Moreno SantosSantos, Igor Moreno Software Institute - Università della Svizzera italiana Expressions in Java: Essential, Prevalent, Neglected?
John SarracinoSarracino, John Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan Committee Member in Program Committee for APLAS 2022
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan Parameterized Recursive Refinement Types for Automated Program Verification
Shigeyuki SatoSato, Shigeyuki The University of TokyoJapan Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
Charitha SaumyaSaumya, Charitha Purdue UniversityUnited States UniRec: A Unimodular-like Framework for Nested Recursions and Loops
Ina SchaeferSchaefer, Ina Karlsruhe Institute of Technology (KIT)Germany Model-based Fault Classification for Automotive Software
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Committee Member in Program Committee within the GPCE-track
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Committee Member in Program Committee within the SAS Papers-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium PC Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track Program Chair in Program Committee within the SPLASH Onward! Papers-track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia Invited Speaker in Invited Speakers for SAS 2022 Commercial-Grade Static Analyzers in Datalog General Chair in Organizing Committee within the GPCE-track
Michael SchröderSchröder, Michael TU WienAustria Grammar Inference for Ad Hoc Parsers
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Program Committee within the GPCE-track
Sibylle SchuppSchupp, Sibylle Committee Member in Program Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of Tübingen Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
Peter SchwabeSchwabe, Peter Max Planck Institute for Security and PrivacyGermany Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany Inferring Region Types via an Abstract Notion of Environment Transformation
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Martina SeidlSeidl, Martina Johannes Kepler University LinzAustria Committee Member in Program Committee within the FTSCS-track
Gal SelaSela, Gal TechnionIsrael Concurrent size
Benjamin SepanskiSepanski, Benjamin The University of Texas at Austin Synthesizing fine-grained synchronization protocols for implicit monitors
Ilya SergeySergey, Ilya National University of SingaporeSingapore APLAS PC Chair in Organizing Committee for SPLASH 2022 Program Chair in Program Committee for APLAS 2022
Manuel SerranoSerrano, Manuel Inria, France Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Coeffects for sharing and mutation Sources of Unsoundness in Verification (Unsound) Committee Member in Program Committee within the SLE-track Committee Member in Organizing Committee within the Unsound-track
Peter SewellSewell, Peter University of CambridgeUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Functional collection programming with semi-ring dictionaries Committee Member in Program Committee within the GPCE-track
Zhong ShaoShao, Zhong Yale UniversityUnited States Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation Committee Member in Review Committee within the SPLASH OOPSLA-track
Mahmood SharifSharif, Mahmood Tel Aviv University Scalable Verification of GNN-based Job Schedulers
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Mary ShawShaw, Mary Carnegie Mellon University Myths and Mythconceptions: What does it mean to be a programming language, anyhow?
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Pranav ShenoyShenoy, Pranav University of Utah Optimal Heap Limits for Reducing Browser Memory Use
David C. ShepherdShepherd, David C. Virginia Commonwealth UniversityUnited States Enabling End-Users to Create Larger Block-Based Programs by Supporting Scaffolded Function Decomposition Committee Member in Program Committee within the PAINT-track
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the FTSCS-track
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Complexity-guided container replacement synthesis Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Yuanfeng ShiShi, Yuanfeng Peking University Oracle-Free Repair Synthesis for Floating-Point Programs
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Translating canonical SQL to imperative code in Coq
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Invariant Inference With Provable Complexity From the Monotone Theory
Srinivasan Sengamedu SHSSHS, Srinivasan Sengamedu AWS AI Synthesizing Code Quality Rules from Examples
Xujie SiSi, Xujie McGill University, Canada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2022 Novice Type Error Diagnosis with Natural Language Models Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the SAS Papers-track
Jerome SimeonSimeon, Jerome DocuSign, Inc.United States Translating canonical SQL to imperative code in Coq
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom PC Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Chair in Program Committee within the SPLASH Onward! Essays-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMwareUnited States SAS Co-Chair in Organizing Committee for SPLASH 2022 Program Co-Chair in Organizing Committee for SAS 2022 Radhia Cousot Award PC Chairs Report Scalable Verification of GNN-based Job Schedulers A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation Proof transfer for fast certification of multiple approximate neural networks Co-chair in Program Committee within the SAS Papers-track
David SirkinSirkin, David Stanford UniversityUnited States Committee Member in Program Committee within the PAINT-track
Aishwarya SivaramanSivaraman, Aishwarya University of California, Los Angeles Data-Driven Lemma Synthesis for Interactive Proofs
Vilhelm SjöbergSjöberg, Vilhelm CertiK Provably correct smart contracts: an approach using DeepSEA
Alexander SjöstenSjösten, Alexander TU WienAustria SecWasm: Information Flow Control for WebAssembly
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in Steering Committee for SPLASH 2022 Elipmoc: advanced decompilation of Ethereum smart contracts
Calvin SmithSmith, Calvin University of Texas AustinUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Jaclyn SmithSmith, Jaclyn Oxford UniversityUnited Kingdom Functional collection programming with semi-ring dictionaries
Gustavo SoaresSoares, Gustavo MicrosoftUnited States Overwatch: Learning Patterns in Code Edit Sequences
Kristina SojakovaSojakova, Kristina INRIA ParisFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Fu SongSong, Fu ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Jiaxin SongSong, Jiaxin Scalable Linear Invariant Generation with Farkas' Lemma
Linhai SongSong, Linhai Pennsylvania State University, USAUnited States Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Ryan SongSong, Ryan University of Toronto SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Yahui SongSong, Yahui National University of SingaporeSingapore Automated Temporal Verification for Algebraic Effects [G] Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Salwa SouafSouaf, Salwa CEA List Committee Member in Artifact Evaluation Committee for APLAS 2022
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business; Delft University of TechnologyGreece Committee Member in Program Committee within the SPLASH Onward! Essays-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Committee Member in Program Committee within the SAS Papers-track
Caleb StanfordStanford, Caleb University of Pennsylvania Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Miroslav StankovičStankovič, Miroslav TU WienAustria Solving Invariant Generation for Unsolvable Loops This is the Moment for Probabilistic Loops
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SAS Papers-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzech Republic Case Study on Verification-Witness Validators: Where We Are and Where We Go
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Committee Member in Program Committee within the GPCE-track
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the GPCE-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Oracle-Free Repair Synthesis for Floating-Point Programs
Sangho SuhSuh, Sangho University of California, San DiegoUnited States Committee Member in Program Committee within the LIVE-track
Yulei SuiSui, Yulei University of Technology SydneyAustralia Taming Transitive Redundancy for Context-Free Language Reachability
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Fractional Resources in Unbounded Separation Logic
Jing SunSun, Jing School of Computer Science, University of AucklandNew Zealand Committee Member in Program Committee within the FTSCS-track
Yaozhu SunSun, Yaozhu University of Hong KongChina Committee Member in Artifact Evaluation Committee for APLAS 2022 Compositional Embeddings of Domain-Specific Languages
Zhihang SunSun, Zhihang Tsinghua UniversityChina Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States UniRec: A Unimodular-like Framework for Nested Recursions and Loops Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Zachary SusagSusag, Zachary Cornell UniversityUnited States Symbolic Execution for Randomized Programs
Tamás SzabóSzabó, Tamás GitHub NextGermany Committee Member in Program Committee within the SLE-track
Juan Pablo SáenzSáenz, Juan Pablo Politecnico di TorinoColombia Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Organizer in Organizing Committee within the PAINT-track Organizer in Program Committee within the PAINT-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the SLE-track
T Quang-Trung TaTa, Quang-Trung National University of Singapore [G] ARENA: Enhancing Abstract Refinement for Neural Network Verification
Walid TahaTaha, Walid Committee Member in Program Committee within the SLE-track
Sofiene TaharTahar, Sofiene Concordia University Committee Member in Program Committee within the FTSCS-track
Ruby TahboubTahboub, Ruby University of Illinois, Urbana-ChampainUnited States Committee Member in Program Committee within the REBLS-track
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the FTSCS-track
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis
Steven L. TanimotoTanimoto, Steven L. University of Washington, USA Committee Member in Program Committee within the LIVE-track
Éric TanterTanter, Éric University of Chile Plausible sealing for gradual parametricity
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Review Committee within the SPLASH OOPSLA-track
Manas ThakurThakur, Manas Indian Institute of Technology MandiIndia Principles of Staged Static+Dynamic Partial Analysis
Eli TilevichTilevich, Eli Virginia TechUnited States Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the GPCE-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Modular Verification of Op-Based CRDTs in Separation Logic Purity of an ST monad: full abstraction by semantically typed back-translation
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Program Committee within the SAS Papers-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States A fast in-place interpreter for WebAssembly Committee Member in Organizing Committee within the VMIL-track
Ashish TiwariTiwari, Ashish MicrosoftUnited States Overwatch: Learning Patterns in Code Edit Sequences Neurosymbolic Repair for Low-Code Formula Languages
James TizardTizard, James University of AucklandNew Zealand PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
David TolpinTolpin, David PUB+Israel PC Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Federico TomassettiTomassetti, Federico CEO at StrumentaItaly Committee Member in Program Committee within the PAINT-track
Matías ToroToro, Matías University of Chile Plausible sealing for gradual parametricity
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track
Alix TrieuTrieu, Alix ANSSIFrance Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Ilias TsatirisTsatiris, Ilias University of AthensGreece Elipmoc: advanced decompilation of Ethereum smart contracts
Petr TumaTuma, Petr Charles UniversityCzech Republic Committee Member in Organizing Committee within the VMIL-track
U Shubham UgareUgare, Shubham University of Illinois at Urbana-ChampaignUnited States A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation Proof transfer for fast certification of multiple approximate neural networks
Caterina UrbanUrban, Caterina INRIA & École Normale Supérieure \| Université PSLFrance SAS Co-Chair in Organizing Committee for SPLASH 2022 Student Research Competition Co-Chair in Organizing Committee for SPLASH 2022 Program Co-Chair in Organizing Committee for SAS 2022 Radhia Cousot Award PC Chairs Report Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Co-chair in Program Committee within the SAS Papers-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Model Checking on Multi-Execution Memory Models
Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SLE-track
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of Technology Language-parametric static semantic code completion Incremental Analysis for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Bas van den Heuvelvan den Heuvel, Bas University of GroningenNetherlands A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Cas van der Restvan der Rest, Cas Delft University of Technology Intrinsically-Typed Definitional Interpreters à la Carte
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands Committee Member in Program Committee within the PAINT-track Committee Member in Program Committee within the GPCE-track
Sören van der Wallvan der Wall, Sören PhD StudentGermany Model-based Fault Classification for Automotive Software
Rob van Glabbeekvan Glabbeek, Rob Committee Member in Program Committee within the FTSCS-track
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Julien VanegueVanegue, Julien BloombergUnited States Adversarial Logic
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, Faculty of Sciences, University of LisbonPortugal Committee Member in Steering Committee for SPLASH 2022
Mandana VaziriVaziri, Mandana IBM Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Review Committee within the SPLASH OOPSLA-track
Andreas VenerisVeneris, Andreas University of Toronto SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Organizer in Organizing Committee within the PAINT-track Organizer in Program Committee within the PAINT-track
Jules VillardVillard, Jules Facebook LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the PAINT-track
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Committee Member in Program Committee within the REBLS-track
Eelco VisserVisser, Eelco Delft University of Technology Steering Committee Member in Steering Committee for SPLASH 2022 Intrinsically-Typed Definitional Interpreters à la Carte Language-parametric static semantic code completion Incremental Analysis for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Sandhya ViswanathanViswanathan, Sandhya Intel Committee Member in Organizing Committee within the VMIL-track
Jan VitekVitek, Jan Northeastern University; Czech Technical UniversityUnited States Committee Member in Steering Committee for SPLASH 2022 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2022 Co-chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Overview Committee within the SPLASH COVID Time Papers In Person-track
Finn VoichickVoichick, Finn University of Maryland Verified Compilation of Quantum Oracles
W Gabriel WainerWainer, Gabriel Carleton University Data Science Pedagogy to Support Industry, Governmental, & Research Initiatives
Chenglong WangWang, Chenglong Microsoft Research Type-Directed Synthesis of Visualizations from Natural Language Queries
Chengpeng WangWang, Chengpeng The Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis [G] CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis
Jingbo WangWang, Jingbo University of Southern California Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Mingzhe WangWang, Mingzhe Princeton UniversityChina Oracle-Free Repair Synthesis for Floating-Point Programs
Wenqi WangWang, Wenqi Peking University MufGen: Automatically Generating Input-Output Equivalent Faulty Programs Toward Debugging Training
Xinyu WangWang, Xinyu University of MichiganUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yongchao WANGWANG, Yongchao Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Yuepeng WangWang, Yuepeng Simon Fraser University Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the REBLS-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the REBLS-track
Radosław WaśkoWaśko, Radosław University of Warsaw A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Ran WeiWei, Ran Dalian University of TechnologyChina Committee Member in Program Committee within the SLE-track
Yuxiang WeiWei, Yuxiang Tongji UniversityChina Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Westley WeimerWeimer, Westley University of MichiganUnited States Seq2Parse: Neurosymbolic Parse Error Repair
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland PC Chair in Program Committee within the REBLS-track
Thomas WiesWies, Thomas New York UniversityUnited States A Concurrent Program Logic with a Future and History
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany Weighted programming: a programming paradigm for specifying mathematical models
Sebastian WolffWolff, Sebastian New York UniversityUnited States Model-based Fault Classification for Automotive Software A Concurrent Program Logic with a Future and History
Andreas WortmannWortmann, Andreas University of Stuttgart Committee Member in Program Committee within the SLE-track
Haoze WuWu, Haoze Stanford University Scalable Verification of GNN-based Job Schedulers
Xiaodi WuWu, Xiaodi University of Maryland, USA Verified Compilation of Quantum Oracles
X Li-yao XiaXia, Li-yao University of Pennsylvania C4: verified transactional objects
Ningning XieXie, Ningning University of CambridgeUnited Kingdom Applicative Intersection Types First-class Names for Effect Handlers Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Tao XieXie, Tao Peking UniversityChina MufGen: Automatically Generating Input-Output Equivalent Faulty Programs Toward Debugging Training
Yingfei XiongXiong, Yingfei Peking UniversityChina Oracle-Free Repair Synthesis for Floating-Point Programs
Chuangjie XuXu, Chuangjie fortiss GmbHGermany Inferring Region Types via an Abstract Notion of Environment Transformation
Yichen XuXu, Yichen Beijing University of Posts and TelecommunicationsChina A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Xu XueXue, Xu University of Hong Kong Applicative Intersection Types
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Committee Member in Program Committee within the GPCE-track
Peng YanYan, Peng University of Technology SydneyAustralia On incorrectness logic for Quantum programs
Pengbo YanYan, Pengbo University of MelbourneAustralia Proving Obliviousness of Probabilistic Algorithms with formal verification
Rem YangYang, Rem University of Illinois Urbana-ChampaignUnited States A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Sen YangYang, Sen Fudan University Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Ziyi YangYang, Ziyi National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Peisen YaoYao, Peisen The Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Haolin YeYe, Haolin McGill University Novice Type Error Diagnosis with Natural Language Models
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Man-Ki YoonYoon, Man-Ki North Carolina State University Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Nobuko YoshidaYoshida, Nobuko University of Oxford Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Nengkun YuYu, Nengkun UTSAustralia Committee Member in Program Committee for APLAS 2022 Invited Speaker in Invited Speakers for SAS 2022 Keynote 2 On incorrectness logic for Quantum programs
zhiyong yuyu, zhiyong Shanghai Jiao Tong University Scalable Linear Invariant Generation with Farkas' Lemma
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Tower: Data Structures in Quantum Superposition Semi-Symbolic Inference for Efficient Streaming Probabilistic Programming
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Decoupling the Ascending and Descending Phases in Abstract Interpretation
Foivos S. ZakkakZakkak, Foivos S. Red Hat, Inc. Committee Member in Organizing Committee within the VMIL-track
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Committee Member in Program Committee within the SLE-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States C4: verified transactional objects
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Complexity-guided container replacement synthesis Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Linpeng ZhangZhang, Linpeng University College LondonUnited Kingdom Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
Michael K. ZhangZhang, Michael K. Purdue University RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Min ZhangZhang, Min East China Normal University, ChinaChina Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Qirun ZhangZhang, Qirun Georgia Institute of Technology, USA Taming Transitive Redundancy for Context-Free Language Reachability
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track
Wei ZhangZhang, Wei Peking UniversityChina MufGen: Automatically Generating Input-Output Equivalent Faulty Programs Toward Debugging Training
Yedi ZhangZhang, Yedi ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Yuhao ZhangZhang, Yuhao University of Wisconsin-Madison, USAUnited States Overwatch: Learning Patterns in Code Edit Sequences
Tian ZhaoZhao, Tian University of Wisconsin-Milwaukee Committee Member in Program Committee within the REBLS-track
Zhe ZhaoZhao, Zhe ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Zihan ZhaoZhao, Zihan University of Toronto SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Yuyi ZhongZhong, Yuyi School of Computing, National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022 [G] ARENA: Enhancing Abstract Refinement for Neural Network Verification
Litao ZhouZhou, Litao Shanghai Jiao Tong University, ChinaChina [G] Foundationally sound annotation verifier via control flow splitting
Yaoda ZhouZhou, Yaoda University of Hong KongChina A Calculus with Recursive Types, Record Concatenation and Subtyping
Yi ZhouZhou, Yi Carnegie Mellon University Linear types for large-scale systems verification
Fengmin ZhuZhu, Fengmin MPI-SWS BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs
He ZhuZhu, He Rutgers University, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Huibiao ZhuZhu, Huibiao China Committee Member in Program Committee within the FTSCS-track
Shuofei ZhuZhu, Shuofei Pennsylvania State University Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Lukasz ZiarekZiarek, Lukasz University at BuffaloUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2022 Reactive and Event-Based Languages and Systems (REBLS) PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Organizing Committee within the REBLS-track
Daming ZouZou, Daming ETH ZurichSwitzerland Oracle-Free Repair Synthesis for Floating-Point Programs Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Committee Member in Program Committee within the SLE-track
Elena ZuccaZucca, Elena University of Genova Committee Member in Program Committee for APLAS 2022 Coeffects for sharing and mutation Committee Member in Organizing Committee within the Unsound-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Aron ZwaanZwaan, Aron Delft University of Technology Incremental Analysis for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Ö Peter ÖlveczkyÖlveczky, Peter University of Oslo, NorwayNorway Formal Techniques for Safety-Critical Systems (FTSCS) Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems Committee Member in Organizing Committee within the FTSCS-track Committee Member in Program Committee within the FTSCS-track
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Committee Member in Program Committee within the GPCE-track

SPLASH 2022 Contributors

Results (802)

Tracks

Co-hosted Conferences

Workshops