SPLASH 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1144)

A Mohamed AbdelghanyAbdelghany, Mohamed Concordia UniversityCanada Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Chike AbuahAbuah, Chike University of VermontUnited States 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
Sharar AhmadiAhmadi, Sharar University of SurreyUnited Kingdom Proving Memory Access Violations in Isabelle/HOL
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 Session Chair of Session 1 (part of SPLASH V-OOPSLA) Session Chair of Assurance (part of SPLASH OOPSLA) Session Chair of Data (part of SPLASH OOPSLA) Managing Your Research, Your Advisor, Your PhD Invited Speaker in Speakers & Panelists within the SPLASH PLMW-track 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 UniversityGermany Reasoning about Distributed Reconfigurable 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 UniversityUnited States Hybridisation Co-Chair in Organizing Committee for SPLASH 2022 Session Chair of SPLASH Keynote (part of SPLASH Keynotes) Session Chair of Session 2 (part of SPLASH Onward! Essays) Session Chair of PLDI Papers (part of SPLASH COVID Time Papers In Person) Session Chair of Testing and Verification (part of APLAS ) Session Chair of In-Person Talks (part of HATRA) Static Information Flow Control Made Simple Discussion A Case Study in Language-Based Security: Building an I/O Library for Wyvern Derivations with Holes for Concept-Based Program Synthesis 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 LaboratoryNorway Committee Member in Program Committee within the SLE -track
Miltiadis AllamanisAllamanis, Miltiadis Microsoft ResearchUnited 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 Artifact Evaluation 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
Rayhana AmjadAmjad, Rayhana The University of Edinburgh Holbert: Reading, Writing, Proving and Learning in the Browser
Daneshvar AmrollahiAmrollahi, Daneshvar Stanford UniversityUnited States Solving Invariant Generation for Unsolvable Loops
Aditya AnandAnand, Aditya IIT MandiIndia Principles of Staged Static+Dynamic Partial Analysis A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
Sofia AnanievaAnanieva, Sofia FZI Research Center for Information TechnologyGermany Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
Knut Anders StokkeAnders Stokke, Knut Manipulating GUI Structures Declaratively
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance strategFTO: Untimed Control for Timed Opacity Committee Member in Program Committee within the FTSCS-track
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan BatakJava: An Object-Oriented Programming Language with Versions
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Towards a Python 3 IDE for Teaching Creative Programming Blocks, Blocks, and More Blocks-Based Programming Committee Member in Program Committee within the PAINT-track
Tomoyuki AotaniAotani, Tomoyuki MamezouJapan BatakJava: An Object-Oriented Programming Language with Versions
Kalmer ApinisApinis, Kalmer University of Tartu, Estonia Improving Thread-Modular Abstract Interpretation
Vincent AranegaAranega, Vincent Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 - CRIStAL Reflection as a Tool to Debug Objects
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
Jaime AriasArias, Jaime CNRS; LIPN; Université Sorbonne Paris NordFrance Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
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
Robert C. ArmstrongArmstrong, Robert C. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
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
Kshitiz AryalAryal, Kshitiz Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Type System for Four Delimited Control Operators
Wesley AssunçãoAssunção, Wesley Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, BrazilAustria Committee Member in Artifact Evaluation Committee within the SLE -track
Eric AtkinsonAtkinson, Eric Massachusetts Institute of TechnologyUnited States Semi-symbolic Inference for Efficient Streaming Probabilistic Programming 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
Bereket Shimels AyeleAyele, Bereket Shimels Addis Ababa Institute of TechnologyEthiopia Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jon AytacAytac, Jon Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
B Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Committee Member in Program Committee for APLAS 2022 Language-parametric static semantic code completion Intrinsically-Typed Definitional Interpreters à la Carte
Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata 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 Microsoftn.n. Overwatch: Learning Patterns in Code Edit Sequences
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Evaluating the Quality of Student-Written Software Tests with Curated Mutation Analysis Team Harmony before, during, and after COVID-19 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 Logical Reasoning in Reinforcement Learning: A Boon or Bane?
Olivier BaraisBarais, Olivier University of Rennes; Inria; CNRS; IRISAFrance A Language-Parametric Approach to Exploratory Programming Environments Committee Member in Program Committee within the SPLASH Onward! Papers-track
Gergö BaranyBarany, Gergö Oracle LabsAustria Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models
Mikhail BarashBarash, Mikhail University of BergenNorway Manipulating GUI Structures Declaratively Vision: the next 700 language workbenches Committee Member in Program Committee within the PAINT-track
Pedro BarbosaBarbosa, Pedro University of Lisbon; Instituto de Medicina MolecularPortugal Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS -track
Titus BarikBarik, Titus Microsoftn.n. 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
Konstantinos BarmpisBarmpis, Konstantinos University of YorkUnited Kingdom Selective Traceability for Rule-Based Model-to-Model Transformations
Celeste BarnabyBarnaby, Celeste University of Texas at AustinUnited 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
Ferenc BarthaBartha, Ferenc Rice UniversityUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Gilles BartheBarthe, Gilles MPI-SP, Germany / IMDEA Software Institute, SpainGermany Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Ezio BartocciBartocci, Ezio TU WienAustria Solving Invariant Generation for Unsolvable Loops This Is the Moment for Probabilistic Loops
David BasinBasin, David ETH ZurichSwitzerland 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 InriaFrance Semi-symbolic Inference for Efficient Streaming Probabilistic Programming 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 University of Potsdam; Hasso Plattner InstituteGermany Invited Talk: Live Programming over TCP? Bringing Squeak/Smalltalk Liveness to Godot via React/S Toward a VR-Native Live Programming Environment Partial Parsing for Structured Editors Competitive Debugging: Toward Contests Promoting Debugging as a Skill Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Competitive Debugging: Toward Contests Promoting Debugging as a Skill Organizer in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Bereket Ngussie BekeleBekele, Bereket Ngussie Addis Ababa Institute of TechnologyEthiopia Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
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
John BenderBender, John Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
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
Vincent BertramBertram, Vincent RWTH Aachen UniversityGermany Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Jan BessaiBessai, Jan IndependentGermany What do we mean by "unsound"? Welcome to Unsound Sources of Unsoundness in Verification (Unsound) Committee Member in Organizing Committee within the Unsound-track
Dirk BeyerBeyer, Dirk LMU MunichGermany Cooperative Verification: Towards Reliable Safety-Critical Systems Case Study on Verification-Witness Validators: Where We Are and Where We Go
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Coeffects for Sharing and Mutation
Ana Carla BibianoBibiano, Ana Carla Pontifical Catholic University of Rio de Janeiro (PUC-Rio)Brazil Committee Member in Artifact Evaluation Committee within the SLE -track
Robert BiddleBiddle, Robert Carleton UniversityCanada Session Chair of SPLASH Keynote (part of SPLASH Keynotes) 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 GoogleUnited States Wildcards Need Witness Protection
Simon BinderBinder, Simon TU DarmstadtGermany jGuard: Programming Misuse-Resilient APIs
Walter BinderBinder, Walter USI LuganoSwitzerland SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine 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 UniversityDenmark 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 MMTk and The Case for Modular VM Development Post PhD Careers Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track 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-ChampaignUnited States Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Clément BlaudeauBlaudeau, Clément InriaFrance 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 Session Chair of Opening and Welcome (part of SPLASH Opening and Welcome) Software Profession Dimensions of Diversity, Equity, and Inclusion
Bruno BodinBodin, Bruno Yale-NUS CollegeSingapore PC Member in Program Committee within the SPLASH Onward! Essays-track
Shapagat BolatBolat, Shapagat Université de Lorraine; CNRS; Inria; LORIAFrance strategFTO: Untimed Control for Timed Opacity
Anna BolotinaBolotina, Anna Czech Technical University in PragueCzechia Composable Sequence Macros for Fast Iteration
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
Miriam BoßBoß, Miriam RWTH Aachen UniversityGermany Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Automated Synthesis of Asynchronizations
Houda BoukhamBoukham, Houda Ecole Mohammadia d'Ingénieurs; Oracle LabsMorocco A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
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
Erwan BousseBousse, Erwan IMT Atlantique; Nantes Université; École Centrale NantesFrance From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Marius BozgaBozga, Marius CNRS; Université Grenoble AlpesFrance Reasoning about Distributed Reconfigurable Systems
Gilad BrachaBracha, Gilad F5United States Ampleforth: A Live Literate Editor
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 HuaweiUnited Kingdom 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 within the SPLASH Student Research Competition-track
Lexi BrentBrent, Lexi International Computer Science Institute, USA / University of Sydney, Australia Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Daniel BrittenBritten, Daniel University of WaikatoNew Zealand Modelling a Blockchain for Smart Contract Verification using DeepSEA Provably Correct Smart Contracts: An Approach using DeepSEA
David BromanBroman, David KTH Royal Institute of TechnologySweden Committee Member in Program Committee within the FTSCS-track
Hugo BruneliereBruneliere, Hugo IMT Atlantique, LS2N (UMR CNRS 6004)France Committee Member in Artifact Evaluation Committee within the SLE -track
Roberto BruniBruni, Roberto University of PisaItaly Deciding program properties via complete abstractions on bounded domains
Gary Brandt Bucher, IIBucher, II, Gary Brandt Research Affiliates, LLCUnited States Dynamic Pattern Matching with Python
Denis BuenoBueno, Denis Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Tristan BunnBunn, Tristan Victoria University of WellingtonNew Zealand Towards a Python 3 IDE for Teaching Creative Programming
Humphrey BurchellBurchell, Humphrey University of Kent Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages
Lola BurgueñoBurgueño, Lola University of MalagaSpain Session Chair of SLE Keynote (part of SLE Keynote) Session Chair of SLE Closing (part of SLE ) Session Chair of SLE Opening (part of SLE ) SLE Opening Post PhD Careers Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track 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 Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices Committee Member in Program Committee within the SLE -track
Aurel BílýBílý, Aurel ETH Zurich Modular Specification and Verification of Closures in Rust
C Pierre CagneCagne, Pierre Appalachian State University Characterizing functions mappable over GADTs
Yuxi CaiCai, Yuxi University of TorontoCanada 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
Tommaso CaloCalo, Tommaso Politecnico di TorinoItaly Creating Dynamic Prototypes from Web Page Sketches
Stéphanie CamarénaCamaréna, Stéphanie Source TransitionsAustralia Software Profession Dimensions of Diversity, Equity, and Inclusion
José Pablo CambroneroCambronero, José Pablo MicrosoftUnited States 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
Miguel CampusanoCampusano, Miguel University of Southern DenmarkDenmark Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing
Paulo CanelasCanelas, Paulo University of Lisbon; Carnegie Mellon UniversityPortugal Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Pablo C CanizaresCanizares, Pablo C Autonomous University of Madrid, Spain Committee Member in Artifact Evaluation Committee within the SLE -track
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Tower: Data Structures in Quantum Superposition Tower: Data Structures in Quantum Superposition Semi-symbolic Inference for Efficient Streaming Probabilistic Programming Semi-symbolic Inference for Efficient Streaming Probabilistic Programming
Paris CarboneCarbone, Paris RISE Research institutes of Sweden Portals: An Extension of Dataflow Streaming for Stateful Serverless
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the DLS-track
Edwin CarlinetCarlinet, Edwin EPITA Research LaboratoryFrance A Modern C++ Point of View of Programming in Image Processing The Cost of Dynamism in Static Languages for Image Processing
Robert CartwrightCartwright, Robert Rice UniversityUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Luís CarvalhoCarvalho, Luís NOVA-LINCS; Nova University of LisbonPortugal Derivations with Holes for Concept-Based Program Synthesis
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Session Chair of SLE Keynote (part of SLE Keynote) Session Chair of SLE Closing (part of SLE ) Session Chair of SLE Opening (part of SLE ) SLE Opening 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 LondonUnited Kingdom A Study of Inline Assembly in Solidity Smart Contracts In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Sponsorship Co-Chair in Organizing Committee for SPLASH 2022
Chun Yin ChauChau, Chun Yin The Hong Kong University of Science and TechnologyChina MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Marsha ChechikChechik, Marsha University of TorontoCanada 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 University of California at Los AngelesUnited States 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 UniversityUnited States Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Jiawei ChenChen, Jiawei University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Committee Member in Program Committee within the SAS -track
Qiaochu ChenChen, Qiaochu University of Texas at AustinUnited States 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 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
Zhiyang ChenChen, Zhiyang University of TorontoCanada Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Zhuo ChenChen, Zhuo University of MelbourneAustralia Towards a Verified Cost Model for Call-by-Push-Value In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Zilin ChenChen, Zilin UNSWAustralia Property-Based Testing: Climbing the Stairway to Verification
James CheneyCheney, James University of EdinburghUnited Kingdom Language-Integrated Query for Temporal Data
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 at BerkeleyUnited States Katara: Synthesizing CRDTs with Verified Lifting Katara: Synthesizing CRDTs 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
Dalila ChiadmiChiadmi, Dalila Ecole Mohammadia d'IngénieursMorocco A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Michele ChiariChiari, Michele TU WienAustria 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 University of TokyoJapan Session Chair of GPCE Session 3 (part of GPCE ) People do not want to learn a new language but a new library People Do Not Want to Learn a New Language But a New Library (Keynote) Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the SLE -track Committee Member in Keynote Speaker within the SLE -track
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Automated Temporal Verification for Algebraic Effects Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Luca ChiodiniChiodini, Luca USI LuganoSwitzerland Expressions in Java: Essential, Prevalent, Neglected?
Khushboo ChitreChitre, Khushboo IIIT DelhiIndia The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Kenneth ChiuChiu, Kenneth SUNY BinghamtonUnited States 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 PennsylvaniaUnited States Monadic and Comonadic Aspects of Dependency Analysis
Sangeeta ChowdharyChowdhary, Sangeeta Rutgers UniversityUnited States Fast Shadow Execution for Debugging Numerical Errors using Error Free Transformations
Maria ChristakisChristakis, Maria MPI-SWSGermany Compositional Verification of Smart Contracts Through Communication Abstraction
Jörg Christian KirchhofChristian Kirchhof, Jörg RWTH Aachen UniversityGermany Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
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 Discussion 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
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Lang-n-Prove: A DSL for Language Proofs
Gabriela CiocarlieCiocarlie, Gabriela University of Texas at San Antonio Behavioral simulation for smart contracts
Basile ClementClement, Basile InriaFrance End-to-end translation validation for the halide language
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Discussion 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
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Optimising First-Class Pattern Matching
Albert CohenCohen, Albert GoogleFrance End-to-end translation validation for the halide language
Myra CohenCohen, Myra Iowa State UniversityUnited States Bringing Together Configuration Research: Towards a Common Ground
Benoit CombemaleCombemale, Benoit University of Rennes; Inria; CNRS; IRISAFrance A Language-Parametric Approach to Exploratory Programming Environments 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 Session Chair of Mentoring Session - Tuesday (part of SPLASH PLMW) Session Chair of Session 1 (part of SPLASH PLMW) Session Chair of Session 2 (part of SPLASH PLMW) Session Chair of Mentoring Session - Wednesday (part of SPLASH PLMW) Session Chair of Session 4 (part of SPLASH PLMW) Session Chair of Session 3 (part of SPLASH PLMW) 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
Breandan ConsidineConsidine, Breandan McGill UniversityCanada Tidyparse: Real-Time Context Free Error Correction In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Evelyne ContejeanContejean, Evelyne Translating canonical SQL to imperative code in Coq
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Derivations with Holes for Concept-Based Program Synthesis
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Web, Publicity and In Person SIGPLAN Papers Chair in Organizing Committee for SPLASH 2022 Session Chair of SLE and GPCE Papers (part of SPLASH COVID Time Papers In Person) Committee Member in Overview Committee within the SPLASH COVID Time Papers In Person-track
Steven CostiouCostiou, Steven INRIA LilleFrance Reflection as a Tool to Debug Objects
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SAS -track
Arlen CoxCox, Arlen IDA Session Chair of Model Checking and Verification (part of SAS ) Committee Member in Program Committee within the SAS -track
Will CrichtonCrichton, Will Stanford University Committee Member in Program Committee within the HATRA-track
Abby CriswellCriswell, Abby University of Texas at AustinUnited States Type-Directed Synthesis of Visualizations from Natural Language Queries
Ryan CulpepperCulpepper, Ryan Czech Technical University in PragueCzechia Composable Sequence Macros for Fast Iteration 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
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Some Problems with Properties: A Study on Property-Based Testing in Industry
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-MadisonUnited States Session Chair of Synthesis II (part of SPLASH OOPSLA) Synthesizing Abstract Transformers
Meenakshi D'SouzaD'Souza, Meenakshi IIITB - International Institute of Information Technology BangaloreIndia Committee Member in Program Committee for APLAS 2022
Francesco DagninoDagnino, Francesco University of GenoaItaly Coeffects for Sharing and Mutation
Sadegh DalvandiDalvandi, Sadegh University of SurreyUnited Kingdom 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 GaloisUnited States Solo: A Lightweight Static Analysis for Differential Privacy
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Fractional Resources in Unbounded Separation Logic Committee Member in Judges within the SPLASH Student Research Competition-track
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Sourav DasDas, Sourav Indian Institute of Technology KharagpurIndia Committee Member in Artifact Evaluation Committee for APLAS 2022
Brahma DathanDathan, Brahma Metropolitan State UniversityUnited States Crossing Learning Thresholds Progressively via Active Learning
Benjamin DaveyDavey, Benjamin Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Istvan DavidDavid, Istvan Université de MontréalCanada Committee Member in Program Committee within the SLE -track
Joeri De KosterDe Koster, Joeri Vrije Universiteit BrusselBelgium Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
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
José Luiz Vargas de Mendonçade Mendonça, José Luiz Vargas University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Alexis De MeoDe Meo, Alexis TroveNew Zealand Domain-Specific Visual Language for Data Engineering Quality
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2022 Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine FLOREnce: A Hybrid Logic-Functional Reactive Programming Language 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 Creating Dynamic Prototypes from Web Page Sketches Committee Member in Program Committee within the PAINT-track
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance Static Analysis of Endian Portability by Abstract Interpretation
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-ChampaignUnited States Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Marcus DenkerDenker, Marcus INRIA LilleFrance Reflection as a Tool to Debug Objects
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 Session Chair of Verification (part of SPLASH OOPSLA) Plausible sealing for gradual parametricity Purity of an ST monad: full abstraction by semantically typed back-translation
Philip DexterDexter, Philip SUNY BinghamtonUnited States The Essence of Online Data Processing
Utkarsh DhandhaniaDhandhania, Utkarsh University of Hong KongChina Compositional Embeddings of Domain-Specific Languages
Kevin DickDick, Kevin Carleton UniversityCanada Data Science Pedagogy to Support Industry, Governmental, and Research Initiatives
Robert DickersonDickerson, Robert Purdue UniversityUnited States RHLE: Modular Deductive Verification of Relational ∀∃ Properties
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Putting the Semantics into Semantic Versioning
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Session Chair of Testing and Maintenance (part of SPLASH OOPSLA) Automated transpilation of imperative to functional code using neural-guided program synthesis Synthesizing fine-grained synchronization protocols for implicit monitors Type-Directed Synthesis of Visualizations from Natural Language Queries Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring SolType: Refinement Types for Arithmetic Overflow in Solidity
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States 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
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia signatr: A Data-Driven Fuzzing Tool for R
James DongDong, James Stanford UniversityUnited States Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom Proving Memory Access Violations in Isabelle/HOL Implementing and Verifying Release-Acquire Transactional Memory in C11
Raphael Douglas GilesDouglas Giles, Raphael UNSWAustralia 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 -track
Derek DreyerDreyer, Derek MPI-SWSGermany Session Chair of Semantics and Security (part of SPLASH OOPSLA) Proving Hypersafety Compositionally Finding real bugs in big programs with incorrectness logic BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs Mentor in Mentors within the SPLASH PLMW-track
Sophia DrossopoulouDrossopoulou, Sophia Meta and Imperial College London United Kingdom Committee Member in Steering Committee for SPLASH 2022 Session Chair of Session 2 (part of SPLASH V-OOPSLA) Necessity Specifications 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
Adam DuraczDuracz, Adam Rice UniversityUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Greg DurrettDurrett, Greg 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
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
Martijn DwarsDwars, Martijn Oracle LabsSwitzerland A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
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
Ana María Díaz CastilloDíaz Castillo, Ana María Teach for AllColombia Suppose You Had Blocks within a Notebook
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Session Chair of Security (part of SAS ) 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 Mentor in Mentors within the SPLASH PLMW-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Interaction vs. Abstraction: Managed Copy and Paste 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 for Robustness
Aaron ElineEline, Aaron AmazonUnited States C to checked C by 3c
Stephen EllisEllis, Stephen Imperial College LondonUnited Kingdom Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Behavioral simulation for smart contracts
Madeline EndresEndres, Madeline University of MichiganUnited States Seq2Parse: Neurosymbolic Parse Error Repair
Constantin EneaEnea, Constantin Ecole Polytechnique / LIX / CNRSFrance Automated Synthesis of Asynchronizations Behavioral simulation for smart contracts Committee Member in Review Committee within the SPLASH OOPSLA-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Incremental Processing of Structured Data in Datalog Steering Committee Chair in Steering Committee within the GPCE -track
Julian ErhardErhard, Julian Technical University of Munich Improving Thread-Modular Abstract Interpretation
Guilherme EspadaEspada, Guilherme University of LisbonPortugal Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Baptiste EstebanEsteban, Baptiste EPITA Research LaboratoryFrance The Cost of Dynamism in Static Languages for Image Processing
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
Emanuel EvansEvans, Emanuel In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
F Andong FanFan, Andong Hong Kong University of Science and TechnologyChina A Calculus with Recursive Types, Record Concatenation and Subtyping Simple Extensible Programming through Precisely-Typed Open Recursion In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Hongyu FanFan, Hongyu Tsinghua UniversityChina Consistency-Preserving Propagation for SMT Solving of Concurrent Program Verification
Anna FarihaFariha, Anna MicrosoftUnited States 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 TechnologyUnited States 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 Session Chair of Mentoring Session - Tuesday (part of SPLASH PLMW) Session Chair of Mentoring Session - Wednesday (part of SPLASH PLMW) Session Chair of Morning 1 (part of SPLASH -E) 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 SolType: Refinement Types for Arithmetic Overflow in Solidity
Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the SAS -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 -track
Carla FerreiraFerreira, Carla NOVA-LINCS; Nova University of LisbonPortugal Derivations with Holes for Concept-Based Program Synthesis
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Session Chair of DSLs (part of SPLASH OOPSLA) 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 SLE Opening Automatic Grammar Repair Grammar-based testing for little languages: an experience report with student compilers General Chair in Organising Committee within the SLE -track
Jennifer FishFish, Jennifer Carnegie Mellon University A Case Study in Language-Based Security: Building an I/O Library for Wyvern
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
Alcides FonsecaFonseca, Alcides University of LisbonPortugal Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Darius FooFoo, Darius National University of Singapore Automated Temporal Verification for Algebraic Effects In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation Committee for APLAS 2022
Niklas ForsFors, Niklas Lund UniversitySweden Property Probes: Source Code Based Exploration of Program Analysis Results
Yannick ForsterForster, Yannick InriaFrance MetaCoq as a tool to prevent future unsoundness in Coq
Peter FortinFortin, Peter Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
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 Language-Integrated Query for Temporal Data Committee Member in Program Committee within the LIVE-track
Dov FraivertFraivert, Dov Open University of IsraelIsrael Language Support for Refactorability Decay Prevention Explicit Code Reuse Recommendation
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the FTSCS-track
Björn FrankeFranke, Björn University of EdinburghUnited Kingdom Collection Skeletons: Declarative Abstractions for Data Collections
Steven D. FraserFraser, Steven D. InnoxecUnited States Software Profession Dimensions of Diversity, Equity, and Inclusion Impresario in Organisers within the SPLASH Panels-track
Marius FreitagFreitag, Marius Fernuniversität in Hagen The Semantics of Plurals
Vanessa FreudenbergFreudenberg, Vanessa Croquet CorpUnited States Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction System
Felipe FronchettiFronchetti, Felipe Virginia Commonwealth UniversityUnited States Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Daniel FruminFrumin, Daniel University of GroningenNetherlands A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Damian FrölichFrölich, Damian University of AmsterdamNetherlands iCoLa: A Compositional Meta-language with Support for Incremental Language Development A Language-Parametric Approach to Exploratory Programming Environments
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Scalable Linear Invariant Generation with Farkas’ Lemma
Weili FuFu, Weili University of Freiburg, Germany Label dependent lambda calculus and gradual typing
Tsukasa FukusatoFukusato, Tsukasa The University of TokyoJapan Education-aware Interactive Machine Teaching: Training Autonomous Game Agents
Jaymon FurnissFurniss, Jaymon Proving False in Object Oriented Verification Programs by Exploiting Non-Termination In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Committee Member in Program Committee for APLAS 2022
Richard P. GabrielGabriel, Richard P. PoetUnited States Conferences & Остраннeние: Shortchanging Topos and Ourselves
Adrian GallusGallus, Adrian RWTH Aachen University Weighted programming: a programming paradigm for specifying mathematical models
Vashti GalpinGalpin, Vashti University of EdinburghUnited Kingdom Language-Integrated Query for Temporal Data
Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) Committee Member in Artifact Evaluation Committee for APLAS 2022
Ronald GarciaGarcia, Ronald University of British ColumbiaCanada Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Isabel Garcia-ContrerasGarcia-Contreras, Isabel University of WaterlooCanada Efficient Modular 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 AWSUnited States Synthesizing Code Quality Rules from Examples
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of WellingtonNew Zealand In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Antonio GarmendiaGarmendia, Antonio JKU LinzAustria From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Bringing Together Configuration Research: Towards a Common Ground
Leonard GeierGeier, Leonard University of Potsdam; Hasso Plattner InstituteGermany Invited Talk: Live Programming over TCP? Bringing Squeak/Smalltalk Liveness to Godot via React/S Toward a VR-Native Live Programming Environment Competitive Debugging: Toward Contests Promoting Debugging as a Skill Competitive Debugging: Toward Contests Promoting Debugging as a Skill
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
Simos GerasimouGerasimou, Simos University of YorkUnited Kingdom Partial Loading of Repository-Based Models through Static Analysis
Arthur GervaisGervais, Arthur Imperial College LondonUnited Kingdom A Study of Inline Assembly in Solidity Smart Contracts
Dan GhicaGhica, Dan HuaweiUnited Kingdom High-Level Effect Handlers in C++
Anubhab GhoshGhosh, Anubhab IIIT KalyaniIndia Qiwi: A Beginner Friendly Quantum Language
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Session Chair of SAS Papers 1 (part of SPLASH COVID Time Papers In Person) Session Chair of Logic and Completeness (part of SAS ) Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation Committee Member in Program Committee within the SAS -track Committee Member in Judges within the SPLASH Student Research Competition-track
Dimitra GiannakopoulouGiannakopoulou, Dimitra NASA Ames Research Center Committee Member in Program Committee within the FTSCS-track
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly 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
Vladimir GladshteinGladshtein, Vladimir In-person student volunteer in Organizers within the SPLASH Student Volunteers-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 Some Problems with Properties: A Study on Property-Based Testing in Industry Parsing Randomness
Anitha GollamudiGollamudi, Anitha University of Massachusetts Lowell Committee Member in Reviewers 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 UniversityDenmark Modular Verification of Op-Based CRDTs in Separation Logic
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium 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
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Certifying the Synthesis of Heap-Manipulating Programs PhD Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Roberta GoriGori, Roberta University of PisaItaly Deciding program properties via complete abstractions on bounded domains
Eric GoubaultGoubault, Eric Ecole Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Hemant GouniGouni, Hemant University of Minnesota at Twin CitiesUnited States Static Information Flow Control Made Simple
Maruth GoyalGoyal, Maruth University of Texas at AustinUnited States 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 Session Chair of Debugging (part of SPLASH OOPSLA) Elipmoc: advanced decompilation of Ethereum smart contracts Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Symbolic value-flow static analysis: deep, precise, complete modeling 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 Proving Memory Access Violations in Isabelle/HOL
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 UniversityChina Oracle-Free Repair Synthesis for Floating-Point Programs
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited 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
Jin L.C. GuoGuo, Jin L.C. McGill UniversityCanada Tidyparse: Real-Time Context Free Error Correction
Philip GuoGuo, Philip University of California at San DiegoUnited States Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials Seq2Parse: Neurosymbolic Parse Error Repair
Philip GuoGuo, Philip University of California San Diego Committee Member in Program Committee within the SPLASH -E-track
Priyanshu GuptaGupta, Priyanshu MicrosoftIndia Overwatch: Learning Patterns in Code Edit Sequences
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee for APLAS 2022 Efficient Modular SMT-Based Model Checking of Pointer Programs Compositional Verification of Smart Contracts Through Communication Abstraction
Thierry GéraudGéraud, Thierry EPITA Research LaboratoryFrance A Modern C++ Point of View of Programming in Image Processing
Tudor GîrbaGîrba, Tudor feenk.com Committee Member in Program Committee within the LIVE-track
Pablo Gómez-AbajoGómez-Abajo, Pablo Universidad Autónoma de MadridSpain Committee Member in Artifact Evaluation Committee within the SLE -track
H Julian HaasHaas, Julian TU DarmstadtGermany About Combining Functional Reactive Programming and Replicated Data Types 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 PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Braxton HallHall, Braxton University of British ColumbiaCanada Evaluating the Quality of Student-Written Software Tests with Curated Mutation Analysis
William T. HallahanHallahan, William T. Yale UniversityUnited States Checking Equivalence in a Non-strict Language
Philipp HallerHaller, Philipp KTHSweden Portals: An Extension of Dataflow Streaming for Stateful Serverless
Tianyu HanHan, Tianyu McGill University Novice Type Error Diagnosis with Natural Language Models
Toine HartmanHartman, Toine IndependentNetherlands Optimising First-Class Pattern Matching
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland 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 Chinese University of Hong Kong at 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
Andrew HeadHead, Andrew University of Pennsylvania Some Problems with Properties: A Study on Property-Based Testing in Industry
Kyle HeadleyHeadley, Kyle AmazonUnited States C to checked C by 3c
Görel HedinHedin, Görel Lund UniversitySweden Property Probes: Source Code Based Exploration of Program Analysis Results
Bastiaan HeerenHeeren, Bastiaan Open University of the Netherlands, Netherlands Program Synthesis Using Example Propagation
Gernot HeiserHeiser, Gernot UNSWAustralia Property-Based Testing: Climbing the Stairway to Verification
Joseph M. HellersteinHellerstein, Joseph M. University of California at BerkeleyUnited States Katara: Synthesizing CRDTs with Verified Lifting Katara: Synthesizing CRDTs with Verified Lifting
Marc HentzeHentze, Marc VolkswagenGermany Generic Solution-Space Sampling for Multi-domain Product Lines
Martin HenzHenz, Martin National University of SingaporeSingapore Session Chair of Morning 2 (part of SPLASH -E) 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 -track Committee Member in Review Committee within the SPLASH OOPSLA-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Organizing Committee within the Unsound-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands Gradual Grammars: Syntax in Levels and Locales
Noa HeylHeyl, Noa University of British ColumbiaCanada Team Harmony before, during, and after COVID-19
Michael HicksHicks, Michael University of Maryland; AmazonUnited States Verified Compilation of Quantum Oracles
MIchael HicksHicks, MIchael AmazonUnited States C to checked C by 3c
Michael HicksHicks, Michael University of Maryland; AmazonUnited States Mentor in Mentors within the SPLASH PLMW-track
Kesha HietalaHietala, Kesha University of MarylandUnited States Verified Compilation of Quantum Oracles
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Invited Talk: Live Programming over TCP? Bringing Squeak/Smalltalk Liveness to Godot via React/S Toward a VR-Native Live Programming Environment Partial Parsing for Structured Editors Competitive Debugging: Toward Contests Promoting Debugging as a Skill Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Competitive Debugging: Toward Contests Promoting Debugging as a Skill Digital Crochet: Toward a Visual Language for Pattern Description Committee Member in Program Committee within the DLS-track Organizer in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Joshua HoeflichHoeflich, Joshua Northwestern UniversityUnited States Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Henry HoffmannHoffmann, Henry University of ChicagoUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Reid HolmesHolmes, Reid University of British ColumbiaCanada Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Budget and Finance Chair in Organizing Committee for SPLASH 2022 Blocks, Blocks, and More Blocks-Based Programming Domain-Specific Visual Language for Data Engineering Quality Interleaved 2D Notation for Concatenative Programming Live 2D Compositional Programming
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2022 Comfy Chair in Organizing Committee for SPLASH 2022 Session Chair of Session 3 (part of VMIL) Post PhD Careers Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track 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 A Counterexample-Guided Debugger for Non-Recursive Datalog 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
Geoffrey C. HuletteHulette, Geoffrey C. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
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 UniversityJapan Session Chair of Session 3 (part of SPLASH V-OOPSLA) Session Chair of Logic and Verification II (part of SPLASH OOPSLA) Session Chair of Proofs (part of SPLASH OOPSLA) Session Chair of GPCE Session 2 (part of GPCE ) Session Chair of Types (part of APLAS ) (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
Takeo IgarashiIgarashi, Takeo The University of TokyoJapan Education-aware Interactive Machine Teaching: Training Autonomous Game Agents
Kazuki IkemoriIkemori, Kazuki Tokyo Institute of Technology First-class Names for Effect Handlers
Hugo IllousIllous, Hugo CEA & INRIA / ENS ParisFrance Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
Connor ImesImes, Connor University of ChicagoUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Leon IngelseIngelse, Leon University of LisbonPortugal Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Radu IosifIosif, Radu CNRS; Université Grenoble AlpesFrance Reasoning about Distributed Reconfigurable Systems
Fuyuki IshikawaIshikawa, Fuyuki National Institute of InformaticsJapan Committee Member in Program Committee within the FTSCS-track
Takuma IshikawaIshikawa, Takuma The University of Tokyo Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
Chiaki IshioIshio, Chiaki Ochanomizu UniversityJapan Type System for Four Delimited Control Operators PhD Life Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Committee Member in Program Committee for APLAS 2022 Committee Member in Program Committee within the SPLASH Onward! Papers-track
Naoki IwayamaIwayama, Naoki University of Tokyo, Japan A New Refinement Type System for Automated nu-HFLZ Validity Checking
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
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Session Chair of PLDI and POPL Papers (part of SPLASH COVID Time Papers In Person) Session Chair of APLAS Papers (part of SPLASH COVID Time Papers In Person)
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Session Chair of Concurrency (part of SPLASH OOPSLA) Session Chair of Systems and Verification (part of SPLASH OOPSLA) Specification-Guided Component-Based Synthesis from Effectful Libraries Committee Member in Review Committee within the SPLASH OOPSLA-track
Sorour JahanbinJahanbin, Sorour University of YorkUnited Kingdom Partial Loading of Repository-Based Models through Static Analysis
Joel JakubovicJakubovic, Joel University of KentUnited Kingdom Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System
Shayan JaliliJalili, Shayan University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Corinna JaschekJaschek, Corinna Hasso Plattner InstituteGermany Committee Member in Program Committee within the PAINT-track
Dhanushka JayasuriyaJayasuriya, Dhanushka University of AucklandNew Zealand Towards Automated Updates of Software Dependencies
Pierre JeanjeanJeanjean, Pierre Inria; University of Rennes; CNRS; IRISAFrance A Language-Parametric Approach to Exploratory Programming Environments
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of Michigan at Ann ArborUnited States Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Alan JeffreyJeffrey, Alan RobloxUnited States Session Chair of Information Flow and Discussion (part of HATRA) 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 Stable relations and abstract interpretation of higher-order programs
Johan JeuringJeuring, Johan Utrecht University Program Synthesis Using Example Propagation
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited 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 TechnologyUnited States Neural Architecture Search using Property Guided Synthesis
Patricia JohannJohann, Patricia Appalachian State University Characterizing functions mappable over GADTs
Tanya JohnsonJohnson, Tanya AurorNew Zealand Software Profession Dimensions of Diversity, Equity, and Inclusion
Richard JonesJones, Richard University of KentUnited Kingdom Who You Gonna Call: Analyzing the Run-time Call-Site Behavior of Ruby Applications Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
Harshit JoshiJoshi, Harshit MicrosoftIndia 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
René JustJust, René University of WashingtonUnited States Contextualized Programming Language Documentation
Jaakko JärviJärvi, Jaakko University of TurkuNorway Manipulating GUI Structures Declaratively
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
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Who You Gonna Call: Analyzing the Run-time Call-Site Behavior of Ruby Applications In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia Program Synthesis for Artifacts beyond Programs Synthesizing Abstract Transformers In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Session Chair of GPCE Session 1 (part of GPCE ) Session Chair of GPCE Keynote (part of GPCE Keynote) Session Chair of Session 3. DSLs (part of SLE ) PC Chair's Report 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
Farhan Kamil-okedaraKamil-okedara, Farhan University of WarwickUnited Kingdom Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Session Chair of Session 1 (part of REBLS) Distributed Persistent Signals: Architecture and Implementation 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 Session Chair of Probabilistic (part of SPLASH OOPSLA) Session Chair of Logic and Verification I (part of SPLASH OOPSLA) 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
Byeongjee KangKang, Byeongjee POSTECHSouth Korea Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Anders KaseorgKaseorg, Anders Massachusetts Institute of TechnologyUnited States C4: verified transactional objects
John KastnerKastner, John AmazonUnited States C to checked C by 3c
Hiroyuki KatoKato, Hiroyuki National Institute of Informatics, Japan A Counterexample-Guided Debugger for Non-Recursive Datalog
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Session Chair of Talks III (part of LIVE) Session Chair of Keynote, Talks I, and Introductions (part of LIVE) Session Chair of Talks II (part of LIVE) Introductions Education-aware Interactive Machine Teaching: Training Autonomous Game Agents Live Programming (LIVE) Post PhD Careers Panel Panelist in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Organizing Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Weighted programming: a programming paradigm for specifying mathematical models Reasoning about Distributed Reconfigurable Systems
Asterios KatsifodimosKatsifodimos, Asterios TU DelftNetherlands Abstractions and Execution Engines for Scalable & Consistent Cloud Applications: are we there yet?
Hiroyuki KatsuraKatsura, Hiroyuki A New Refinement Type System for Automated nu-HFLZ Validity Checking
Geoff KaufmanKaufman, Geoff Carnegie Mellon UniversityUnited States Software Profession Dimensions of Diversity, Equity, and Inclusion
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 IIIT DelhiIndia 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
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Property-Based Testing: Climbing the Stairway to Verification
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
Bettina KemmeKemme, Bettina McGill University, Canada FIDDLR: streamlining reuse with concern-specific modelling languages
George KenisonKenison, George TU WienAustria Solving Invariant Generation for Unsolvable Loops
Svenja KernigKernig, Svenja TU DarmstadtGermany jGuard: Programming Misuse-Resilient APIs
Ameya KetkarKetkar, Ameya UberUnited States Overwatch: Learning Patterns in Code Edit Sequences
Hoda KhalilKhalil, Hoda Carleton UniversityCanada Data Science Pedagogy to Support Industry, Governmental, and 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
Nishant KheterpalKheterpal, Nishant University of MichiganUnited States Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS
Siau-Cheng KhooKhoo, Siau-Cheng National University of SingaporeSingapore ARENA: Enhancing Abstract Refinement for Neural Network Verification
Faezeh KhorramKhorram, Faezeh IMT Atlantique; Nantes Université; École Centrale NantesFrance From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Session Chair of Session 4. Programming Languages: Modularity, Composition and Libraries (part of SLE ) FIDDLR: streamlining reuse with concern-specific modelling languages Committee Member in Program Committee within the SLE -track
Jung-Eun KimKim, Jung-Eun Yale UniversityUnited States Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Sangki KimKim, Sangki POSTECHSouth Korea Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Marisa KirisameKirisame, Marisa University of UtahUnited States Optimal Heap Limits for Reducing Browser Memory Use
Diana KirkKirk, Diana University of AucklandNew Zealand Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement
Gerwin KleinKlein, Gerwin Proofcraft; UNSWAustralia Property-Based Testing: Climbing the Stairway to Verification
Anno KleissKleiss, Anno RWTH Aachen University Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
Anneke KleppeKleppe, Anneke IndependentNetherlands Freon: An Open Web Native Language Workbench
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Parameterized Recursive Refinement Types for Automated Program Verification A New Refinement Type System for Automated nu-HFLZ Validity Checking Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
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
Tobias KohnKohn, Tobias University of Cambridge, UKUnited Kingdom Dynamic Pattern Matching with Python
Wen KokkeKokke, Wen University of Edinburgh Committee Member in Program Committee within the LIVE-track
Michalis KokologiannakisKokologiannakis, Michalis MPI-SWSGermany Model Checking for a Multi-Execution Memory Model
John C. KolesarKolesar, John C. Yale UniversityUnited States Checking Equivalence in a Non-strict Language In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Selective Traceability for Rule-Based Model-to-Model Transformations Partial Loading of Repository-Based Models through Static Analysis 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
Austin KothigKothig, Austin University of Waterloo Exploring the Verifiability of Code Generated by GitHub Copilot
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
Fabian KrauseKrause, Fabian University of Freiburg Label dependent lambda calculus and gradual typing
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Sebastian KrieterKrieter, Sebastian University of UlmGermany Generic Solution-Space Sampling for Multi-domain Product Lines
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 -track
Rahul KrishnanKrishnan, Rahul University of Wisconsin-MadisonUnited 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
Bastian KruckKruck, Bastian itemis SECURE // Hasso Plattner InstituteGermany Integration testing can be reliable and low-effort in a projectional IDE through snapshots - DEMO
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
Amrit KumarKumar, Amrit Zilliqa Researchn.n. Practical Smart Contract Sharding with Ownership and Commutativity Analysis
Evgeny KusmenkoKusmenko, Evgeny RWTH Aachen UniversityGermany A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Thomas KühnKühn, Thomas Karlsruhe Institute of TechnologyGermany Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems Committee Member in Program Committee within the SLE -track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SLE -track Artifact Evaluation Co-Chair in Organising Committee within the SLE -track
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia signatr: A Data-Driven Fuzzing Tool for R
L Elizabeth LabradaLabrada, Elizabeth University of ChileCuba Plausible sealing for gradual parametricity
Shadaj LaddadLaddad, Shadaj University of California at BerkeleyUnited States Katara: Synthesizing CRDTs with Verified Lifting Katara: Synthesizing CRDTs with Verified Lifting
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Elipmoc: advanced decompilation of Ethereum smart contracts Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Symbolic value-flow static analysis: deep, precise, complete modeling 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 LahiriLahiri, Shuvendu Microsoft ResearchUnited States Automated Synthesis of Asynchronizations SolType: Refinement Types for Arithmetic Overflow in Solidity
Sumit LahiriLahiri, Sumit IIT KanpurIndia Verification of Programs with Concealed Components Symbolic Execution for Randomized Programs In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Joey LaiLai, Joey University of AmsterdamNetherlands A Language-Parametric Approach to Exploratory Programming Environments
Patrick LamLam, Patrick University of Waterloo Exploring the Verifiability of Code Generated by GitHub Copilot Putting the Semantics into Semantic Versioning
Octave LaroseLarose, Octave University of KentUnited Kingdom Who You Gonna Call: Analyzing the Run-time Call-Site Behavior of Ruby Applications
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 at San DiegoUnited States Session Chair of Talks III (part of LIVE) Session Chair of Keynote, Talks I, and Introductions (part of LIVE) Session Chair of Talks II (part of LIVE) Introductions Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials Live Programming (LIVE) 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
Jaeseo LeeLee, Jaeseo POSTECHSouth Korea Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Yunjeong LeeLee, Yunjeong National University of Singapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Engel LefaucheuxLefaucheux, Engel Université de Lorraine; CNRS; Inria; LORIAFrance strategFTO: Untimed Control for Timed Opacity
Yuxiang LeiLei, Yuxiang University of Technology SydneyAustralia Taming Transitive Redundancy for Context-Free Language Reachability
Daan LeijenLeijen, Daan Microsoft ResearchUnited States First-class Names for Effect Handlers
Matthieu LemerreLemerre, Matthieu CEA LIST, FranceFrance Session Chair of ICFP Papers (part of SPLASH COVID Time Papers In Person) Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
Ondřej LengálLengál, Ondřej Brno University of Technology Committee Member in Program Committee for APLAS 2022
David LeopoldsederLeopoldseder, David Oracle LabsAustria Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models 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 Session Chair of Afternoon 2 (part of SPLASH -E) 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 Session Chair of Logic and Concurrency (part of SPLASH OOPSLA) C4: verified transactional objects
Luc LesoilLesoil, Luc IRISAFrance Committee Member in Artifact Evaluation Committee within the SLE -track
Martin LesterLester, Martin University of ReadingUnited Kingdom Committee Member in Artifact Evaluation Committee for APLAS 2022
Ivan LevkivskyiLevkivskyi, Ivan Dropbox Ireland Dynamic Pattern Matching with Python
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 UniversityChina Scalable Linear Invariant Generation with Farkas’ Lemma
Jialin LiLi, Jialin Linear types for large-scale systems verification
Liyi LiLi, Liyi University of MarylandUnited States 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
Yonglun LiLi, Yonglun University of Wisconsin-MilwaukeeUnited States Semantics of RxJS
Zhibo LiLi, Zhibo University of EdinburghUnited Kingdom Collection Skeletons: Declarative Abstractions for Data Collections
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 Carnegie Mellon UniversityUnited States Synthesizing Axiomatizations using Logic Learning
Pilar Selene Linares ArévaloLinares Arévalo, Pilar Selene University of MelbourneAustralia Composing Linear Types and Separation Logic Proofs of Memory Safety
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Digital Crochet: Toward a Visual Language for Pattern Description Committee Member in Program Committee within the LIVE-track
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom High-Level Effect Handlers in C++
Geoffrey LittLitt, Geoffrey MIT Potluck: dynamic documents as personal software 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 UniversityChina Scalable Linear Invariant Generation with Farkas’ Lemma
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States 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 UniversityUnited States Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Si LiuLiu, Si ETH ZurichSwitzerland Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Yu David LiuLiu, Yu David SUNY BinghamtonUnited States The Essence of Online Data Processing
Ben LivshitsLivshits, Ben Imperial College LondonUnited Kingdom A Study of Inline Assembly in Solidity Smart Contracts
Fan LongLong, Fan University of TorontoCanada 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 of IsraelIsrael Session Chair of Session 8. Verification, Validation and Testing (part of SLE ) Language Support for Refactorability Decay Prevention Explicit Code Reuse Recommendation
Jingbo LuLu, Jingbo UNSW Sydney Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shan LuLu, Shan University of ChicagoUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Karsten LundqvistLundqvist, Karsten New Zealand Towards a Python 3 IDE for Teaching Creative Programming
Aran LunzerLunzer, Aran Croquet CorporationUnited Kingdom Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction System
Christof LödingLöding, Christof RWTH Aachen UniversityGermany 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 WellingtonNew Zealand Student Volunteer Chair in Organizing Committee for SPLASH 2022 Session Chair of Semantics and Analysis (part of APLAS ) Necessity Specifications for Robustness Student Volunteer Chair in Organizers within the SPLASH Student Volunteers-track
Ardi MadadiMadadi, Ardi University of WashingtonUnited States Contextualized Programming Language Documentation In-person student volunteer 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
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark The Principles of the Flix Programming Language
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus UniversityDenmark What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming
Raheel S. MahmoodMahmood, Raheel S. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
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
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States Software Profession Dimensions of Diversity, Equity, and Inclusion Raconteur in Organisers within the SPLASH Panels-track
Louis MandelMandel, Louis IBM ResearchUnited States Translating canonical SQL to imperative code in Coq Semi-symbolic Inference for Efficient Streaming Probabilistic Programming 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
Benjamin MarianoMariano, Benjamin The University of Texas at Austin, Texas, USAUnited States SolType: Refinement Types for Arithmetic Overflow in Solidity
Dylan MarinhoMarinho, Dylan Université de Lorraine; CNRS; Inria; LORIAFrance strategFTO: Untimed Control for Timed Opacity
Rani Rahel MarkusMarkus, Rani Rahel Indonesia Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Runtime (part of SPLASH OOPSLA) Session Chair of Compile (part of SPLASH OOPSLA) Session Chair of Program Synthesis, Testing and Adaptation (part of SPLASH Onward! Papers) Session Chair of Session 1 (part of VMIL) Session Chair of Session 2 (part of VMIL) Session Chair of DLS Talks 1 (part of DLS) Session Chair of Session 2. Language Workbenches and Programming Environments (part of SLE ) Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages Who You Gonna Call: Analyzing the Run-time Call-Site Behavior of Ruby Applications Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems Welcome Notes Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the SLE -track Committee Member in Review Committee within the SPLASH OOPSLA-track
Daniel MarshallMarshall, Daniel University of Kent, UKUnited Kingdom Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Agustín Rafael MartínezMartínez, Agustín Rafael University of Buenos AiresArgentinia A Language Based on Two Relations between Symbols In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Dave MasonMason, Dave Toronto Metropolitan University (formerly Ryerson University)Canada Toward a dynamic language toolkit
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Session Chair of Numerical Static Analyses (part of SAS ) 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 -track Committee Member in Judges within the SPLASH Student Research Competition-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 BatakJava: An Object-Oriented Programming Language with Versions 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
Christoph MathejaMatheja, Christoph ETH Zurich Modular Specification and Verification of Closures in Rust
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Program Committee for APLAS 2022
Toni MattisMattis, Toni University of Potsdam; Hasso Plattner InstituteGermany Partial Parsing for Structured Editors Competitive Debugging: Toward Contests Promoting Debugging as a Skill Competitive Debugging: Toward Contests Promoting Debugging as a Skill
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Reduced Products of Abstract Domains for Fairness Certification of Neural Networks In-person student volunteer in Organizers within the SPLASH Student Volunteers-track Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Mahsa McCauleyMcCauley, Mahsa Auckland University of TechnologyNew Zealand Software Profession Dimensions of Diversity, Equity, and Inclusion
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
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States Composing and decomposing op-based CRDTs with semidirect products
Darya MelicherMelicher, Darya Google A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Marjan MernikMernik, Marjan University of MariborSlovenia Session Chair of Session 7. Grammars, Parsing and Theory (part of SLE ) Committee Member in Program Committee within the SLE -track
Jose MeseguerMeseguer, Jose University of Illinois at Urbana-ChampaignUnited States Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE -track
Roland MeyerMeyer, Roland TU BraunschweigGermany 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 jGuard: Programming Misuse-Resilient APIs
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
Marco MilaneseMilanese, Marco Dipartimento di Matematica, University of Padova, ItalyItaly Local Completeness Logic on Kleene Algebra with Tests
Mae MilanoMilano, Mae University of California at BerkeleyUnited States Researching with Undergraduates: a Curricular Approach Katara: Synthesizing CRDTs with Verified Lifting PhD Life Panel Katara: Synthesizing CRDTs with Verified Lifting Panelist in Speakers & Panelists within the SPLASH PLMW-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Judges within the SPLASH Student Research Competition-track
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
Gary MillerMiller, Gary University of Technology Sydney Conjecturing on a Fundamental Theorem of Computation and its Implications for a New Theory in Programmer Experience Design
Gary MillerMiller, Gary Flowie, a Collaborative Projection Editor
Heather MillerMiller, Heather Carnegie Mellon University, USA Composing and decomposing op-based CRDTs with semidirect products
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States 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 Static Analysis of Endian Portability by Abstract Interpretation Committee Member in Program Committee within the SAS -track
Samim MirhosseiniMirhosseini, Samim North Carolina State University Docable: Towards a Live Learning Environment
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 Proof transfer for fast certification of multiple approximate neural networks A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Ashish MishraMishra, Ashish Purdue UniversityUnited States Specification-Guided Component-Based Synthesis from Effectful Libraries
Pierre Misse-ChanabierMisse-Chanabier, Pierre University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStALFrance Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany About Combining Functional Reactive Programming and Replicated Data Types 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 Behavioral simulation for 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 ResearchSerbia Model Checking for a Multi-Execution Memory Model
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 -track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Shouvick MondalMondal, Shouvick IIT Gandhinagar, IndiaIndia 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 -track
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of SAS Papers 2 (part of SPLASH COVID Time Papers In Person) Lifting Numeric Relational Domains to Algebraic Data Types Stable relations and abstract interpretation of higher-order programs
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 within the SPLASH Student Research Competition-track
Sosuke MoriguchiMoriguchi, Sosuke Tokyo Institute of TechnologyJapan Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
Karla MorrisMorris, Karla Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
Magnus MortonMorton, Magnus HuaweiUnited Kingdom Collection Skeletons: Declarative Abstractions for Data Collections
Raphael MosanerMosaner, Raphael JKU LinzAustria Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models
Peter D. MossesMosses, Peter D. Swansea University and Delft University of TechnologyNetherlands Intrinsically-Typed Definitional Interpreters à la Carte
Jean-Marie MottuMottu, Jean-Marie IMT Atlantique; Nantes Université; École Centrale NantesFrance From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
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 In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
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 Committee Member in Judges within the SPLASH Student Research Competition-track
Ryoya MukaiMukai, Ryoya The University of TokyoJapan Parameterized Recursive Refinement Types for Automated Program Verification
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Program Synthesis Using Example Propagation 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-ChampaignUnited States 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 Improving Vectorization Heuristics in a Dynamic Compiler with Machine Learning Models 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
Birger Møller-PedersenMøller-Pedersen, Birger University of OsloNorway What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming
Peter MüllerMüller, Peter ETH ZurichSwitzerland Modular Specification and Verification of Closures in Rust Fractional Resources in Unbounded Separation Logic
Maximilian MünkerMünker, Maximilian RWTH Aachen UniversityGermany A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players
N Imke Helene NachmannNachmann, Imke Helene RWTH Aachen UniversityGermany Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Matthias NadenauNadenau, Matthias RWTH Aachen UniversityGermany A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players
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-ChampaignUnited States A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles 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 jGuard: Programming Misuse-Resilient APIs
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
Carlos Diego Nascimento DamascenoNascimento Damasceno, Carlos Diego Radboud University Nijmegen, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the SLE -track
Jorge A. NavasNavas, Jorge A. Certora, inc.United States Efficient Modular SMT-Based Model Checking of Pointer Programs Compositional Verification of Smart Contracts Through Communication Abstraction Committee Member in Program Committee within the SAS -track
Joseph P. NearNear, Joseph P. University of VermontUnited States 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
Jens NicolayNicolay, Jens Vrije Universiteit BrusselBelgium FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
Victor NicoletNicolet, Victor Amazon Web ServicesCanada 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
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages
Abel NietoNieto, Abel Aarhus UniversityDenmark Modular Verification of Op-Based CRDTs in Separation Logic
James NobleNoble, James Research & ProgrammingNew Zealand Session Chair of Program Comprehension Tools and Techniques (part of SPLASH Onward! Papers) Session Chair of DLS Talks 2 (part of DLS) Necessity Specifications 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 SoftBankJapan 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 Imperial College LondonUnited 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
Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Holbert: Reading, Writing, Proving and Learning in the Browser Property-Based Testing: Climbing the Stairway to Verification
Peter W. O'HearnO'Hearn, Peter W. Meta; University College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
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 Session Chair of Synthesis I (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Yoshiki OhshimaOhshima, Yoshiki Croquet Corporation, Shizuoka UniversityJapan Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction System Committee Member in Program Committee within the REBLS-track
Oluwakemi OlaOla, Oluwakemi University of British ColumbiaCanada Team Harmony before, during, and after COVID-19
Carlos OlarteOlarte, Carlos CNRS; LIPN; Université Sorbonne Paris NordFrance Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata Committee Member in Program Committee within the FTSCS-track
Anderson OliveiraOliveira, Anderson PUC-RioBrazil Committee Member in Artifact Evaluation Committee within the SLE -track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina A Calculus with Recursive Types, Record Concatenation and Subtyping Applicative Intersection Types Revisiting Iso-Recursive Subtyping 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 Session Chair of Remote Talks (part of HATRA) Contextualized Programming Language Documentation Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the HATRA-track Committee Member in Judges within the SPLASH Student Research Competition-track
Radoslav OrlovOrlov, Radoslav RWTH Aachen University Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
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
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance Static Analysis of Endian Portability by Abstract Interpretation
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Committee Member in Program Committee within the SPLASH Onward! Essays-track
André PacakPacak, André JGU MainzGermany Incremental Processing of Structured Data in Datalog
Oded PadonPadon, Oded VMware ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States Type-Directed Synthesis of Visualizations from Natural Language Queries
Abhinandan PalPal, Abhinandan IIIT KalyaniIndia Qiwi: A Beginner Friendly Quantum Language
Catuscia PalamidessiPalamidessi, Catuscia INRIA and LIX Committee Member in Program Committee within the FTSCS-track
Krishna PalemPalem, Krishna Rice UniversityUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Matteo PaltenghiPaltenghi, Matteo University of Stuttgart, GermanyGermany Bugs in Quantum computing platforms: an empirical study
Sebastien PalumbyPalumby, Sebastien Ecole Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Optimal Heap Limits for Reducing Browser Memory Use
Sheng-Ying PaoPao, Sheng-Ying National Tsing Hua UniversityTaiwan Software Profession Dimensions of Diversity, Equity, and Inclusion
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom Committee Member in Organizing Committee within the VMIL-track
Jihyeok ParkPark, Jihyeok OracleAustralia 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
Jiwon ParkPark, Jiwon In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Chris ParninParnin, Chris North Carolina State UniversityUnited States Docable: Towards a Live Learning Environment
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 Hong Kong University of Science and Technology MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning Committee Member in Reviewers within the SPLASH Student Research Competition-track Committee Member in 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. ConsenSysUnited States Language Design meets Verifying Compilers Putting the Semantics into Semantic Versioning 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 MarylandUnited States 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 AucklandNew Zealand Modelling the Quantification of Technical Debt
Ahsan PervaizPervaiz, Ahsan University of ChicagoUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Erez PetrankPetrank, Erez TechnionIsrael Concurrent Size
Tomas PetricekPetricek, Tomas Charles University Interaction vs. Abstraction: Managed Copy and Paste Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System Organizer in Onward! Steering Committee within the SPLASH Onward! Essays-track Organizer in Onward! Steering Committee within the SPLASH Onward! Papers-track
Laure PetrucciPetrucci, Laure CNRS; LIPN; Université Sorbonne Paris NordFrance Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Tobias PettPett, Tobias TU BraunschweigGermany Generic Solution-Space Sampling for Multi-domain Product Lines
Lucas PeñaPeña, Lucas University of Illinois at Urbana-ChampaignUnited States Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Siraphob PhipathananunthPhipathananunth, Siraphob Vanderbilt UniversityUnited States Using Mutations to Analyze Formal Specifications
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google ResearchUnited States 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 Some Problems with Properties: A Study on Property-Based Testing in Industry 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 HuaweiUnited Kingdom 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
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Certifying the Synthesis of Heap-Manipulating Programs
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
Samuel D. PollardPollard, Samuel D. Sandia National LaboratoriesUnited States Q: A Sound Verification Framework for Statecharts and Their Implementations
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany CAAT: Consistency as a Theory
Adrian PopPop, Adrian Linköping UniversitySweden Property Probes: Source Code Based Exploration of Program Analysis Results
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2022 General Chair in Organizing Committee for SPLASH 2022 Session Chair of Opening and Welcome (part of SPLASH Opening and Welcome) Committee Member in Overview Committee within the SPLASH COVID Time Papers In Person-track
Hannah PotterPotter, Hannah University of WashingtonUnited States Contextualized Programming Language Documentation In-person student volunteer in Organizers within the SPLASH Student Volunteers-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 at BerkeleyUnited States Katara: Synthesizing CRDTs with Verified Lifting Katara: Synthesizing CRDTs with Verified Lifting
Michael PradelPradel, Michael University of StuttgartGermany Bugs in Quantum computing platforms: an empirical study
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis 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 IIIT DelhiIndia The Road Not Taken: Exploring Alias Analysis Based Optimizations Missed by the Compiler
Sylvie PutotPutot, Sylvie École Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
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
George PîrleaPîrlea, George National University of Singapore, Singapore Practical Smart Contract Sharding with Ownership and Commutativity Analysis Certifying the Synthesis of Heap-Manipulating Programs In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Q Xiaokang QiuQiu, Xiaokang Purdue University, USAUnited States Bootstrapping Library-Based Synthesis Mentor in Mentors within the SPLASH PLMW-track Committee Member in Judges within the SPLASH Student Research Competition-track
Zhemin QuQu, Zhemin University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jenny QuillienQuillien, Jenny Independent ScholarNetherlands Conferences & Остраннeние: Shortchanging Topos and Ourselves
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Gabriel RadanneRadanne, Gabriel InriaFrance Kindly Bent to Free Us
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Overwatch: Learning Patterns in Code Edit Sequences
Ivan RadičekRadiček, Ivan MicrosoftUnited States 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 UniversityUnited States 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 -track
Moeketsi RaselimoRaselimo, Moeketsi Stellenbosch University, South AfricaSouth Africa Automatic Grammar Repair Grammar-based testing for little languages: an experience report with student compilers
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Blake C. RawlingsRawlings, Blake C. Sandia National Laboratories Q: A Sound Verification Framework for Statecharts and Their Implementations
Mohammad RazaRaza, Mohammad MicrosoftCanada Overwatch: Learning Patterns in Code Edit Sequences
Steve ReevesReeves, Steve University of WaikatoNew Zealand Modelling a Blockchain for Smart Contract Verification using DeepSEA 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 University of Potsdam; Hasso Plattner InstituteGermany Partial Parsing for Structured Editors Competitive Debugging: Toward Contests Promoting Debugging as a Skill Competitive Debugging: Toward Contests Promoting Debugging as a Skill Digital Crochet: Toward a Visual Language for Pattern Description 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-MadisonUnited States Synthesizing Abstract Transformers
Ralf ReussnerReussner, Ralf KITGermany Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
Alban ReynaudReynaud, Alban ENS LyonFrance Modular Verification of Op-Based CRDTs in Separation Logic
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Forest: Structural Code Editing with Multiple Cursors Intramorphic Testing: A New Approach to the Test Oracle Problem Committee Member in Reviewers within the SPLASH Student Research Competition-track
Anton Risberg AlakülaRisberg Alaküla, Anton Lund UniversitySweden Property Probes: Source Code Based Exploration of Program Analysis Results
Nico RitschelRitschel, Nico University of British ColumbiaCanada Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment
Fabian RitterRitter, Fabian Saarland University, Germany PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Property-Based Testing: Climbing the Stairway to Verification Mentor in Mentors within the SPLASH PLMW-track
Vic RobertsRoberts, Vic In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Humberto Rodriguez AvilaRodriguez Avila, Humberto Vrije Universiteit BrusselBelgium FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Committee Member in Program Committee within the FTSCS-track
Théo RoglianoRogliano, Théo University of Lille; Inria; CNRS; Centrale Lille; UMR 9189 CRIStALFrance Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers
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
Andrea RosàRosà, Andrea USI LuganoSwitzerland SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine
Arjen RouvoetRouvoet, Arjen Delft University of TechnologyNetherlands Intrinsically-Typed Definitional Interpreters à la Carte
Subhajit RoyRoy, Subhajit IIT KanpurIndia Session Chair of Invariant and Program Synthesis (part of SAS ) Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing Symbolic Execution for Randomized Programs Synthesizing Abstract Transformers Committee Member in Judges within the SPLASH Student Research Competition-track
Sudip RoyRoy, Sudip Cohere.aiUnited States Neural Architecture Search using Property Guided Synthesis
Michaël ROYNARDROYNARD, Michaël EPITA Research LaboratoryFrance A Modern C++ Point of View of Programming in Image Processing
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
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 In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Static analysis of ReLU neural networks with tropical polyhedra
Fredrik RømmingRømming, Fredrik University of OsloNorway Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
S Julin SS, Julin Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Simmo SaanSaan, Simmo University of Tartu, Estonia Improving Thread-Modular Abstract Interpretation
Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Hannes SaffrichSaffrich, Hannes University of Freiburg Kindly Bent to Free Us
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden Grammar-based testing for little languages: an experience report with student compilers
Ryuichi SaiSai, Ryuichi Rice UniversityUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Ken SakayoriSakayori, Ken University of BolognaItaly Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
Georgios SakkasSakkas, Georgios University of California at San DiegoUnited States 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 University of Massachusetts at AmherstUnited States Data-Driven Lemma Synthesis for Interactive Proofs
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Static analysis of ReLU neural networks with tropical polyhedra
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 USI LuganoSwitzerland 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 Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
Shigeyuki SatoSato, Shigeyuki 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 KITGermany Model-based Fault Classification for Automotive Software Generic Solution-Space Sampling for Multi-domain Product Lines
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Committee Member in Program Committee within the GPCE -track
Filippo SchiavioSchiavio, Filippo USI LuganoSwitzerland SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API
Maximilian SchiedermeierSchiedermeier, Maximilian McGill UniversityCanada FIDDLR: streamlining reuse with concern-specific modelling languages
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Committee Member in Program Committee within the SAS -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 Session Chair of GPCE Session 4 (part of GPCE )
Bernhard ScholzScholz, Bernhard The University of Sydney Session Chair of GPCE Keynote (part of GPCE Keynote)
Bernhard ScholzScholz, Bernhard University of SydneyAustralia Commercial-Grade Static Analyzers in Datalog
Bernhard ScholzScholz, Bernhard The University of Sydney Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
Bernhard ScholzScholz, Bernhard University of SydneyAustralia 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 DenmarkDenmark Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing 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
Michael SchwarzSchwarz, Michael Technische Universität München Improving Thread-Modular Abstract Interpretation
Max SchöningSchöning, Max Potluck: dynamic documents as personal software
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
Helmut SeidlSeidl, Helmut Technische Universität München Improving Thread-Modular Abstract Interpretation Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
Martina SeidlSeidl, Martina Johannes Kepler University LinzAustria Committee Member in Program Committee within the FTSCS-track
Klara SeitzSeitz, Klara University of Potsdam; Hasso Plattner InstituteGermany Digital Crochet: Toward a Visual Language for Pattern Description
Gal SelaSela, Gal TechnionIsrael Concurrent Size
Benjamin Selwyn-SmithSelwyn-Smith, Benjamin Oracle Labs Blocks, Blocks, and More Blocks-Based Programming
Srinivasan H. SengameduSengamedu, Srinivasan H. AmazonUnited States Synthesizing Code Quality Rules from Examples
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 Session Chair of Synthesis III (part of SPLASH OOPSLA) Session Chair of Keynote (part of APLAS ) Practical Smart Contract Sharding with Ownership and Commutativity Analysis Certifying the Synthesis of Heap-Manipulating Programs
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance Highly Illogical, Kirk: Spotting Type Mismatches in the Large Despite Broken Contracts, Unsound Types, and Too Many Linters
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Session Chair of Session 6. Language Implementation, Debugging and Optimization (part of SLE ) Discussion The 4 horsemen of unsoundness in OO languages Welcome to Unsound 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 Deep Fusion for Efficient Nested Recursive Computations Functional collection programming with semi-ring dictionaries Committee Member in Program Committee within the GPCE -track
Zhong ShaoShao, Zhong Yale UniversityUnited States Session Chair of Blockchain (part of SPLASH OOPSLA) Session Chair of Types (part of SPLASH OOPSLA) 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 UniversityIsrael 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
Pranjal SharmaSharma, Pranjal University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Mary ShawShaw, Mary Carnegie Mellon UniversityUnited States Myths and Mythconceptions: What does it mean to be a programming language, anyhow?
I-Chao ShenShen, I-Chao Education-aware Interactive Machine Teaching: Training Autonomous Game Agents
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
Paul ShenShen, Paul Potluck: dynamic documents as personal software
Pranav ShenoyShenoy, Pranav University of UtahUnited States Optimal Heap Limits for Reducing Browser Memory Use
David C. ShepherdShepherd, David C. Virginia Commonwealth UniversityUnited States Can Guided Decomposition Help End-Users Write Larger Block-Based Programs? A Mobile Robot Experiment 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 Ant GroupChina Complexity-guided container replacement synthesis Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Yuanfeng ShiShi, Yuanfeng Peking UniversityChina Oracle-Free Repair Synthesis for Floating-Point Programs
Tigist ShiferawShiferaw, Tigist Addis Ababa Institute of TechnologyEthiopia Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
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
Tsubasa ShoshiShoshi, Tsubasa Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
Xujie SiSi, Xujie McGill University, Canada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2022 Session Chair of SPLASH Posters (part of SPLASH Posters) Novice Type Error Diagnosis with Natural Language Models Tidyparse: Real-Time Context Free Error Correction 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 -track
Violetta SimSim, Violetta Innopolis UniversityUzbekistan Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Jerome SimeonSimeon, Jerome DocuSign, Inc.United States Translating canonical SQL to imperative code in Coq
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Session Chair of SPLASH Keynote (part of SPLASH Keynotes) Session Chair of Session 1 (part of SPLASH Onward! Essays) Session Chair of Future Programming Languages and Tools (1) (part of SPLASH Onward! Papers) Session Chair of Future Programming Languages and Tools (2) (part of SPLASH Onward! Papers) PC Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Chair in Program Committee within the SPLASH Onward! Essays-track
Edwin SinghSingh, Edwin In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States SAS Co-Chair in Organizing Committee for SPLASH 2022 Program Co-Chair in Organizing Committee for SAS 2022 Session Chair of Keynote 3 (part of SAS ) Session Chair of Keynote 2, Radhia Cousot Award, PC Chairs Report (part of SAS ) Session Chair of Keynote 1 (part of SAS ) Radhia Cousot Award PC Chairs Report Scalable Verification of GNN-Based Job Schedulers Proof transfer for fast certification of multiple approximate neural networks A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation Mentor in Mentors within the SPLASH PLMW-track Co-chair in Program Committee within the SAS -track
David SirkinSirkin, David Stanford UniversityUnited States Committee Member in Program Committee within the PAINT-track
Aishwarya SivaramanSivaraman, Aishwarya University of California at Los AngelesUnited States Data-Driven Lemma Synthesis for Interactive Proofs
Vilhelm SjöbergSjöberg, Vilhelm CertiKUnited States Provably Correct Smart Contracts: An Approach using DeepSEA
Alexander SjöstenSjösten, Alexander TU WienAustria SecWasm: Information Flow Control for WebAssembly
Alex SloleySloley, Alex Agile TwistAustralia Software Profession Dimensions of Diversity, Equity, and Inclusion
Sally SloleySloley, Sally Visual Agile ManagementAustralia Software Profession Dimensions of Diversity, Equity, and Inclusion
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in Steering Committee for SPLASH 2022 Elipmoc: advanced decompilation of Ethereum smart contracts Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Symbolic value-flow static analysis: deep, precise, complete modeling 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
David SmithSmith, David Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction System
Jaclyn SmithSmith, Jaclyn Oxford UniversityUnited Kingdom Functional collection programming with semi-ring dictionaries
Jeff SmitsSmits, Jeff Delft University of TechnologyNetherlands Optimising First-Class Pattern Matching In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
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 Shanghai Jiao Tong UniversityChina Scalable Linear Invariant Generation with Farkas’ Lemma
Linhai SongSong, Linhai Pennsylvania State UniversityUnited States Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Ryan SongSong, Ryan University of TorontoCanada SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Yahui SongSong, Yahui National University of SingaporeSingapore Automated Temporal Verification for Algebraic Effects Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm
Paul SonnentagSonnentag, Paul Potluck: dynamic documents as personal software
Matthew SotoudehSotoudeh, Matthew Stanford University Session Chair of Onward! Papers and Essays (part of SPLASH COVID Time Papers In Person) A Survey of Weak Reasoning Assistants System-Specific Interpreters Make Megasystems Friendlier Abstract Neural Networks
Salwa SouafSouaf, Salwa CEA List Committee Member in Artifact Evaluation Committee for APLAS 2022
Jonas SpengerSpenger, Jonas KTH Royal Institute of TechnologySweden Portals: An Extension of Dataflow Streaming for Stateful Serverless
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 -track
Caleb StanfordStanford, Caleb University of California, Davis Committee Member in Reviewers 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
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany The Semantics of Plurals
Adam SteinStein, Adam University of Pennsylvania Some Problems with Properties: A Study on Property-Based Testing in Industry
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SAS -track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Collection Skeletons: Declarative Abstractions for Data Collections
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia 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 Bridging the Syntax-Semantics Gap of Programming Forest: Structural Code Editing with Multiple Cursors Intramorphic Testing: A New Approach to the Test Oracle Problem 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 New South Wales, SydneyAustralia Taming Transitive Redundancy for Context-Free Language Reachability
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Modular Specification and Verification of Closures in Rust
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 In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
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
Chico SundermannSundermann, Chico University of UlmGermany Generic Solution-Space Sampling for Multi-domain Product Lines
Gerson SunyéSunyé, Gerson University of NantesFrance Partial Loading of Repository-Based Models through Static Analysis
Gerson SunyéSunyé, Gerson IMT Atlantique; Nantes Université; École Centrale NantesFrance From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Zachary SusagSusag, Zachary Cornell UniversityUnited States Symbolic Execution for Randomized Programs
Partha SusarlaSusarla, Partha IndependentAustralia Property-Based Testing: Climbing the Stairway to Verification
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands How to trust a verified program?
Tamás SzabóSzabó, Tamás GitHubGermany Incremental Processing of Structured Data in Datalog Committee Member in Program Committee within the SLE -track
Juan Pablo SáenzSáenz, Juan Pablo Politecnico di TorinoItaly Suppose You Had Blocks within a Notebook Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Organizer in Organizing Committee within the PAINT-track Committee Member 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 SingaporeSingapore ARENA: Enhancing Abstract Refinement for Neural Network Verification
Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany Toward a VR-Native Live Programming Environment Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials
Walid TahaTaha, Walid Committee Member in Program Committee within the SLE -track
Sofiene TaharTahar, Sofiene Concordia UniversityCanada Formal Probabilistic Risk Assessment of a Nuclear Power Plant 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
TalinTalin Dynamic Pattern Matching with Python
Bryan TanTan, Bryan United States SolType: Refinement Types for Arithmetic Overflow in Solidity
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan BatakJava: An Object-Oriented Programming Language with Versions
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
Hanneli TavanteTavante, Hanneli McGill University Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Review Committee within the SPLASH OOPSLA-track
Aditya V. ThakurThakur, Aditya V. University of California at DavisUnited States Abstract Neural Networks
Manas ThakurThakur, Manas IIT BombayIndia Session Chair of OOPSLA Papers (part of SPLASH COVID Time Papers In Person) Principles of Staged Static+Dynamic Partial Analysis How (Not) To Write Java Pointer Analyses After 2020
Theodoros TheodoridisTheodoridis, Theodoros ETH ZurichSwitzerland Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of Effects (part of SPLASH OOPSLA) Session Chair of SLE papers (part of SPLASH COVID Time Papers In Person) Session Chair of ICFP and SAS (part of SPLASH COVID Time Papers In Person) Label dependent lambda calculus and gradual typing Kindly Bent to Free Us
Sverrir ThorgeirssonThorgeirsson, Sverrir ETH ZurichSwitzerland Bridging the Syntax-Semantics Gap of Programming
Thomas ThümThüm, Thomas University of UlmGermany Generic Solution-Space Sampling for Multi-domain Product Lines
Clemens TiedtTiedt, Clemens University of Potsdam; Hasso Plattner InstituteGermany Toward a VR-Native Live Programming Environment
Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of Afternoon 1 (part of SPLASH -E) 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 -track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Virgil as a Systems Programming Language 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 Session Chair of Mentoring Session - Tuesday (part of SPLASH PLMW) Session Chair of Session 1 (part of SPLASH PLMW) Session Chair of Mentoring Session - Wednesday (part of SPLASH PLMW) Session Chair of Session 4 (part of SPLASH PLMW) Session Chair of Session 3 (part of SPLASH PLMW) PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Guillaume TochonTochon, Guillaume EPITA Research LaboratoryFrance The Cost of Dynamism in Static Languages for Image Processing
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
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal Derivations with Holes for Concept-Based Program Synthesis
Matías ToroToro, Matías University of Chile Plausible sealing for gradual parametricity
Van-Dang TranTran, Van-Dang National Institute of Informatics, Japan A Counterexample-Guided Debugger for Non-Recursive Datalog
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track
Richard TreflerTrefler, Richard University of Waterloo, Canada Compositional Verification of Smart Contracts Through Communication Abstraction
Konstantinos TriantafyllouTriantafyllou, Konstantinos ETH Zurich Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
Alix TrieuTrieu, Alix ANSSIFrance Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Danilo TrottaTrotta, Danilo RWTH Aachen UniversityGermany Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Ilias TsatirisTsatiris, Ilias University of AthensGreece Elipmoc: advanced decompilation of Ethereum smart contracts Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
Takeshi TsukadaTsukada, Takeshi Chiba UniversityJapan A New Refinement Type System for Automated nu-HFLZ Validity Checking Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination Software Model-Checking as Cyclic-Proof Search
Michele TucciTucci, Michele Charles UniversityCzechia Committee Member in Artifact Evaluation Committee within the SLE -track
Petr TumaTuma, Petr Charles UniversityCzechia Committee Member in Organizing Committee within the VMIL-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States signatr: A Data-Driven Fuzzing Tool for R
U Anderson UchôaUchôa, Anderson Federal University of CearáBrazil Committee Member in Artifact Evaluation Committee within the SLE -track
Sota UenoUeno, Sota Oita UniversityJapan Distributed Persistent Signals: Architecture and Implementation
Shubham UgareUgare, Shubham University of Illinois at Urbana-ChampaignUnited States Proof transfer for fast certification of multiple approximate neural networks A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation
Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
Qurat Ul Ain AliUl Ain Ali, Qurat University of YorkUnited Kingdom Selective Traceability for Rule-Based Model-to-Model Transformations
Hiroshi UnnoUnno, Hiroshi University of Tsukuba; RIKEN AIPJapan Software Model-Checking as Cyclic-Proof Search
Brian UptonUpton, Brian Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction System
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 Session Chair of SPLASH Posters (part of SPLASH Posters) Session Chair of Keynote 3 (part of SAS ) Session Chair of Keynote 2, Radhia Cousot Award, PC Chairs Report (part of SAS ) Session Chair of Keynote 1 (part of SAS ) Radhia Cousot Award PC Chairs Report Reduced Products of Abstract Domains for Fairness Certification of Neural Networks Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Co-chair in Program Committee within the SAS -track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Model Checking for a Multi-Execution Memory Model
Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SLE -track
José ValimValim, José Dashbit Meta-programmable functional notebooks with Livebook
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of TechnologyNetherlands Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers Language-parametric static semantic code completion
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands iCoLa: A Compositional Meta-language with Support for Incremental Language Development A Language-Parametric Approach to Exploratory Programming Environments
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 TechnologyNetherlands Intrinsically-Typed Definitional Interpreters à la Carte
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands A Language-Parametric Approach to Exploratory Programming Environments Gradual Grammars: Syntax in Levels and Locales 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
Peter van Hardenbergvan Hardenberg, Peter Ink & Switch Searching for Life
Phillip van Heerdenvan Heerden, Phillip Stellenbosch University Grammar-based testing for little languages: an experience report with student compilers
Guido van Rossumvan Rossum, Guido Python Software Foundation Dynamic Pattern Matching with Python
Riemer van Rozenvan Rozen, Riemer CWINetherlands Cascade: a Meta-Language for Change, Cause and Effect
Louise Van VerreVan Verre, Louise Vrije Universiteit BrusselBelgium FLOREnce: A Hybrid Logic-Functional Reactive Programming Language
Koen van Wijkvan Wijk, Koen ICTNetherlands Workbench for Creating Block-Based Environments
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, 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 TorontoCanada SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Suppose You Had Blocks within a Notebook Workbench for Creating Block-Based Environments A Language-Parametric Approach to Exploratory Programming Environments Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Organizer in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track Committee Member in Artifact Evaluation Committee within the SLE -track
Didier VernaVerna, Didier EPITA Research LaboratoryFrance The Cost of Dynamism in Static Languages for Image Processing
Jules VillardVillard, Jules MetaUnited Kingdom Finding real bugs in big programs with incorrectness logic
Kasozi VincentVincent, Kasozi Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
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 TechnologyNetherlands Steering Committee Member in Steering Committee for SPLASH 2022 Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers Language-parametric static semantic code completion Intrinsically-Typed Definitional Interpreters à la Carte
Sandhya ViswanathanViswanathan, Sandhya Intel Committee Member in Organizing Committee within the VMIL-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Committee Member in Steering Committee for SPLASH 2022 OOPSLA Review Committee Co-Chair in Organizing Committee for SPLASH 2022 Session Chair of Session 1 (part of SPLASH V-OOPSLA) Session Chair of SPLASH Keynote (part of SPLASH Keynotes) Session Chair of Quantum (part of SPLASH OOPSLA) signatr: A Data-Driven Fuzzing Tool for R 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 MarylandUnited States Verified Compilation of Quantum Oracles
Philippe VoinovVoinov, Philippe ETH ZurichSwitzerland Forest: Structural Code Editing with Multiple Cursors
Vesal VojdaniVojdani, Vesal University of Tartu Improving Thread-Modular Abstract Interpretation
W Guido WachsmuthWachsmuth, Guido Oracle LabsSwitzerland A Multi-target, Multi-paradigm DSL Compiler for Algorithmic Graph Processing
Louis WachtmeisterWachtmeister, Louis RWTH Aachen UniversityGermany Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE
Gabriel A. WainerWainer, Gabriel A. Carleton UniversityCanada Data Science Pedagogy to Support Industry, Governmental, and Research Initiatives
Chenglong WangWang, Chenglong Microsoft Researchn.n. Type-Directed Synthesis of Visualizations from Natural Language Queries
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis Complexity-guided container replacement synthesis In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Jingbo WangWang, Jingbo University of Southern California Committee Member in Reviewers within the SPLASH Student Research Competition-track
Mingzhe WangWang, Mingzhe Princeton UniversityUnited States Oracle-Free Repair Synthesis for Floating-Point Programs
Xinyu WangWang, Xinyu University of MichiganUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yongchao WANGWANG, Yongchao Hong Kong University of Science and TechnologyChina Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring Committee Member in Reviewers within the SPLASH Student Research Competition-track
Jos WarmerWarmer, Jos IndependentNetherlands Freon: An Open Web Native Language Workbench
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the REBLS-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Session Chair of Session 1. Modeling Languages and Transformation (part of SLE ) Session Chair of Session 2 (part of REBLS) Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems Committee Member in Program Committee within the REBLS-track
Yasunari WatanabeWatanabe, Yasunari Ahrefs ResearchSingapore Certifying the Synthesis of Heap-Manipulating Programs
Radosław WaśkoWaśko, Radosław University of WarsawPoland A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Nick WebsterWebster, Nick Victoria University of Wellington In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
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
Theo B. WeidmannWeidmann, Theo B. ETH ZurichSwitzerland Bridging the Syntax-Semantics Gap of Programming
Matthew WeidnerWeidner, Matthew Carnegie Mellon UniversityUnited States Composing and decomposing op-based CRDTs with semidirect products In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Westley WeimerWeimer, Westley University of MichiganUnited States Seq2Parse: Neurosymbolic Parse Error Repair
Matthew Edwin WeingartenWeingarten, Matthew Edwin ETH Zurich; Oracle LabsSwitzerland Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland PC Chair in Program Committee within the REBLS-track
Scott WesleyWesley, Scott University of Waterloo, Canada Compositional Verification of Smart Contracts Through Communication Abstraction
Thomas WiesWies, Thomas New York UniversityUnited States A Concurrent Program Logic with a Future and History
Christian WimmerWimmer, Christian Oracle LabsUnited States Invited Talk: A decade of Self-Optimizing Interpreters in GraalVM
Manuel WimmerWimmer, Manuel JKU LinzAustria From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Tobias WinklerWinkler, Tobias RWTH Aachen UniversityGermany Weighted programming: a programming paradigm for specifying mathematical models
Fabian WolffWolff, Fabian Modular Specification and Verification of Closures in Rust
Sebastian WolffWolff, Sebastian New York UniversityUnited States Model-based Fault Classification for Automotive Software A Concurrent Program Logic with a Future and History
Dakota WongWong, Dakota University of Waterloo Exploring the Verifiability of Code Generated by GitHub Copilot
Andreas WortmannWortmann, Andreas University of Stuttgart Committee Member in Program Committee within the SLE -track
Haoze WuWu, Haoze Stanford UniversityUnited States Scalable Verification of GNN-Based Job Schedulers
Xiaodi WuWu, Xiaodi University of MarylandUnited States Verified Compilation of Quantum Oracles
Valentin WüstholzWüstholz, Valentin ConsenSysGermany Compositional Verification of Smart Contracts Through Communication Abstraction
X Li-yao XiaXia, Li-yao University of Pennsylvania C4: verified transactional objects
Ningning XieXie, Ningning University of Cambridge / University of TorontoUnited Kingdom Applicative Intersection Types First-class Names for Effect Handlers Committee Member in Reviewers within the SPLASH Student Research Competition-track
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
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles
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
Pengbo YanYan, Pengbo University of Melbourne In-person student volunteer in Organizers within the SPLASH Student Volunteers-track
Rem YangYang, Rem University of Illinois at 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
Yao Hsiang YangYang, Yao Hsiang Rice UniversityUnited States GOAL: Supporting General and Dynamic Adaptation in Computing Systems
Ziyi YangYang, Ziyi National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022
Peisen YaoYao, Peisen 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
Poyraz YılanYılan, Poyraz Remote Student Volunteer in Organizers within the SPLASH Student Volunteers-track
Akihiko YokoyamaYokoyama, Akihiko Tokyo Institute of TechnologyJapan Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems
Man-Ki YoonYoon, Man-Ki Yale UniversityUnited States Compositional Virtual Timelines: Verifying Dynamic-Priority Partitions with Algorithmic Temporal Isolation
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid
Nengkun YuYu, Nengkun Stony Brook University, USAUnited States Committee Member in Program Committee for APLAS 2022 Invited Speaker in Invited Speakers for SAS 2022 Towards Efficient Reasoning of Quantum Programs On incorrectness logic for Quantum programs
zhiyong yuyu, zhiyong Shanghai Jiao Tong UniversityChina Scalable Linear Invariant Generation with Farkas’ Lemma
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Tower: Data Structures in Quantum Superposition Tower: Data Structures in Quantum Superposition Semi-symbolic Inference for Efficient Streaming Probabilistic Programming Semi-symbolic Inference for Efficient Streaming Probabilistic Programming Mentor in Mentors within the SPLASH PLMW-track
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 UniversityChina Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Taming Transitive Redundancy for Context-Free Language Reachability
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track
Yedi ZhangZhang, Yedi ShanghaiTech UniversityChina CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks
Yicheng ZhangZhang, Yicheng University of Michigan at Ann ArborUnited States Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Yuhao ZhangZhang, Yuhao University of Wisconsin-MadisonUnited States Overwatch: Learning Patterns in Code Edit Sequences
Chunqi ZhaoZhao, Chunqi Education-aware Interactive Machine Teaching: Training Autonomous Game Agents
Jinxu ZhaoZhao, Jinxu University of Hong Kong Revisiting Iso-Recursive Subtyping
Tian ZhaoZhao, Tian University of Wisconsin-MilwaukeeUnited States Semantics of RxJS 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 TorontoCanada SigVM: Enabling Event-Driven Execution for Truly Decentralized Smart Contracts
Yuyi ZhongZhong, Yuyi National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee for APLAS 2022 ARENA: Enhancing Abstract Refinement for Neural Network Verification
Litao ZhouZhou, Litao Shanghai Jiao Tong UniversityChina Foundationally Sound Annotation Verifier via Control Flow Splitting
Yaoda ZhouZhou, Yaoda University of Hong KongChina A Calculus with Recursive Types, Record Concatenation and Subtyping Revisiting Iso-Recursive Subtyping
Yi ZhouZhou, Yi Carnegie Mellon University Linear types for large-scale systems verification
Fengmin ZhuZhu, Fengmin MPI-SWSGermany 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 UniversityUnited States 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 Session Chair of Mentoring Session - Tuesday (part of SPLASH PLMW) Session Chair of Mentoring Session - Wednesday (part of SPLASH PLMW) 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 GenoaItaly 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 TechnologyNetherlands Specializing Scope Graph Resolution Queries Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata 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 (1144)

Tracks

Co-hosted Conferences

Workshops