SPLASH 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1326)

( Ruanqianqian (Lisa) Huang(Lisa) Huang, Ruanqianqian University of California, San DiegoUnited States Unfolding State Changes via Live State-First Debugging
A Rosa Abbasi BoroujeniAbbasi Boroujeni, Rosa Max Planck Institute for Software SystemsGermany Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
Supun AbeysingheAbeysinghe, Supun Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Dave AbrahamsAbrahams, Dave AdobeUnited States Borrow checking Hylo
Rui AbreuAbreu, Rui Faculty of Engineering, University of PortoUnited States GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Sharing a Perspective on the lambda-Calculus
Sara AchourAchour, Sara Stanford UniversityUnited States Hardware-Aware Static Optimization of Hyperdimensional Computations
Omer S. AgacanAgacan, Omer S. Indiana University Collecting Garbage on the Blockchain
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee for SPLASH 2023 All the Languages Together
Adem AitAit, Adem IN3 - UOCSpain A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
Efthimia AivaloglouAivaloglou, Efthimia Delft University of TechnologyNetherlands Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Session Chair of verification 2 (part of SPLASH OOPSLA) Session Chair of separation logic (part of SPLASH OOPSLA) Session Chair of Interactivity and Visualization for Programmers (part of HATRA) Latte: Lightweight Aliasing Tracking for Java Discussion Latte: Lightweight Aliasing Tracking for Java Navigating your thesis and job search: sustainability and standing out [Invited Talk] PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track Committee Member in Organizing Committee within the HATRA-track
Karim AliAli, Karim University of Alberta PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Publications Co-Chair in Organizing Committee for SPLASH 2023
Amin AlipourAlipour, Amin University of HoustonUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2023 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Meghan AllenAllen, Meghan University of British ColumbiaCanada Exploring Engagement and Self-Efficacy in an Introductory Computer Science Course
Taylor AllredAllred, Taylor University of UtahUnited States Rhombus: A New Spin on Macros without All the Parentheses
Ana Almeida MatosAlmeida Matos, Ana University of LisbonPortugal AtomiS: Data-Centric Synchronization Made Practical
Bernardo AlmeidaAlmeida, Bernardo LASIGE, Faculty of Sciences, University of Lisbon Kind Inference for the FreeST Programming Language
Lissette AlmonteAlmonte, Lissette Universidad Autónoma de MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Rajeev AlurAlur, Rajeev University of PennsylvaniaUnited States Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Peter AlvaroAlvaro, Peter University of California, Santa Cruz PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Nada AminAmin, Nada Harvard UniversityUnited States Oxidize: A Step-Debugger for Static Semantics Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Program Committee within the DLS-track
Knut Anders StokkeAnders Stokke, Knut University of Bergen, NorwayNorway Towards Reusable GUI Structures
Andreas AndronikakisAndronikakis, Andreas University of ManchesterUnited Kingdom A Multifaceted Memory Analysis of Java Benchmarks
Artur AndrzejakAndrzejak, Artur Heidelberg UniversityGermany Virtual Domain Specific Languages via Embedded Projectional Editing
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance Committee Member in Program Committee within the FTSCS-track
Florian AngererAngerer, Florian Oracle LabsAustria Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress)
Nia AngleAngle, Nia independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the SPLASH Onward! Essays-track
Muhammad Waseem AnwarAnwar, Muhammad Waseem Department of Innovation, Design and Engineering Malardalen UniversitySweden Enabling Blended Modelling of Timing and Variability in EAST-ADL
Sven ApelApel, Sven Saarland UniversityGermany GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
Jesus ArandaAranda, Jesus Universidad del ValleColombia Formal Verification of a Mechanical Ventilator using UPPAAL
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Unconstrained Variable Oracles for Faster Static Analyses Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Closure Conversion in Little Pieces
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Session Chair of Paper presentations (part of FTSCS) Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library Discussions, Closing Committee Member in Program Committee within the FTSCS-track Committee Member in Organizing Committee within the FTSCS-track
Ellen ArvidssonArvidsson, Ellen Uppsala UniversitySweden Reference Capabilities for Flexible Memory Management
Angello AstorgaAstorga, Angello University of Illinois at Urbana-ChampaignUnited States Perception Contracts for Safety of ML-Enabled Systems
Team at Conference Publishing Consultingat Conference Publishing Consulting, Team Title Page
Eran AvneriAvneri, Eran TechnionIsrael Deep Learning Robustness Verification for Few-Pixel Attacks
B Afonso B. CaniçoB. Caniço, Afonso Iscte - Instituto Universitário de LisboaPortugal Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Lorenzo BacchianiBacchiani, Lorenzo Behavioural up/down casting for statically typed languages
Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Session Chair of Session 4 (part of GPCE) A Monadic Framework for Name Resolution in Multi-Phased Type Checkers Committee Member in Program Committee within the SLE-track
Jean-Christophe BachBach, Jean-Christophe IMT Atlantique, Lab-STICC (UMR 6285)France Committee Member in Program Committee within the SLE-track
Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Session Chair of Paper presentations 2 (part of FTSCS) Opening, Keynote: Bounded STL Model Checking for Hybrid Systems Committee Member in Program Committee within the FTSCS-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Workshops Co-Chair in Organizing Committee for SPLASH 2023 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Michael Bak KoldsgaardBak Koldsgaard, Michael Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States PC Member in Program Committee within the SAS -track
Kevin BaldorBaldor, Kevin The University of Texas at San Antonio Thorium: Verifiable, Dynamic, Reactive Software
Valter BalegasBalegas, Valter ElectricSQLPortugal Committee Member in Organizing Committee within the PLF-track
Sebastian BaltesBaltes, Sebastian SAP SE & University of AdelaideGermany A Penny a Function: Towards Cost Transparent Cloud Programming
Teodora BalutaBaluta, Teodora National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Future Directions for Session Types PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anna BambergerBamberger, Anna From Static to Dynamic Access Control Policies via Attribute-Based Category Mining
Arko BanerjeeBanerjee, Arko University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Steering Committee Chair in Steering Committee within the SPLASH -E-track
Ajay BansalBansal, Ajay stablekanren: Integrating Stable Model Semantics with miniKanren
Yuyan BaoBao, Yuyan Augusta UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Carlos BaqueroBaquero, Carlos HASLab/INESC TEC & University of MinhoPortugal Can local-first really scale at the edge?
Olivier BaraisBarais, Olivier University of Rennes; Inria; CNRS; IRISAFrance Adaptive Structural Operational Semantics
Mikhail BarashBarash, Mikhail University of BergenNorway Towards Reusable GUI Structures Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Franco BarbaneraBarbanera, Franco Multicompatibility for Multiparty-Session Composition
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States SIGPLAN-M Introduction Grounded Copilot: How Programmers Interact with Code-Generating Models
Konstantinos BarmpisBarmpis, Konstantinos University of YorkUnited Kingdom Towards Efficient Model Comparison Using Automated Program Rewriting
Dan BarowyBarowy, Dan Williams CollegeUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom PC Member in Program Committee within the VMIL-track
Langston BarrettBarrett, Langston GaloisUnited States Bring Your Own Data Structures to Datalog
Matteo BassoBasso, Matteo Università della Svizzera italiana (USI), Switzerland Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance Optimization-Aware Compiler-Level Event Profiling
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kevin BatzBatz, Kevin RWTH Aachen UniversityGermany A Deductive Verification Infrastructure for Probabilistic Programs
Guillaume BaudartBaudart, Guillaume InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2023 Co-chair in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hanno BeckerBecker, Hanno Amazon Web ServicesUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Tom BeckmannBeckmann, Tom Hasso Plattner InstituteGermany Visual Replacements: Cross-language Domain-specific Representations in Structured Editors A Penny a Function: Towards Cost Transparent Cloud Programming Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Toulouse - ENACFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
David BenavidesBenavides, David Universidad de SevillaSpain Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
Jesper BengtsonBengtson, Jesper IT University of Copenhagen, Denmark Mechanising Multiparty Session Types: A Sound and Complete Projection
Nick BentonBenton, Nick Meta London 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Véronique BenzakenBenzaken, Véronique Université Paris-Saclay - Laboratoire de Méthodes Formelles France Translating canonical SQL to imperative code in Coq
Frédéric BessonBesson, Frédéric Type-directed Program Transformation for Constant-Time Enforcement
Joan S BetancourtBetancourt, Joan S Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Ishan BhanukaBhanuka, Ishan Hong Kong University of Science and TechnologyChina Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Resource-Aware Soundness for Big-Step Semantics
Robert BiddleBiddle, Robert Carleton UniversityCanada programmingLanguage as Language;
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Session Chair of program analysis 2 (part of SPLASH OOPSLA) Collaborative offline-first applications in Education PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the PLF-track
Armin BiereBiere, Armin University of Freiburg, GermanyGermany Committee Member in Program Committee within the FTSCS-track
David BinderBinder, David University of TübingenGermany Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Walter BinderBinder, Walter USI LuganoSwitzerland Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance Optimization-Aware Compiler-Level Event Profiling Committee Member in Program Committee within the GPCE-track PC Member in Program Committee within the MPLR-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Melocoton: A Program Logic for Verified Interoperability Between OCaml and C Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
Stephen M. BlackburnBlackburn, Stephen M. Google; Australian National UniversityAustralia Improving Garbage Collection Observability with Performance Tracing
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the MPLR-track
Sam BlackshearBlackshear, Sam Mysten Labs Sui Move: Modern Blockchain Programming with Objects
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Florin BlanaruBlanaru, Florin Axelera AINetherlands Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Clément BlaudeauBlaudeau, Clément InriaFrance A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
Mireille Blay-FornarinoBlay-Fornarino, Mireille Yes, Configuring is Good, But Have You Ever Tried Justifying?
Andrew BlinnBlinn, Andrew University of MichiganUnited States Totally Live Programming with Hazel (Progress Report)
Luc BläserBläser, Luc DFINITY FoundationSwitzerland Collecting Garbage on the Blockchain
Rose BohrerBohrer, Rose Worcester Polytechnic Institute Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Symbolic transformation of expressions in modular arithmetic Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pauline BolignanoBolignano, Pauline AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
CF Bolz-TereickBolz-Tereick, CF Germany Committee Member in Steering Committee within the DLS-track
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance
Benjamin BonneauBonneau, Benjamin Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Dina BorregoBorrego, Dina NOVA LINCS, FCT, Universidade NOVA de Lisboa How to Enforce and Verify Invariants in Weakly Consistent Databases
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Session Chair of IWACO Keynote Session (part of IWACO) Session Chair of IWACO Session 1 (part of IWACO) Session Chair of IWACO Session 2 (part of IWACO) Degrees of Separation: A Flexible Type System for Data Race Prevention Welcome to IWACO! Committee Member in Organizing Committee within the IWACO-track Program Chair in Program Committee within the IWACO-track
Sylvain BoulméBoulmé, Sylvain Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia Relational Solver for Java Generics Type System
Thomas BourgeatBourgeat, Thomas EPFL Committee Member in Reviewers within the SPLASH Student Research Competition-track
Timothy BourkeBourke, Timothy Inria / École normale supérieure Committee Member in Program Committee within the REBLS-track
Juliana BowlesBowles, Juliana University of St Andrews, St Andrews, UK Session Chair of Session VI (part of LOPSTR) A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
Peter BoylandBoyland, Peter University of California at Santa BarbaraUnited States Aliasing Limits on Translating C to Safe Rust
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Hybridisation Co-Chair in Organizing Committee for SPLASH 2023 Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers Back to Direct Style: Typed and Tight Committee Member in Program Committee within the IWACO-track
Tom BraunBraun, Tom Hasso Plattner Institute, University of Potsdam, Germany Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Mario BravettiBravetti, Mario Università di BolognaItaly Behavioural up/down casting for statically typed languages
Oliver BračevacBračevac, Oliver Galois, Inc.United States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David BromanBroman, David KTH Royal Institute of TechnologySweden Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Lily BrownBrown, Lily RobloxUnited States Goals of the Luau Type System, Two Years On
Jean-Michel BruelBruel, Jean-Michel Université de Toulouse, FranceFrance Yes, Configuring is Good, But Have You Ever Tried Justifying?
Lelio BrunBrun, Lelio National Institute of InformaticsJapan Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Matthias BrunBrun, Matthias Temporal Breakpoints for Multiverse Debugging
Matthias BrunBrun, Matthias ETH ZurichSwitzerland Verus: Verifying Rust Programs using Linear Ghost Types
Rodrigo BrunoBruno, Rodrigo INESC-ID - IST-ULisboaPortugal Session Chair of MPLR Session 3 (part of MPLR) Language Runtimes for the New Cloud Era CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract) Heap Size Adjustment with CPU Control Welcome from the Chairs PC Member in Program Committee within the VMIL-track General Chair in Organizing Committee within the MPLR-track
Alessio BucaioniBucaioni, Alessio Mälardalen University Enabling Blended Modelling of Timing and Variability in EAST-ADL
Humphrey BurchellBurchell, Humphrey University of KentUnited Kingdom Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Florena BuseBuse, Florena Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms
Alexandre BérardBérard, Alexandre Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Aurel BílýBílý, Aurel ETH Zurich Compositional Reasoning about Advanced Iterator Patterns in Rust
Lukas BöhmeBöhme, Lukas Hasso Plattner Institute, University of PotsdamGermany A Penny a Function: Towards Cost Transparent Cloud Programming
Thorbjørn Bülow BringgaardBülow Bringgaard, Thorbjørn Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
C Jordi CabotCabot, Jordi Luxembourg Institute of Science and TechnologyLuxembourg A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects Committee Member in Program Committee within the SLE-track
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina A Cocktail Approach to Practical Call Graph Construction
Zhuo CaiCai, Zhuo Hong Kong University of Science and TechnologyHong Kong Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Zixian CaiCai, Zixian Australian National UniversityAustralia Improving Garbage Collection Observability with Performance Tracing
Luís CairesCaires, Luís INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Labelled Tensor Types in Session Based Programming Future Directions for Session Types
Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSLFrance A Formal Framework to Measure the Incompleteness of Abstract Interpretations Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Huanqi CaoCao, Huanqi Tsinghua UniversityChina Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Shangtong CaoCao, Shangtong Beijing University of Posts and TelecommunicationsChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Silvio CapobiancoCapobianco, Silvio Additive Cellular Automata Graded-Monadically
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Marco CarboneCarbone, Marco IT University of Copenhagen A Logical Interpretation of Asynchronous Multiparty Compatibility Mechanising Multiparty Session Types: A Sound and Complete Projection The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Luís CarvalhoCarvalho, Luís Semantic Versioning for Python Programs
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Reference Capabilities for Flexible Memory Management Committee Member in Program Committee within the IWACO-track
Ilaria CastellaniCastellani, Ilaria INRIA Sophia Antipolis, FranceFrance Multiparty Reactive Sessions Using Event Structures to model Multiparty Session Types: results and open problems Committee Member in Organizing Committee within the ST30 -track
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom The Concurrent Calculi Formalisation Benchmark
Francky CatthoorCatthoor, Francky IMEC; KU LeuvenBelgium Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Is Polyglot Programming Really a Thing? Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling Layer GPCE/SLE Awards
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jan CederquistCederquist, Jan University of LisbonPortugal AtomiS: Data-Centric Synchronization Made Practical
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France A Reusable Machine-Calculus for Automated Resource Analyses
Tej ChajedChajed, Tej UW-MadisonUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Satish ChandraChandra, Satish Meta PlatformsUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado at Boulder; AmazonUnited States Sponsorship Co-Chair in Organizing Committee for SPLASH 2023 Invited Speaker in Invited Speakers for SAS 2023 Session Chair of Sponsored Talks (part of SPLASH Sponsored Talks) Session Chair of Domain precision (part of SAS ) Lifting On-Demand Analysis to Higher-Order Languages Goal-Directed Abstract Interpretation and Event-Driven Frameworks Historia: Refuting Callback Reachability with Message-History Logics
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States How Domain Experts Use an Embedded DSL
Bodhisatwa ChatterjeeChatterjee, Bodhisatwa Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Luke CheesemanCheeseman, Luke Imperial College LondonUnited Kingdom When Concurrency Matters: Behaviour-Oriented Concurrency
Chao ChenChen, Chao Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis Committee Member in Judges within the SPLASH Student Research Competition-track
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina PC Member in Program Committee within the SAS -track
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina Lower Bounds for Possibly Divergent Probabilistic Programs
Qinlin ChenChen, Qinlin Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Program Committee within the GPCE-track
Taolue ChenChen, Taolue University of LondonUnited Kingdom Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Wenguang ChenChen, Wenguang Tsinghua University; Pengcheng LaboratoryChina Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-ChampaignUnited States Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Xinyun ChenChen, Xinyun Committee Member in Reviewers within the SPLASH Student Research Competition-track
Yanbin ChenChen, Yanbin TUM School of Computation, Information and Technology, Technical University of MunichGermany Quantum Constant Propagation
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Yifan ChenChen, Yifan Peking University Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Solving String Constraints with Lengths by Stabilization PC Member in Program Committee within the SAS -track
James CheneyCheney, James University of EdinburghUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xiao ChengCheng, Xiao University of Technology Sydney Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Marc ChevalierChevalier, Marc Switzerland Artifact Evaluation Chair in Organizing Committee for SAS 2023 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada Are we Heading Towards a Dynamic Language Winter? Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach Committee Member in Program Committee within the DLS-track
David ChiangChiang, David University of Notre DameUnited States Exact Recursive Probabilistic Programming
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Polyglot Programming through Foreign Function Interfaces Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the GPCE-track
Luca ChiodiniChiodini, Luca USI LuganoSwitzerland Session Chair of Introductions & Papers (part of SPLASH -E) Teaching Programming with Graphics: Pitfalls and a Solution
Shardul ChiplunkarChiplunkar, Shardul EPFLSwitzerland Diagrammatic notations for interactive theorem proving
David ChisnallChisnall, David MicrosoftUnited Kingdom When Concurrency Matters: Behaviour-Oriented Concurrency
Khushboo ChitreChitre, Khushboo IIIT DelhiIndia Rapid: Region-Based Pointer Disambiguation
Andrei ChişChiş, Andrei feenk, Switzerland Publicity Chair in Organizing Committee within the SLE-track
Chanhee ChoCho, Chanhee Carnegie Mellon UniversityUnited States Verus: Verifying Rust Programs using Linear Ghost Types
Minki ChoCho, Minki Seoul National UniversitySouth Korea Stuttering for Free
David ChocholatýChocholatý, David Brno University of TechnologyCzechia Solving String Constraints with Lengths by Stabilization
Jaemin ChoiChoi, Jaemin KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Peter ChonChon, Peter Harvard University Oxidize: A Step-Debugger for Static Semantics
Nathan ChongChong, Nathan Amazon Web ServicesUnited States A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited Kingdom Classical Processes in modern dress
Jörg Christian KirchhofChristian Kirchhof, Jörg RWTH Aachen UniversityGermany Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Cheng-En ChuangChuang, Cheng-En University at BuffaloUnited States Validating IoT Devices with Rate-Based Session Types
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin Northeastern University Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Pavel ChuprikovChuprikov, Pavel USI LuganoSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Discussion Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the PAINT-track Committee Member in Organizing Committee within the HATRA-track
Federico CiccozziCiccozzi, Federico Mälardalen UniversitySweden Enabling Blended Modelling of Timing and Variability in EAST-ADL
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Horatiu CirsteaCirstea, Horatiu LORIA, University of LorraineFrance Committee Member in Program Committee within the SLE-track
Jürgen CitoCito, Jürgen TU WienAustria Session Chair of Configuration testing (part of CONFLANG) Session Chair of Configuration languages (part of CONFLANG) Career Panel Committee Member in Judges within the SPLASH Student Research Competition-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Organizing Committee within the CONFLANG-track Committee Member in Program Commitee within the SPLASH -E-track
Sylvan ClebschClebsch, Sylvan Microsoft Azure ResearchUnited Kingdom Reference Capabilities for Flexible Memory Management When Concurrency Matters: Behaviour-Oriented Concurrency
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Doctoral Symposium Chair in Organizing Committee for SPLASH 2023 Session Chair of program synthesis 1 (part of SPLASH OOPSLA) Session Chair of Formalisms and Synthesis (part of HATRA) REVIS: An Error Visualization Tool for Rust Discussion Discussion Introduction and Welcome Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the HATRA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Albert CohenCohen, Albert GoogleFrance PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benoit CombemaleCombemale, Benoit University of Rennes, Inria, CNRS, IRISAFrance Session Chair of Modeling (part of SLE) Adaptive Structural Operational Semantics Practical Runtime Instrumentation of Software Languages: the Case of SciHook
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Hybridisation Co-Chair in Organizing Committee for SPLASH 2023 PLMW Co-Chair in Organizing Committee for SPLASH 2023 Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators Committee Member in Program Committee within the GPCE-track Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Giovanna Kobus ConradoConrado, Giovanna Kobus Hong Kong University of Science and TechnologyHong Kong The Bounded Pathwidth of Control-Flow Graphs Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Breandan ConsidineConsidine, Breandan McGill UniversityCanada A Pragmatic Approach to Syntax Repair
Évelyne ContejeanContejean, Évelyne CNRS, ENS Paris-Saclay & Université Paris-Saclay Translating canonical SQL to imperative code in Coq
Mary Rose CookCook, Mary Rose United States Lude - build video games quickly
Chris CoppinsCoppins, Chris University of KentUnited Kingdom Polynomial Analysis of Modular Arithmetic
Camilo Correa RestrepoCorrea Restrepo, Camilo University of Paris 1 Pantheon-Sorbonne, Paris, France Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
David CortésCortés, David Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Data-Dependent Confidentiality in DCR Graphs Mentor in Mentors within the SPLASH PLMW-track
Diana CostaCosta, Diana LASIGE, University of LisbonPortugal Local Organizer Chair in Organizing Committee for SPLASH 2023 DEI Chair in Organizing Committee for SPLASH 2023 Session Chair of Lunch (part of SPLASH DEI Activities) Session Chair of SPLASH-W (part of SPLASH DEI Activities) Session Chair of ST30 Day 1 Session 4 (part of ST30 ) Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
Andreea CosteaCostea, Andreea National University of SingaporeSingapore Publicity Co-Chair in Organizing Committee for SPLASH 2023 Web Co-Chair in Organizing Committee for SPLASH 2023 Adventure of a Lifetime: Extract Method Refactoring for Rust
Pascal CotretCotret, Pascal Lab-STICC CNRS UMR 6285, ENSTA BretagneFrance Gigue: A JIT Code Binary Generator for Hardware Testing
Patrick CousotCousot, Patrick PC Member in Program Committee within the SAS -track
Will CrichtonCrichton, Will Brown UniversityUnited States Session Chair of compilation and optimization 1 (part of SPLASH OOPSLA)
Will CrichtonCrichton, Will Brown UniversityUnited States Session Chair of Type Systems and Discussion (part of HATRA)
Will CrichtonCrichton, Will Brown UniversityUnited States Debugging Trait Errors as Logic Programs Discussion
Will CrichtonCrichton, Will Brown UniversityUnited States A Grounded Conceptual Model for Ownership Types in Rust
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
John CriswellCriswell, John University of RochesterUnited States Fat Pointers for Temporal Memory Safety of C
Jaime CuartasCuartas, Jaime Universidad del ValleColombia Formal Verification of a Mechanical Ventilator using UPPAAL
Chen CuiCui, Chen University of Hong KongChina Greedy Implicit Bounded Quantification
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-MadisonUnited States Invited Speaker in Invited Speakers for SAS 2023 Verifying Infinitely Many Programs at Once Synthesizing Specifications
Matt D'SouzaD'Souza, Matt University of WaterlooCanada TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Liangrun DaDa, Liangrun TU Munich Extending Automerge: Undo, Redo, and Move
Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Francesco DagninoDagnino, Francesco University of GenoaItaly Resource-Aware Soundness for Big-Step Semantics
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Towards Session-Typed Consensus Future Directions for Session Types Structural Subtyping as Parametric Polymorphism PC Member in Programme Committee within the ST30 -track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Verification-Preserving Inlining in Automatic Separation Logic Verifiers
Pierce DarraghDarragh, Pierce University of UtahUnited States Generating Conforming Programs With Xsmith
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Scaling up Roundoff Analysis of Functional Data Structure Programs
Marta Davila MateuDavila Mateu, Marta University of Southern CaliforniaUnited States Synthesizing Recursive Programs Through Dataflow Constraints
Emanuele De AngelisDe Angelis, Emanuele CNR-IASIItaly Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Stephen De GabrielleDe Gabrielle, Stephen independentUnited Kingdom Rhombus: A New Spin on Macros without All the Parentheses
Daan de Graafde Graaf, Daan Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms
Juan de Larade Lara, Juan Autonomous University of MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2023 Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data Committee Member in Program Committee within the DLS-track Committee Member in Steering Committee within the DLS-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the REBLS-track
Jan de Mooijde Mooij, Jan MozillaNetherlands CacheIR: The Benefits of a Structured Representation for Inline Caches
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Session Chair of GPCE 2022/23 Most Influential Papers (part of GPCE) Session Chair of GPCE/SLE Keynote (in Room XV) (part of SLE) Ansible Is Turing Complete GPCE Welcome by Chairs Cross-Level Debugging for Static Analysers GPCE/SLE Awards Committee Member in Program Committee within the GPCE-track General Chair in Organizing Committee within the GPCE-track
Luigi De RussisDe Russis, Luigi Politecnico di TorinoItaly Committee Member in Program Committee within the PAINT-track
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Australian National University, AustraliaAustralia Session Chair of Grammars and parsing (part of SLE) Committee Member in Program Committee within the SLE-track
Luiz de Sáde Sá, Luiz Intuitionistic Metric Temporal Logic
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Session Chair of Session 5 (part of PPDP)
Julien DeAntoniDeAntoni, Julien Committee Member in Program Committee within the REBLS-track
Ulan DegenbaevDegenbaev, Ulan Google Collecting Garbage on the Blockchain
Thomas DegueuleDegueule, Thomas CNRS, LaBRIFrance Session Chair of Language implementation (part of SLE) GPCE/SLE Awards Program Co-Chair in Organizing Committee within the SLE-track
Çağatay DemiralpDemiralp, Çağatay Massachusetts Institute of TechnologyUnited States Data Extraction via Semantic Regular Expression Synthesis
Patricia DerlerDerler, Patricia ZooxUnited States Committee Member in Program Committee within the FTSCS-track
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Message Chains for Distributed System Verification
Remi DesmartinDesmartin, Remi Heriot-Watt University Towards a Certified Proof Checker for Deep Neural Network Verification
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kyle DeweyDewey, Kyle California State UniversityUnited States Aliasing Limits on Translating C to Safe Rust
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Multicompatibility for Multiparty-Session Composition PC Member in Programme Committee within the ST30 -track
Cinzia Di GiustoDi Giusto, Cinzia Université Côte d'Azur; CNRSFrance Multiparty Reactive Sessions
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program Committee within the SLE-track
Oscar DiazDiaz, Oscar University of the Basque Country, Spain Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis Automated Translation of Functional Big Data Queries to SQL Inductive Program Synthesis Guided by Observational Program Similarity
Jonathan DiLorenzoDiLorenzo, Jonathan Cornell UniversityUnited States Mentor in Mentors within the SPLASH PLMW-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States How Profilers Can Help Navigate Type Migration
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje Committee Member in Program Committee within the GPCE-track
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States Mutual Refinements of Context-Free Language Reachability
Yi DingDing, Yi Purdue UniversityUnited States Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Matthew DinmoreDinmore, Matthew Johns Hopkins Applied Physics Laboratory Session Chair of Essays 1 (part of SPLASH Onward! Papers) Whither Problem-Solving Environments?
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Steve DohrmannDohrmann, Steve IntelUnited States Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Greta DolcettiDolcetti, Greta University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly Unconstrained Variable Oracles for Faster Static Analyses
Paul DownenDownen, Paul University of Massachusetts LowellUnited States Closure Conversion in Little Pieces
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Deep Learning Robustness Verification for Few-Pixel Attacks PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Derek DreyerDreyer, Derek MPI-SWSGermany Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Stuttering for Free Melocoton: A Program Logic for Verified Interoperability Between OCaml and C Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2023 Reference Capabilities for Flexible Memory Management When Concurrency Matters: Behaviour-Oriented Concurrency Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Kuntai DuDu, Kuntai University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
José DuarteDuarte, José Actyx AG Local-first at Actyx
Quentin DUCASSEDUCASSE, Quentin Lab-STICC Gigue: A JIT Code Binary Generator for Hardware Testing
Jana DunfieldDunfield, Jana Queen's University, Kingston, OntarioCanada PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Thomas DurieuxDurieux, Thomas TU DelftNetherlands Empirical Study of the Docker Smell Impact
Greg DurrettDurrett, Greg University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Live & Local Schema Change: Challenge Problems Document-oriented programming based on edit history Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the PAINT-track
Sven EfftingeEfftinge, Sven Gitpod GmbH GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
Eric EideEide, Eric University of UtahUnited States Generating Conforming Programs With Xsmith
Yousef El-DardiryEl-Dardiry, Yousef TypeCellNetherlands Local-first: experiments & lessons learned building TypeCell TypeCell: End-User Programming in Block-Based rich text documents
Demetrios G. EliadesEliades, Demetrios G. A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States PC Member in Program Committee within the SAS -track
Mehmet EmreEmre, Mehmet University of San FranciscoUnited States Aliasing Limits on Translating C to Safe Rust
Romina EramoEramo, Romina University of TeramoItaly Committee Member in Program Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Session Chair of language semantics (part of SPLASH OOPSLA) Session Chair of effect systems (part of SPLASH OOPSLA) Session Chair of GPCE Tutorial (part of GPCE) GPCE/SLE Awards Interactive Debugging of Datalog Programs Committee Member in Program Committee within the GPCE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Oscar ErikssonEriksson, Oscar KTH Royal Institute of Technology Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Inference of Resource Management Specifications
Martin ErwigErwig, Martin Oregon State UniversityUnited States Committee Member in Program Committee within the GPCE-track
Santiago EscobarEscobar, Santiago Session Chair of Session I (part of LOPSTR) Session Chair of Session 4 (part of PPDP) Session Chair of Session 2 (part of PPDP) Session Chair of Session 6 (part of PPDP) Session Chair of Session 3 (part of PPDP) Session Chair of Session 8 (part of PPDP) Session Chair of Session 7 (part of PPDP) Symbolic analysis by using folding narrowing with irreducibility and SMT constraints Opening of PPDP
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for SPLASH 2023
Sam EstepEstep, Sam Carnegie Mellon UniversityUnited States Penrose: Beautiful diagrams from plain text
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the REBLS-track
Neil EvansEvans, Neil AWEUnited Kingdom Polynomial Analysis of Modular Arithmetic
Moritz EysholdtEysholdt, Moritz Gitpod GmbHGermany GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal PLMW Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of Career Panel (part of SPLASH PLMW) Session Chair of Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions (part of SPLASH PLMW) Session Chair of Welcome, Ice Breaker, Mentoring Talk (part of SPLASH PLMW) Mentor in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Luis F. GomesF. Gomes, Luis Carnegie Mellon UniversityPortugal Transforming Ideas into Code: Visual Sketching for ML Development
Alessandro FantechiFantechi, Alessandro University of Florence Committee Member in Program Committee within the FTSCS-track
Soroush FarokhniaFarokhnia, Soroush Hong Kong University of Science and TechnologyHong Kong Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the FTSCS-track
Justus FasseFasse, Justus Université Grenoble-Alpes; KU Leuven Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs
Luca FavalliFavalli, Luca Università degli Studi di Milano Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling Layer
Marc FeeleyFeeley, Marc Université de MontréalCanada An Executable Semantics for Faster Development of Optimizing Python Compilers
Tórur Feilberg ZachariassenFeilberg Zachariassen, Tórur Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions (part of SPLASH PLMW) Session Chair of Mentoring Talk & PhD Panel (part of SPLASH PLMW) Session Chair of Welcome, Ice Breaker, Mentoring Talk (part of SPLASH PLMW) Session Chair of Papers & Future Discussion (part of SPLASH -E) Committee Member in Program Committee within the LIVE-track Committee Member in Organizing Committee within the SPLASH PLMW-track Co-chair in Program Commitee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DLS-track Committee Member in Steering Committee within the DLS-track
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States How Profilers Can Help Navigate Type Migration
Shenghua FengFeng, Shenghua Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Lower Bounds for Possibly Divergent Probabilistic Programs
Kasra FerdowsiFerdowsi, Kasra University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Session 10 (part of SAS ) Symbolic transformation of expressions in modular arithmetic
Kostas FerlesFerles, Kostas UT Austin Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom From Static to Dynamic Access Control Policies via Attribute-Based Category Mining Unification Modulo Equational Theories in Languages with Binding Operators Unification modulo equational theories in languages with binding operators
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly PC Member in Program Committee within the SAS -track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal How to Enforce and Verify Invariants in Weakly Consistent Databases
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London The Concurrent Calculi Formalisation Benchmark
Paulo FerreiraFerreira, Paulo University of OsloNorway Heap Size Adjustment with CPU Control
Jack FeserFeser, Jack Hamilton CollegeUnited States Inductive Program Synthesis Guided by Observational Program Similarity Committee Member in Judges within the SPLASH Student Research Competition-track
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Rhombus: A New Spin on Macros without All the Parentheses Committee Member in Program Committee within the REBLS-track
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Jack FirthFirth, Jack independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the SLE-track
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains
Kathi FislerFisler, Kathi Brown UniversityUnited States Committee Member in Steering Committee within the SPLASH -E-track
Matthew FlattFlatt, Matthew University of UtahUnited States Rhombus: A New Spin on Macros without All the Parentheses Committee Member in Steering Committee within the DLS-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Oliver FlattFlatt, Oliver University of WashingtonUnited States Equality Saturation Theory Exploration à la Carte
Alcides FonsecaFonseca, Alcides LASIGE, University of LisbonPortugal Publicity Co-Chair in Organizing Committee for SPLASH 2023 Web Co-Chair in Organizing Committee for SPLASH 2023 Latte: Lightweight Aliasing Tracking for Java Latte: Lightweight Aliasing Tracking for Java
Niklas ForsFors, Niklas Lund UniversitySweden ComPOS: a DSL for Composing IoT Systems With Weak Connectivity CodeProber: Live Compiler Exploration
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for SPLASH 2023
Nate FosterFoster, Nate Cornell UniversityUnited States A Full Employment Theorem for PL Researchers: Domain-Specific Languages Formal Abstractions for Packet Scheduling Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Joseph FourmentFourment, Joseph EPFL A Mechanized Theory of the Box Calculus
Nikos FoutrisFoutris, Nikos University of ManchesterUnited Kingdom Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation A Multifaceted Memory Analysis of Java Benchmarks
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the LIVE-track
Anthony C. J. FoxFox, Anthony C. J. ARMUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session-Based Typechecking for Elixir Modules Using ElixirST
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom PC Member in Program Committee within the MPLR-track
Jordina Francès de MasFrancès de Mas, Jordina University of St Andrews, St Andrews, UK A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
Julia FreemanFreeman, Julia Francis Marion UniversityUnited States Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Andy FriesenFriesen, Andy Roblox Goals of the Luau Type System, Two Years On
Florian FrohnFrohn, Florian RWTH Aachen UniversityGermany ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Damian FrölichFrölich, Damian University of AmsterdamNetherlands Adaptive Structural Operational Semantics
Rongxiao FuFu, Rongxiao University of EdinburghUnited Kingdom Structural Subtyping as Parametric Polymorphism
Juan FumeroFumero, Juan University of ManchesterUnited Kingdom Session Chair of The Future of Runtimes (part of DLS) Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps PC Member in Program Committee within the VMIL-track
G John P. GallagherGallagher, John P. Roskilde University Session Chair of Session IV (part of LOPSTR) Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Student Volunteer Co-Chair in Organizing Committee for SPLASH 2023 Latte: Lightweight Aliasing Tracking for Java Latte: Lightweight Aliasing Tracking for Java Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Joshua GancherGancher, Joshua Carnegie Mellon UniversityUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Pengfei GaoGao, Pengfei ShanghaiTech UniversityChina Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Jose GarciaGarcia, Jose Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Deepak GargGarg, Deepak MPI-SWSGermany Compositional Security Definitions for Higher-Order Where Declassification
Antonio GarmendiaGarmendia, Antonio Universidad Autónoma de MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Julian GarnGarn, Julian JKU LinzAustria Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress)
Matthew GaudetGaudet, Matthew MozillaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Ada GavrilovskaGavrilovska, Ada Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Session Chair of ST30 Day 2 Session 4 - Panel session (part of ST30 ) What we learned from writing a book about session types Classical Processes in modern dress Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eduardo GeraldoGeraldo, Eduardo Data-Dependent Confidentiality in DCR Graphs PhD Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Ali GhanbariGhanbari, Ali Iowa State UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Lorenzo GheriGheri, Lorenzo University of LiverpoolUnited Kingdom Multicompatibility for Multiparty-Session Composition The Concurrent Calculi Formalisation Benchmark Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
Dan GhicaGhica, Dan HuaweiUnited Kingdom Programming Languages at Huawei
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Compiling Structured Tensor Algebra
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Session Chair of Quantum, neural (part of SAS ) A Formal Framework to Measure the Incompleteness of Abstract Interpretations How fitting is your abstract domain? PC Member in Program Committee within the SAS -track
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Using Event Structures to model Multiparty Session Types: results and open problems Resource-Aware Soundness for Big-Step Semantics
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the GPCE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Noah GibbsGibbs, Noah ShopifyUnited Kingdom Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Josselin GietGiet, Josselin Ecole Normale SupérieureFrance A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award)
Yossi GilGil, Yossi TechnionIsrael Fluent APIs in Functional Languages
Florian GilcherGilcher, Florian Germany Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Eric GiovanniniGiovannini, Eric University of MichiganUnited States Gradual Typing for Effect Handlers
Marco GiuntiGiunti, Marco Nova University of LisbonPortugal Behavioural up/down casting for statically typed languages AtomiS: Data-Centric Synchronization Made Practical
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the HATRA-track
Mario GleirscherGleirscher, Mario University of BremenGermany Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Rolf Martin GlomsrudGlomsrud, Rolf Martin University of Bergen (Norway) Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Robert GlückGlück, Robert University of CopenhagenDenmark Session Chair of Session I (part of LOPSTR) Opening Remarks
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs The Bounded Pathwidth of Control-Flow Graphs Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Committee Member in Program Committee within the HATRA-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Francisco Gomes de Oliveira NetoGomes de Oliveira Neto, Francisco Chalmers University of Technology, Sweden / University of GothenburgSweden Committee Member in Program Commitee within the SPLASH -E-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Commitee within the SPLASH -E-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of distribution & networking 2 (part of SPLASH OOPSLA) Session Chair of distribution & networking 1 (part of SPLASH OOPSLA) Implementing, verifying and debugging distributed event-based systems PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the PAINT-track PC Member in Program Committee within the MPLR-track
April GonçalvesGonçalves, April Metastate AGDenmark Committee Member in Program Committee within the LIVE-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Adventure of a Lifetime: Extract Method Refactoring for Rust Rhombus: A New Spin on Macros without All the Parentheses
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Colin GordonGordon, Colin Drexel UniversityUnited States Error Localization for Sequential Effect Systems Trustworthy Formal Natural Language Specifications
Roberta GoriGori, Roberta University of PisaItaly PC Member in Program Committee within the SAS -track
Léo GourdinGourdin, Léo Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Gavin GrayGray, Gavin ETH ZurichSwitzerland Debugging Trait Errors as Logic Programs A Grounded Conceptual Model for Ownership Types in Rust
Ben GreenmanGreenman, Ben Brown University, USA Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of DSLs (part of SPLASH OOPSLA)
Ben GreenmanGreenman, Ben University of UtahUnited States How Profilers Can Help Navigate Type Migration Rhombus: A New Spin on Macros without All the Parentheses
Ben GreenmanGreenman, Ben Brown University, USA Co-chair in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Ben GreenmanGreenman, Ben University of UtahUnited States Committee Member in Program Committee within the HATRA-track
Ben GreenmanGreenman, Ben Brown University, USA Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Taylor Gregoire-WrightGregoire-Wright, Taylor Independent consultant Concept-Centric Software Development: An Experience Report
Gabor GreifGreif, Gabor DFINITYGermany Collecting Garbage on the Blockchain
Eric GriffisGriffis, Eric University of MichiganUnited States Live Pattern Matching with Typed Holes
Victor GrishchenkoGrishchenko, Victor Unaffiliated MVC, MVCC and Causal Trees
Dan GrossmanGrossman, Dan University of WashingtonUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for SPLASH 2023
Bin GuGu, Bin Beijing Institute of Control EngineeringChina Towards Better Semantics Exploration for Browser Fuzzing
Hugo Musso GualandiGualandi, Hugo Musso Czech Technical University in PragueCzechia Reusing Just-in-Time Compiled Code
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden P4R-Type: A Verified API for P4 Control Plane Programs
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Scott GuestGuest, Scott University of MichiganUnited States Live Pattern Matching with Typed Holes
Guy GuetaGueta, Guy VMware ResearchIsrael Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Session Chair of SE4AI (part of SPLASH OOPSLA) Session Chair of security & privacy (part of SPLASH OOPSLA) Continuing WebAssembly with Effect Handlers Committee Member in Steering Committee within the DLS-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yujiang GuiGui, Yujiang UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Guanchen GuoGuo, Guanchen Peking UniversityChina Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Lihua GuoGuo, Lihua Tsinghua UniversityChina Towards Better Semantics Exploration for Browser Fuzzing
Philip GuoGuo, Philip University of California at San DiegoUnited States Unfolding State Changes via Live State-First Debugging
Xiangyu GuoGuo, Xiangyu Arizona State University stablekanren: Integrating Stable Model Semantics with miniKanren
Yao GuoGuo, Yao Peking UniversityChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Armaël GuéneauGuéneau, Armaël Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Lennard GäherGäher, Lennard MPI-SWSGermany Stuttering for Free
Tudor GîrbaGîrba, Tudor feenk.com Committee Member in Program Committee within the LIVE-track
H Christine H. FloodH. Flood, Christine Red Hat, Inc. PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the MPLR-track
Julian HaasHaas, Julian Technische Universität Darmstadt Committee Member in Organizing Committee within the PLF-track
Thomas HaasHaas, Thomas TU BraunschweigGermany Static Analysis of Memory Models for SMT Encodings
Houssem HachmaouiHachmaoui, Houssem Translating canonical SQL to imperative code in Coq
Sean HadarHadar, Sean Technion Scalable Spreadsheet-driven End-User Applications with Incremental Computation
Ernst Moritz HahnHahn, Ernst Moritz Queen's University BelfastUnited Kingdom Solving Queries for Boolean Fault Tree Logic via Quantified SAT
William HallahanHallahan, William Binghamton Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden P4R-Type: A Verified API for P4 Control Plane Programs PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track
Yann HamdaouiHamdaoui, Yann TweagFrance Session Chair of Configuration analysis (part of CONFLANG) Cached call-by-name: incremental evaluation of configurations Committee Member in Organizing Committee within the CONFLANG-track
Travis HanceHance, Travis Carnegie Mellon UniversityUnited States Verus: Verifying Rust Programs using Linear Ghost Types Leaf: Modularity for Temporary Sharing in Separation Logic
Jonas HansenHansen, Jonas ETH Zurich Compositional Reasoning about Advanced Iterator Patterns in Rust
Michael HanusHanus, Michael Kiel UniversityGermany Session Chair of Session II (part of LOPSTR) Session Chair of Session 1 (part of PPDP) GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Aliasing Limits on Translating C to Safe Rust
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Shideh HashemianHashemian, Shideh University of EdinburghUnited Kingdom Compiling Structured Tensor Algebra
Wilhelm HasselbringHasselbring, Wilhelm Kiel UniversityGermany GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
William G HatchHatch, William G University of Utah Generating Conforming Programs With Xsmith
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Teaching Programming with Graphics: Pitfalls and a Solution
Vojtěch HavlenaHavlena, Vojtěch Brno University of TechnologyCzechia Solving String Constraints with Lengths by Stabilization
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States Verus: Verifying Rust Programs using Linear Ghost Types
Anne HaxthausenHaxthausen, Anne Denmark Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Akihiro HayashiHayashi, Akihiro Georgia Institute of TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
Dongjie HeHe, Dongjie UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Fei HeHe, Fei Tsinghua UniversityChina Automated Ambiguity Detection in Layout-Sensitive Grammars
Ningyu HeHe, Ningyu Peking UniversityChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiao HeHe, Xiao University of Science and Technology BeijingChina Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Regina HebigHebig, Regina Chalmers University of Technology & University of GothenburgSweden Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenario
Görel HedinHedin, Görel Lund UniversitySweden ComPOS: a DSL for Composing IoT Systems With Weak Connectivity CodeProber: Live Compiler Exploration Committee Member in Program Committee within the SLE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Maxwell HeiberHeiber, Maxwell MetaUnited Kingdom Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale
Malte HeithoffHeithoff, Malte RWTH Aachen University Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Joseph M. HellersteinHellerstein, Joseph M. UC BerkeleyUnited States Hydroflow: A Compiler Target for Fast, Correct Distributed Programs
Nathan HendersonHenderson, Nathan University of AlbertaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Martin HenzHenz, Martin National University of SingaporeSingapore PC Chair in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track Committee Member in Steering Committee within the SPLASH -E-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands Creating a learnable and inclusive programming language A Framework for the Localization of Programming Languages Career Panel Committee Member in Program Committee within the SLE-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Mentor in Mentors within the SPLASH PLMW-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Session Chair of Session 8 (part of SAS ) A Rule-Based Approach for Designing and Composing Abstract Domains On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFly Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
Matthew HertzHertz, Matthew University at Buffalo PC Member in Program Committee within the MPLR-track
Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States Fat Pointers for Temporal Memory Safety of C
Daichi HidakaHidaka, Daichi Oita University Realizing Persistent Signals in JavaScript
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Data-Dependent Confidentiality in DCR Graphs
Daniel HillerströmHillerström, Daniel Huawei Zurich Research CenterSwitzerland Structural Subtyping as Parametric Polymorphism Continuing WebAssembly with Effect Handlers
Michael HiltonHilton, Michael Carnegie Mellon UniversityUnited States SPLASH-E Co-Chair in Organizing Committee for SPLASH 2023 Co-chair in Program Commitee within the SPLASH -E-track
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Compositional Security Definitions for Higher-Order Where Declassification Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Onward! Essays PC Chair in Organizing Committee for SPLASH 2023 Committee Member in Steering Committee for SPLASH 2023 Visual Replacements: Cross-language Domain-specific Representations in Structured Editors Toward Studying Example-based Live Programming in CS/SE Education A Penny a Function: Towards Cost Transparent Cloud Programming Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects Time-awareness in Object-exploration Tools: Toward In Situ Omniscient Debugging Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the SLE-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Onward! Essays PC Chair in Program Committee within the SPLASH Onward! Essays-track Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track PC Member in Program Committee within the MPLR-track
S. HitarthHitarth, S. Hong Kong University of Science and TechnologyHong Kong Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Christoph HochrainerHochrainer, Christoph TU WienAustria A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Henry HoffmannHoffmann, Henry University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Tyler HollowayHolloway, Tyler Harvard University Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lukáš HolíkHolík, Lukáš Brno University of TechnologyCzechia Solving String Constraints with Lengths by Stabilization
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Branching Compositional Data Transformations in jq, Visually Committee Member in Program Committee within the PAINT-track
Jesse HoobergsHoobergs, Jesse KU LeuvenBelgium Modular educational languages
Jozef HoomanHooman, Jozef TNO; Radboud University NijmegenNetherlands Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model Learning
Joshua HorowitzHorowitz, Joshua University of Washington Committee Member in Program Committee within the LIVE-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2023 Session Chair of Session #3 (part of VMIL)
Johannes HostertHostert, Johannes ETH ZurichGermany Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Jon HowellHowell, Jon VMware ResearchUnited States Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols Verus: Verifying Rust Programs using Linear Ghost Types Leaf: Modularity for Temporary Sharing in Separation Logic
Chiao HsiehHsieh, Chiao Kyoto UniversityJapan Perception Contracts for Safety of ML-Enabled Systems
Justin HsuHsu, Justin Cornell UniversityUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Future Directions for Session Types Validating IoT Devices with Rate-Based Session Types
Xiaowen HuHu, Xiaowen The University of Sydney Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects Committee Member in Program Committee within the SLE-track
David HuaHua, David University of WaterlooCanada Initializing Global Objects: Time and Order
Claire HuangHuang, Claire Australian National UniversityAustralia Improving Garbage Collection Observability with Performance Tracing
Yifei HuangHuang, Yifei University of Southern CaliforniaUnited States Explainable Program Synthesis by Localizing Specifications
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing Committee for SPLASH 2023
Mathieu HuotHuot, Mathieu University of OxfordUnited Kingdom Functional collection programming with semi-ring dictionaries Compiling Structured Tensor Algebra
Paul HübnerHübner, Paul Delft University of TechnologyNetherlands A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark The Implementation of A Type-Safe Structure Editor
I Jason IbrahimIbrahim, Jason DFINITY Foundation Collecting Garbage on the Blockchain
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the DLS-track
Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mirai IkebuchiIkebuchi, Mirai Kyoto UniversityJapan Committee Member in Reviewers within the SPLASH Student Research Competition-track
Kazuki IkemoriIkemori, Kazuki Tokyo Institute of Technology Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
Jeevana Priya InalaInala, Jeevana Priya Microsoft Research Committee Member in Reviewers within the SPLASH Student Research Competition-track
Apoorv IngleIngle, Apoorv University of IowaUnited States Video Co-Chair in Organizing Committee for SPLASH 2023
Grant IraciIraci, Grant University at BuffaloUnited States Validating IoT Devices with Rate-Based Session Types
Iain IrelandIreland, Iain MozillaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Hidetsugu IrieIrie, Hidetsugu University of TokyoJapan A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Omri IsacIsac, Omri The Hebrew University of Jerusalem Towards a Certified Proof Checker for Deep Neural Network Verification
Jemma IssroffIssroff, Jemma ShopifyUnited States Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Anastasia IsychevIsychev, Anastasia Technical University of ViennaAustria Scaling up Roundoff Analysis of Functional Data Structure Programs
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Scalable Spreadsheet-driven End-User Applications with Incremental Computation
Serhii IvanenkoIvanenko, Serhii INESC-ID; IST-ULisboaPortugal CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract)
Alex IvanovIvanov, Alex Google Configuration testing for Borg at Google
Dmitry IvanovIvanov, Dmitry TomTom Relational Solver for Java Generics Type System
Yusuke IzawaIzawa, Yusuke IBM Research - TokyoJapan A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
J Nouraldin JaberJaber, Nouraldin Purdue UniversityUnited States Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
Daniel JacksonJackson, Daniel MIT Language Model Agents Enable Semi-Formal Programming Concept-Centric Software Development: An Experience Report
Dejice JacobJacob, Dejice University of GlasgowUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI
Bart JacobsJacobs, Bart KU LeuvenBelgium Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs
Frederik Krogsdal JacobsenJacobsen, Frederik Krogsdal Technical University of DenmarkDenmark The Concurrent Calculi Formalisation Benchmark
Rijul JainJain, Rijul Williams College Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Michael B. JamesJames, Michael B. University of California at San DiegoUnited States Grounded Copilot: How Programmers Interact with Code-Generating Models
Abhinav JangdaJangda, Abhinav Microsoft ResearchUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nico JansenJansen, Nico Software Engineering, RWTH Aachen UniversityGermany Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Corinna JaschekJaschek, Corinna Hasso Plattner Institute, University of PotsdamGermany Committee Member in Program Committee within the PAINT-track
Alan JeffreyJeffrey, Alan RobloxUnited States Goals of the Luau Type System, Two Years On Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the HATRA-track
Jonas JensenJensen, Jonas Semmle 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Thomas P. JensenJensen, Thomas P. INRIA Rennes Type-directed Program Transformation for Constant-Time Enforcement
Faran JessaniJessani, Faran Google Applying Large Scale Diffing to Declarative Configuration Code for Production Safety
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Complete First-Order Reasoning for Properties of Functional Programs PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Samyak JhaveriJhaveri, Samyak UCIUnited States Cloning And Beyond: A Quantum Solution to Duplicate Code
Ruyi JiJi, Ruyi Peking UniversityChina Scaling up Program Synthesis to Efficient Algorithms Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Committee Member in Judges within the SPLASH Student Research Competition-track
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Songlin JiaJia, Songlin Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Junchen JiangJiang, Junchen University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Shengyi JiangJiang, Shengyi University of Hong KongChina Greedy Implicit Bounded Quantification
Yu JiangJiang, Yu Tsinghua UniversityChina Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Yu JiangJiang, Yu Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis Towards Better Semantics Exploration for Browser Fuzzing
Yuxuan JiangJiang, Yuxuan Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Adrian JohnstoneJohnstone, Adrian Royal Holloway University of London, UKUnited Kingdom Session Chair of Inference and automation (part of SLE) A reference GLL implementation Committee Member in Program Committee within the SLE-track
Richard JonesJones, Richard University of KentUnited Kingdom PC Member in Program Committee within the MPLR-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands PC Member in Programme Committee within the ST30 -track
Frédéric JouaultJouault, Frédéric ERIS Team, ESEO , France Temporal Breakpoints for Multiverse Debugging
Gwendal JouneauxJouneaux, Gwendal University of Rennes; Inria; IRISAFrance Adaptive Structural Operational Semantics
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract) Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image Committee Member in Program Committee within the GPCE-track
Jaehwang JungJung, Jaehwang KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Ralf JungJung, Ralf ETH ZürichSwitzerland Committee Member in Reviewers within the SPLASH Student Research Competition-track
Daniel Jurjo RivasJurjo Rivas, Daniel IMDEA Software Institute and T.U. of Madrid (UPM)Spain A Rule-Based Approach for Designing and Composing Abstract Domains Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jaakko JärviJärvi, Jaakko University of Bergen Towards Reusable GUI Structures
K Junichiro KadomotoKadomoto, Junichiro The University of Tokyo A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Daniel KaestnerKaestner, Daniel AbsIntGermany Invited Speaker in Invited Speakers for SAS 2023 Session Chair of Modular arithmetic and numeric analysis (part of SAS ) Abstract Interpretation in Industry - Experience and Lessons Learned
Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States Session Chair of refactoring (part of SPLASH OOPSLA) Session Chair of verification 1 (part of SPLASH OOPSLA) Verifying Indistinguishability of Privacy-Preserving Protocols Historia: Refuting Callback Reachability with Message-History Logics PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Konstantinos KallasKallas, Konstantinos University of PennsylvaniaUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Program Committee within the FTSCS-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the GPCE-track
Shoaib KamilKamil, Shoaib Adobe Research Committee Member in Program Committee within the GPCE-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Realizing Persistent Signals in JavaScript Committee Member in Program Committee within the REBLS-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany A Deductive Verification Infrastructure for Probabilistic Programs Lower Bounds for Possibly Divergent Probabilistic Programs
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State UniversityUnited States Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Chan Gu KangKang, Chan Gu Korea UniversitySouth Korea Modular Component-Based Quantum Circuit Synthesis
Jeehoon KangKang, Jeehoon KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Tobias KappéKappé, Tobias Open University of the Netherlands; University of AmsterdamNetherlands Formal Abstractions for Packet Scheduling
Siddhartha KasivajhulaKasivajhula, Siddhartha independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan LIVE 2023 Closing LIVE 2023 Opening Co-chair in Organizing Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany A Deductive Verification Infrastructure for Probabilistic Programs Lower Bounds for Possibly Divergent Probabilistic Programs
Guy KatzKatz, Guy Hebrew UniversityIsrael Towards a Certified Proof Checker for Deep Neural Network Verification
Harpreet KaurKaur, Harpreet University of New Brunswick Array Bytecode Support in MicroJIT
Ryan KavanaghKavanagh, Ryan McGill UniversityCanada Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Piyus KediaKedia, Piyus IIIT DelhiIndia Rapid: Region-Based Pointer Disambiguation
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2023 The importance of facing outwards: why dynamic languages can and should address the world Steering Committee Chair in Steering Committee within the SPLASH Onward! Papers-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Chantal KellerKeller, Chantal Université Paris SaclayFrance Session Chair of Session III (part of LOPSTR) Translating canonical SQL to imperative code in Coq
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Inference of Resource Management Specifications Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Rory KellyKelly, Rory University of British Columbia Exploring Engagement and Self-Efficacy in an Introductory Computer Science Course
Andrew KennedyKennedy, Andrew Meta LondonUnited Kingdom 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler?
Kenneth KentKent, Kenneth University of New BrunswickCanada Array Bytecode Support in MicroJIT
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIF; Institut Universitaire de FranceFrance Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying Framework
Sharjeel KhanKhan, Sharjeel Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Committee Member in Program Committee within the GPCE-track
Tsz Hang KiangKiang, Tsz Hang Georgia Institute of TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
Jaewoo KimKim, Jaewoo KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Andy KingKing, Andy KentUnited Kingdom Session Chair of Error location and scaling (part of SAS ) Polynomial Analysis of Modular Arithmetic
Martin KleppmannKleppmann, Martin TU MunichGermany Extending Automerge: Undo, Redo, and Move Committee Member in Organizing Committee within the PLF-track
Alexander KnappKnapp, Alexander University of AugsburgGermany Committee Member in Program Committee within the FTSCS-track
Alex KnauthKnauth, Alex independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Kerim KochekovKochekov, Kerim Hong Kong University of Science and TechnologyHong Kong Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marios KogiasKogias, Marios Imperial College London; Microsoft ResearchUnited Kingdom When Concurrency Matters: Behaviour-Oriented Concurrency
Wen KokkeKokke, Wen University of Edinburgh PC Member in Programme Committee within the ST30 -track
Takashi KokubunKokubun, Takashi ShopifyUnited States Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Aashish KolluriKolluri, Aashish National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Towards Efficient Model Comparison Using Automated Program Rewriting Committee Member in Program Committee within the SLE-track
Ekaterina KomandantskayaKomandantskaya, Ekaterina Heriot-Watt University, UKUnited Kingdom Towards a Certified Proof Checker for Deep Neural Network Verification
Chaozhe KongKong, Chaozhe Peking UniversityChina Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Lingkun KongKong, Lingkun Rice UniversityUnited States Regular Expression Matching using Bit Vector Automata
Pieter KoopmanKoopman, Pieter Radboud University Nijmegen, NetherlandsNetherlands Strongly-Typed Multi-View Stack-Based Computations
Niklas KorzKorz, Niklas Alugha GmbHGermany Virtual Domain Specific Languages via Embedded Projectional Editing
Dmitry KosarevKosarev, Dmitry Saint-Petersburg State University Relational Solver for Java Generics Type System
Christos KotselidisKotselidis, Christos University of ManchesterUnited Kingdom Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation A Multifaceted Memory Analysis of Java Benchmarks Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Peter KourzanovKourzanov, Peter IMECBelgium Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Georgia KouveliKouveli, Georgia ARM PC Member in Program Committee within the MPLR-track
Dimitrios KouzapasKouzapas, Dimitrios University of Cyprus A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
David KozakKozak, David Brno University of TechnologyCzechia Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
Dexter KozenKozen, Dexter Cornell UniversityUnited States Formal Abstractions for Packet Scheduling
Andreas KrallKrall, Andreas Vienna University of Technology, AustriaAustria A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Lucas KramerKramer, Lucas University of MinnesotaUnited States Nanopass Attribute Grammars Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Proof Automation for Linearizability in Separation Logic
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Toward Studying Example-based Live Programming in CS/SE Education Committee Member in Program Committee within the PAINT-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States A Grounded Conceptual Model for Ownership Types in Rust Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Paul KrogmeierKrogmeier, Paul University of Illinois at Urbana-ChampaignUnited States Languages with Decidable Learning: A Meta-theorem
Alberto Krone-MartinsKrone-Martins, Alberto UC Irvine Cloning And Beyond: A Quantum Solution to Duplicate Code
Sebastián KrynskiKrynski, Sebastián Czech Technical University in PragueCzechia Reusing Just-in-Time Compiled Code
Roland KuhnKuhn, Roland Actyx AGGermany Local-first at Actyx
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Marija KulašKulaš, Marija Fernuniversität in HagenGermany A Term Matching Algorithm and Substitution Generality
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in Program Committee within the HATRA-track
Kimio KuramitsuKuramitsu, Kimio Japan Women's UniversityJapan KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
Ivan KurtevKurtev, Ivan Altran Netherlands Committee Member in Program Committee within the SLE-track
Mirko KöhlerKöhler, Mirko TU Darmstadt Mixed & Verified Consistency with Propel & ConOpY Safe Combination of Data-centric and Operation-centric Consistency
Jan KöhnleinKöhnlein, Jan Gitpod GmbHGermany GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
L Loïc LagadecLagadec, Loïc Lab-STICC CNRS UMR 6285, ENSTA BretagneFrance Gigue: A JIT Code Binary Generator for Hardware Testing Temporal Breakpoints for Multiverse Debugging
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Inference of Resource Management Specifications
Akash LalLal, Akash Microsoft ResearchIndia Inference of Resource Management Specifications
Chun Kit LamLam, Chun Kit Hong Kong University of Science and TechnologyHong Kong The Bounded Pathwidth of Control-Flow Graphs
Xavier LambeinLambein, Xavier Belgium PAW: a programmable and visual audio workstation
Christos LamprakosLamprakos, Christos National Technical University of Athens; KU LeuvenGreece Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Julien LangeLange, Julien Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Marcos Lara-ReinholdLara-Reinhold, Marcos Google Evolving a configuration language in place at Google scale
Octave LaroseLarose, Octave University of KentUnited Kingdom Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers Dynamic Library Compartmentalization AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark P4R-Type: A Verified API for P4 Control Plane Programs
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland Verus: Verifying Rust Programs using Linear Ghost Types
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Synthesizing Precise Static Analyzers for Automatic Differentiation
Jonathan LaurentLaurent, Jonathan Carnegie Mellon University / Karlsruhe Institute of Technology Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Julia LawallLawall, Julia InriaFrance Coccinelle: Impact and Internals Coccinelle: Impact and Internals Committee Member in Program Committee within the GPCE-track
Matthew Alan Le BrunLe Brun, Matthew Alan University of GlasgowMalta Towards Session-Typed Consensus
Alexis Le GlaunecLe Glaunec, Alexis Rice UniversityUnited States Regular Expression Matching using Bit Vector Automata
Gurvan LE GUERNICLE GUERNIC, Gurvan DGA MI & Université de Rennes 1France Adaptive Structural Operational Semantics
Luka Le RouxLe Roux, Luka Lab-STICC CNRS UMR 6285, ENSTA BretagneFrance Temporal Breakpoints for Multiverse Debugging
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States PC Member in Program Committee within the VMIL-track PC Member in Program Committee within the MPLR-track
Dongjae LeeLee, Dongjae Seoul National UniversitySouth Korea Stuttering for Free
Edward LeeLee, Edward University of WaterlooCanada Simple Reference Immutability for System F<:
Janggun LeeLee, Janggun KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Yan LeiLei, Yan Chongqing UniversityChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Continuing WebAssembly with Effect Handlers
Benoît LelandaisLelandais, Benoît CEA/DAM/DIF, France Practical Runtime Instrumentation of Software Languages: the Case of SciHook
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Reverse Template Processing using Abstract Interpretation
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia Solving String Constraints with Lengths by Stabilization
David LeopoldsederLeopoldseder, David Oracle LabsAustria Diagnosing Compiler Performance by Comparing Optimization Decisions Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Committee Member in Steering Committee within the SPLASH -E-track
Sorin LernerLerner, Sorin University of California at San DiegoUnited States Unfolding State Changes via Live State-First Debugging PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the LIVE-track
Dorian LeroyLeroy, Dorian CEA/DAM/DIF, France Practical Runtime Instrumentation of Software Languages: the Case of SciHook
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Initializing Global Objects: Time and Order TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism Simple Reference Immutability for System F<:
Elaine LiLi, Elaine NYUUnited States Complete Multiparty Session Type Projection with Automata
Liyi LiLi, Liyi University of MarylandUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Paley LiLi, Paley Oracle Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
Peixuan LiLi, Peixuan Pennsylvania State UniversityUnited States Compositional Security Definitions for Higher-Order Where Declassification
Shanshan LiLi, Shanshan National University of Defense TechnologyChina Towards Better Semantics Exploration for Browser Fuzzing
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Accelerating Fuzzing through Prefix-Guided Execution
Wei LiLi, Wei UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Yi LiLi, Yi Nanyang Technological UniversitySingapore Committee Member in Program Committee within the FTSCS-track
Yue LiLi, Yue Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Hongjin LiangLiang, Hongjin Nanjing UniversityChina PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Qing LiaoLiao, Qing Harbin Institute of TechnologyChina Towards Better Semantics Exploration for Browser Fuzzing
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Gradual Typing for Effect Handlers
Jörg LiebigLiebig, Jörg GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
Jay P. LimLim, Jay P. Yale UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Slim LimLim, Slim UC BerkeleyUnited States Committee Member in Program Committee within the HATRA-track
Bo LinLin, Bo National University of Defense TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Fangzhen LinLin, Fangzhen Hong Kong University of Science and TechnologyChina Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Zhengyao LinLin, Zhengyao Carnegie Mellon UniversityUnited States Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Visual Replacements: Cross-language Domain-specific Representations in Structured Editors
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Structural Subtyping as Parametric Polymorphism Continuing WebAssembly with Effect Handlers
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States Verifying Indistinguishability of Privacy-Preserving Protocols
Michael LippautzLippautz, Michael Google PC Member in Program Committee within the MPLR-track
Geoffrey LittLitt, Geoffrey Embark: a computational outliner for travel
Geoffrey LittLitt, Geoffrey MIT Committee Member in Program Committee within the LIVE-track
Cong LiuLiu, Cong University of Texas at DallasUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland Initializing Global Objects: Time and Order A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
Hongyu LiuLiu, Hongyu University of Texas at San AntonioUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jiangyi LiuLiu, Jiangyi Tsinghua UniversityChina Automated Ambiguity Detection in Layout-Sensitive Grammars
Jiaxiang LiuLiu, Jiaxiang Shenzhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
Tongping LiuLiu, Tongping University of Massachusetts at AmherstUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Yuhan LiuLiu, Yuhan University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Yunhe LiuLiu, Yunhe Cornell UniversityUnited States Formal Abstractions for Packet Scheduling
Paul LiétarLiétar, Paul Imperial College LondonUnited Kingdom When Concurrency Matters: Behaviour-Oriented Concurrency
Devon LoehrLoehr, Devon Princeton UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains
Francesco LogozzoLogozzo, Francesco FacebookUnited States PC Member in Program Committee within the SAS -track
Aaron LohLoh, Aaron McMaster University Yes, Configuring is Good, But Have You Ever Tried Justifying?
Crista LopesLopes, Crista University of California, IrvineUnited States Artificial Languages are Dead. Long Live Artificial Languages! Cloning And Beyond: A Quantum Solution to Duplicate Code Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
José LopesLopes, José Instituto Universitário de Lisboa (ISCTE-IUL)Portugal PescaJ: A projectional editor for Java featuring scattered code aggregation
Raul LopezLopez, Raul Spain Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
David H. LorenzLorenz, David H. Open University of IsraelIsrael ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
Duncan LowtherLowther, Duncan University of GlasgowUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Relational Solver for Java Generics Type System
Shan LuLu, Shan Microsoft; University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Mart LubbersLubbers, Mart Radboud University Nijmegen Strongly-Typed Multi-View Stack-Based Computations
Justin LubinLubin, Justin University of California at BerkeleyUnited States Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Steven LyubomirskyLyubomirsky, Steven OctoMLUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ralf LämmelLämmel, Ralf Universität KoblenzGermany Committee Member in Program Committee within the SLE-track
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute A Rule-Based Approach for Designing and Composing Abstract Domains Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
M Cong MaMa, Cong University of WaterlooCanada Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
José Nuno MacedoMacedo, José Nuno University of MinhoPortugal GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Molly MacLarenMacLaren, Molly University of California, San DiegoUnited States REVIS: An Error Visualization Tool for Rust
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Perception Contracts for Safety of ML-Enabled Systems Languages with Decidable Learning: A Meta-theorem Complete First-Order Reasoning for Properties of Functional Programs
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark A Brief Introduction to the Flix Programming Language Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems Committee Member in Speakers & Panelists within the SPLASH PLMW-track
José Wesley De Souza MagalhãesMagalhães, José Wesley De Souza University of EdinburghUnited Kingdom C2TACO: Lifting Tensor Code to TACO
Samuel MaginotMaginot, Samuel Indiana University BloomingtonUnited States Beginning Student Tables
Aïssata MaigaMaiga, Aïssata Sweden Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Kenji MaillardMaillard, Kenji Inria – LS2N, Université de NantesFrance PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the GPCE-track
Michael MaireMaire, Michael University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance Committee Member in Program Committee within the FTSCS-track
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Regular Expression Matching using Bit Vector Automata
Louis MandelMandel, Louis IBM Research, USA Translating canonical SQL to imperative code in Coq Committee Member in Program Committee within the REBLS-track
PRITAM MANOHAR GHARATMANOHAR GHARAT, PRITAM Microsoft ResearchIndia Inference of Resource Management Specifications
Xiaoguang MaoMao, Xiaoguang National University of Defense TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States Automated Translation of Functional Big Data Queries to SQL
Sonia MarinMarin, Sonia University of BirminghamUnited Kingdom A Logical Interpretation of Asynchronous Multiparty Compatibility
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of MPLR Session 4 (part of MPLR) Session Chair of Beyond the Language (part of DLS) Session Chair of Looking Outward (part of DLS) Most Notable Paper Award Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation Committee Member in Program Committee within the DLS-track Chair in Steering Committee within the DLS-track Committee Member in Program Committee within the SLE-track
Mark MarronMarron, Mark University of Kentucky Programming Languages for AI Programing Agents Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI Agents
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
René MaseliMaseli, René TU BraunschweigGermany Static Analysis of Memory Models for SMT Encodings
Dave MasonMason, Dave Toronto Metropolitan University (formerly Ryerson University)Canada Revisiting Dynamic Dispatch for Modern Architectures
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Domain Precision in Galois Connection-less Abstract Interpretation How fitting is your abstract domain? PC Member in Program Committee within the SAS -track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for SPLASH 2023 Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the LIVE-track
Christoph MathejaMatheja, Christoph DTUDenmark A Deductive Verification Infrastructure for Probabilistic Programs
Sergey MatskevichMatskevich, Sergey Drexel University, USA Trustworthy Formal Natural Language Specifications
Toni MattisMattis, Toni University of Potsdam; Hasso Plattner InstituteGermany Toward Studying Example-based Live Programming in CS/SE Education
Raúl MazoMazo, Raúl ENSTA BretagneFrance Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jay McCarthyMcCarthy, Jay ReachUnited States Rhombus: A New Spin on Macros without All the Parentheses
Colin McDonaldMcDonald, Colin University of Notre DameUnited States Exact Recursive Probabilistic Programming
James McKinnaMcKinna, James Heriot-Watt UniversityUnited Kingdom Structural Subtyping as Parametric Polymorphism
Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Raul MedeirosMedeiros, Raul University of the Basque Country (UPV/EHU)Spain Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
Meetesh Kalpesh MehtaMehta, Meetesh Kalpesh IIT BombayIndia Debugging Dynamic Language Features in a Multi-Tier Virtual Machine Reusing Just-in-Time Compiled Code
Shawn MeierMeier, Shawn University of Colorado at BoulderUnited States Historia: Refuting Callback Reachability with Message-History Logics
Olivier MelanconMelancon, Olivier Université de Montréal An Executable Semantics for Faster Development of Optimizing Python Compilers
Kevin MenardMenard, Kevin Shopify JITs are Nice, but Why Aren’t We Using Them?
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Program Commitee within the SPLASH -E-track
Jan MenzMenz, Jan MPI-SWSGermany Compositional Security Definitions for Higher-Order Where Declassification
Denis MerigouxMerigoux, Denis INRIAFrance Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the SLE-track
Roland MeyerMeyer, Roland TU BraunschweigGermany Static Analysis of Memory Models for SMT Encodings
Mira MeziniMezini, Mira TU DarmstadtGermany OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2023 Committee Member in Steering Committee for SPLASH 2023 Session Chair of Keynote 3 (part of SPLASH OOPSLA) Session Chair of Keynote 2 (part of SPLASH OOPSLA) PC Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Bring Your Own Data Structures to Datalog
Aleandro MifsudMifsud, Aleandro University of Amsterdam & Axini BVNetherlands Transforming an internal textual DSL into a Blended Modelling Environment
Mae MilanoMilano, Mae University of California at BerkeleyUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the IWACO-track Program Chair in Program Committee within the IWACO-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the MPLR-track
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada Saggitarius: A DSL for Specifying Grammatical Domains Committee Member in Judges within the SPLASH Student Research Competition-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance PC Member in Program Committee within the SAS -track
Eliot MirandaMiranda, Eliot Cadence Design Systems Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Synthesizing Precise Static Analyzers for Automatic Differentiation
Ashish MishraMishra, Ashish Purdue UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sayan MitraMitra, Sayan University of Illinois at Urbana-ChampaignUnited States Perception Contracts for Safety of ML-Enabled Systems
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Publications Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of Technical session 2 (part of REBLS) Session Chair of Keynote (part of PLF) PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the PLF-track Committee Member in Organizing Committee within the PLF-track Committee Member in Program Committee within the REBLS-track
Fatemeh MohammadiMohammadi, Fatemeh KU LeuvenBelgium Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Anshuman MohanMohan, Anshuman Cornell UniversityUnited States Formal Abstractions for Packet Scheduling
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano The Concurrent Calculi Formalisation Benchmark
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Arnold MongMong, Arnold Princeton UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David MoonMoon, David University of MichiganUnited States Totally Live Programming with Hazel (Progress Report) Live Pattern Matching with Typed Holes
Scott MooreMoore, Scott GaloisUnited States Bring Your Own Data Structures to Datalog
Federico MoraMora, Federico University of California at BerkeleyUnited States Message Chains for Distributed System Verification
José MoralesMorales, José IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Session Chair of Session 8 (part of SAS ) A Rule-Based Approach for Designing and Composing Abstract Domains Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
Andreia MordidoMordido, Andreia LASIGE, University of LisbonPortugal Kind Inference for the FreeST Programming Language
Sosuke MoriguchiMoriguchi, Sosuke Tokyo Institute of TechnologyJapan Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Eliot MossMoss, Eliot University of Massachusetts at AmherstUnited States Session Chair of MPLR Session 1 (part of MPLR) Welcome from the Chairs PC Chair in Program Committee within the MPLR-track PC Chair in Organizing Committee within the MPLR-track
Sébastien MosserMosser, Sébastien McMaster UniversityCanada Yes, Configuring is Good, But Have You Ever Tried Justifying?
Peter D. MossesMosses, Peter D. Swansea University and Delft University of TechnologyNetherlands Online Name-Based Navigation for Software Meta-languages
João MotaMota, João NOVA School of Science and Technology Behavioural up/down casting for statically typed languages
Harshit Jitendra MotwaniMotwani, Harshit Jitendra Ghent UniversityBelgium Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Sergio MoverMover, Sergio École PolytechniqueFrance Historia: Refuting Callback Reachability with Message-History Logics
Yannick MoyMoy, Yannick AdaCoreFrance Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Session Chair of compilation & optimization 2 (part of SPLASH OOPSLA) Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ike MulderMulder, Ike Radboud University NijmegenNetherlands Proof Automation for Linearizability in Separation Logic
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Dominic P. MulliganMulligan, Dominic P. Amazon Web ServicesUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Complete First-Order Reasoning for Properties of Functional Programs
Girish MururuMururu, Girish Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Gunter MussbacherMussbacher, Gunter McGill UniversityCanada Adaptive Structural Operational Semantics Committee Member in Program Committee within the SLE-track
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria Extraction of Virtual Machine Execution Traces Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress)
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Steering Committee for SPLASH 2023 Committee Member in Steering Committee within the SPLASH Onward! Papers-track SIGPLAN Observer in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Marius MüllerMüller, Marius University of TübingenGermany From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers Back to Direct Style: Typed and Tight
Peter MüllerMüller, Peter ETH ZurichSwitzerland Compositional Reasoning about Advanced Iterator Patterns in Rust Verification-Preserving Inlining in Automatic Separation Logic Verifiers
N Sarah NadiNadi, Sarah University of AlbertaCanada PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mayur NaikNaik, Mayur University of PennsylvaniaUnited States Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States PC Member in Program Committee within the SAS -track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Session Chair of program synthesis 2 (part of SPLASH OOPSLA) Session Chair of probabilistic (part of SPLASH OOPSLA) Session Chair of software development (part of SPLASH OOPSLA) Career Panel Equality Saturation Theory Exploration à la Carte Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Termination in Concurrency, Revisited
Jorge A. NavasNavas, Jorge A. CertoraUnited States PC Member in Program Committee within the SAS -track
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States Explainable Program Synthesis by Localizing Specifications
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Max S. NewNew, Max S. University of MichiganUnited States Session Chair of type systems 2 (part of SPLASH OOPSLA) Session Cha