SPLASH 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1143)

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 Derivations with Holes for Concept-Based Program Synthesis A Case Study in Language-Based Security: Building an I/O Library for Wyvern 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 TU WienAustria 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 Blocks, Blocks, and More Blocks-Based Programming Towards a Python 3 IDE for Teaching Creative 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 Intrinsically-Typed Definitional Interpreters à la Carte Language-parametric static semantic code completion
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 Team Harmony before, during, and after COVID-19 Evaluating the Quality of Student-Written Software Tests with Curated Mutation Analysis 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 Vision: the next 700 language workbenches Manipulating GUI Structures Declaratively 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 Programming Abstractions and Interactive Tools, Notations, and Environments (PAINT) Competitive Debugging: Toward Contests Promoting Debugging as a Skill 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 Welcome to Unsound What do we mean by "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 Modular Verification of Op-Based CRDTs in Separation Logic Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities 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 The Cost of Dynamism in Static Languages for Image Processing A Modern C++ Point of View of Programming in 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) First-class Names for Effect Handlers Mio: A Block-Based Environment for Program Design 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şil DilligDillig, Işil University of Texas at AustinUnited States Session Chair of Testing and Maintenance (part of SPLASH OOPSLA) Type-Directed Synthesis of Visualizations from Natural Language Queries Synthesizing fine-grained synchronization protocols for implicit monitors SolType: Refinement Types for Arithmetic Overflow in Solidity Automated transpilation of imperative to functional code using neural-guided program synthesis Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shuo DingDing, Shuo Georgia Institute of 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) BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs Finding real bugs in big programs with incorrectness logic Proving Hypersafety Compositionally 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 Type-Directed Synthesis of Visualizations from Natural Language Queries Automated transpilation of imperative to functional code using neural-guided program synthesis
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 ) A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency Proving Hypersafety Compositionally 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 SolType: Refinement Types for Arithmetic Overflow in Solidity Automated transpilation of imperative to functional code using neural-guided program synthesis Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the SAS -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
Robby FindlerFindler, Robby 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
Dan FruminFrumin, Dan 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 PhD Life Panel Certifying the Synthesis of Heap-Manipulating Programs 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) Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Elipmoc: advanced decompilation of Ethereum smart contracts 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 Seq2Parse: Neurosymbolic Parse Error Repair Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials
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 Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud LoRe: Local-First Reactive Programming with Verified Safety Guarantees
Thomas HaasHaas, Thomas TU BraunschweigGermany CAAT: Consistency as a Theory
Houssem HachmaouiHachmaoui, Houssem Translating canonical SQL to imperative code in Coq
Sebastian HackHack, Sebastian Saarland University, Germany AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization
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 AmazonUnited States C to checked C by 3c
Michael HicksHicks, Michael University of Maryland; AmazonUnited States Verified Compilation of Quantum Oracles 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 Digital Crochet: Toward a Visual Language for Pattern Description 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 Competitive Debugging: Toward Contests Promoting Debugging as a Skill 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 Interleaved 2D Notation for Concatenative Programming Domain-Specific Visual Language for Data Engineering Quality Blocks, Blocks, and More Blocks-Based 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
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
Anastasiia IzychevaIzycheva, Anastasiia Technical University of MunichGermany Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
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 Warwick 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 Reasoning about Distributed Reconfigurable Systems Weighted programming: a programming paradigm for specifying mathematical models
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 Partial Loading of Repository-Based Models through Static Analysis Selective Traceability for Rule-Based Model-to-Model Transformations 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 Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Elipmoc: advanced decompilation of Ethereum smart contracts 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 K. LahiriLahiri, Shuvendu K. 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 Live Programming (LIVE) Codehound: Helping Instructors Track Pedagogical Code Dependencies in Course Materials Committee Member in Organizing Committee within the LIVE-track
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States A General Construction for Abstract Interpretation of Higher-Order Automatic Differentiation Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the GPCE -track
Quang Loc LeLe, Quang Loc University College LondonUnited Kingdom Finding real bugs in big programs with incorrectness logic
Vu LeLe, Vu MicrosoftUnited States Neurosymbolic Repair for Low-Code Formula Languages
Xuan-Bach LeLe, Xuan-Bach Nanyang Technological UniversitySingapore Committee Member in Program Committee for APLAS 2022
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Organizing Committee within the VMIL-track
Edward LeeLee, Edward University of WaterlooCanada Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
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 Synthesizing Axiomatizations using Logic Learning Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints 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 The University of Texas at Austin, Texas, USAUnited States SolType: Refinement Types for Arithmetic Overflow in Solidity
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States Automated transpilation of imperative to functional code using neural-guided program synthesis
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 Welcome Notes Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems 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 A Concurrent Program Logic with a Future and History CAAT: Consistency as a Theory
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 Katara: Synthesizing CRDTs with Verified Lifting PhD Life Panel Katara: Synthesizing CRDTs with Verified Lifting Researching with Undergraduates: a Curricular Approach 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 Synthesizing Axiomatizations using Logic Learning Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
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. Sandi