18:49

[OOPSLA24] Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur

20:30

[OOPSLA24] Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration

18:26

[OOPSLA24] SMT2Test: From SMT Formulas to Effective Test Cases

22:18

[OOPSLA24] Hypra: A Deductive Program Verifier for Hyper Hoare Logic

12:27

[OOPSLA24] Compositionality and Observational Refinement for Linearizability with Crashes

20:18

[OOPSLA24] Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of(…)

20:46

[OOPSLA24] Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe(…)

20:31

[OOPSLA24] Mark–Scavenge: Waiting for Trash to Take Itself Out

19:28

[OOPSLA24] A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code

18:15

[OOPSLA24] Learning Abstraction Selection for Bayesian Program Analysis

18:11

[OOPSLA24] Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security(…)

24:00

[OOPSLA24] Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions

22:38

[OOPSLA24] Distributions for Compositionally Differentiating Parametric Discontinuities

18:15

[OOPSLA24] A modal type-theory of expected cost in higher-order probabilistic programs

21:00

[OOPSLA24] Understanding and Finding Java Decompiler Bugs

19:31

[OOPSLA24] SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest(…)

19:19

[OOPSLA24] PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation(…)

19:26

[OOPSLA24] Minotaur: A SIMD-Oriented Synthesizing Superoptimizer

18:52

[OOPSLA24] Hydra: Generalizing Peephole Optimizations with Program Synthesis

19:41

[OOPSLA24] Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS)

19:01

[OOPSLA24] Fully Verified Instruction Scheduling

18:56

[OOPSLA24] Compiling Recurrences over Dense and Sparse Arrays

18:48

[OOPSLA24] Compiler Support for Sparse Tensor Convolutions

18:25

[OOPSLA24] Compilation of Shape Operators on Sparse Arrays

19:43

[OOPSLA24] Message-Observing Sessions

20:11

[OOPSLA24] Inductive diagrams for causal reasoning

20:07

[OOPSLA24] Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping(…)

19:08

[OOPSLA24] A Constraint Solving Approach to Parikh Images of Regular Languages

20:45

[OOPSLA24] Weighted Context-Free-Language Ordered Binary Decision Diagrams

18:42

[OOPSLA24] VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts

20:37

[OOPSLA24] Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with(…)

20:13

[OOPSLA24] AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming

18:31

[OOPSLA24] Realistic Realizability: Specifying ABIs You Can Count On

20:33

[OOPSLA24] Synthesizing Formal Semantics from Executable Interpreters

17:37

[OOPSLA24] Semantics Lifting for Syntactic Sugar

18:54

[OOPSLA24] HOL4P4: mechanized small-step semantics for P4

19:49

[OOPSLA24] Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with(…)

19:13

[OOPSLA24] A Pure Demand Operational Semantics with Applications to Program Analysis

28:40

[SAS24] GoGuard: Efficient Static Blocking Bug Detection for Go

31:00

[SAS24] Static Analysis of Quantum Programs

20:29

[SAS24] On the Role of Cognizance in Responsibility

27:05

[SAS24] Trace Partitioning as an Optimization Problem

29:39

[PAINT24] Bridging Incremental Programming and Complex Software Development Environments

25:15

[PAINT24] Supporting Construction of Domain-Specific Representations in Textual Source Code

26:19

[PAINT24] Block-based Platform for Defining Adaptation Rules for Automotive Systems

51:44

[PAINT24] The Act of Programming in Collaborative Spaces

9:31

[LIVE24] Scoped Propagators

7:11

[LIVE24] ScrapSheets: Async Programs in a Reactive 2D Environment

5:58

[LIVE24] DocuApps: Ampleforth Documents as Applications

7:14

[LIVE24] EYG a predictable, and useful, programming language

14:09

[LIVE24] Manifold: Throwing Together Software Systems

14:46

[LIVE24] Live Programming a Live Programming Environment: An Experience Report

7:36

[LIVE24] Example-driven development: bridging tests and documentation

8:44

[LIVE24] Diff-based interactive compiler debugging and testing

14:44

[LIVE24] TAPE: From direct to programmatic and back

13:18

[LIVE24] Run, Build and Grow Small Systems Without Leaving Your Text Editor

18:11

[LIVE24] Arroost: Unblocking creation with friends

13:57

[LIVE24] Inkling: Sketching Dynamic Systems

14:53

[LIVE24] Snappets: a VR animation system based on Projective Geometric Algebra

7:50

[LIVE24] Code flow canvas - a generic visual programming system

11:27

[LIVE24] Subsequently: Telling stories with pictures makes programs

36:40

[LIVE24] Definitions and Dimensions of Liveness

46:52

[LIVE24] The Meaning of LIVE

33:06

[HATRA24] Toward a Corpus Study of the Dynamic Gradual Type

19:45

[HATRA24] Leroy: Library Learning for Imperative Programming Languages

25:33

[HATRA24] Learner-Centered Design Criteria for Classroom Proof Assistants

32:09

[HATRA24] Don’t Call Us, We’ll Call You

1:31:58

[HATRA24] Research Methods for Designing Next-Generation Programming Systems

2:48

[GPCE24] GPCE24 Closing

20:58

[GPCE24] Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)

27:33

[GPCE24] On the Soundness of Auto-Completion Services for Dynamically Typed Languages

34:31

[GPCE24] Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of(…)

26:03

[GPCE24] Hot Call-Chain Inlining for the Glasgow Haskell Compiler

22:03

[GPCE24] Type-Safe Code Generation With Algebraic Effects and Handlers

22:10

[GPCE24] Specializing Data Access in a Distributed File System (Generative Pearl)

28:45

[GPCE24] Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries

30:28

[GPCE24] Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper)

30:27

[GPCE24] An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis

29:31

[GPCE24] Automated Generation of Code Contracts - Generative AI to the Rescue?

10:49

[FARM24] Gamyeon III

1:13:17

[FARM24] Keynote: Refactoring Musical Thought

6:45

[FARM24] Self-Censorship

14:12

[FARM24] Live Coding Konnakol

13:30

[FARM24] WAYA

9:38

[FARM24] Hydra FCS: A Performance

26:55

[POPL'18] A New Proof Rule for Almost-Sure Termination

23:57

[POPL'18] Automated Lemma Synthesis in Symbolic-Heap Separation Logic

27:35

[POPL'18] Analytical Modeling of Cache Behavior for Affine Programs

25:17

[POPL'18] Algorithmic Analysis of Termination Problems for Quantum Programs

22:44

[POPL'18] A Logical Relation for Monadic Encapsulation of State: Proving Contextual Equi.....

23:43

[POPL'18] An Axiomatic Basis for Bidirectional Programming

20:56

[POPL'18] A Practical Construction for Decomposing Numerical Abstract Domains

23:14

[POPL'18] Alone Together: Compositional Reasoning and Inference for Weak Isolation

25:10

[POPL'18] A Principled Approach to Ornamentation in ML

24:03

[POPL'18] Effective Stateless Model Checking for C/C++ Concurrency

23:32

[POPL'18] Decidability of Conversion for Type Theory in Type Theory

25:01

[POPL'18] Collapsing Towers of Interpreters

25:04

[POPL'18] Foundations for Natural Proofs and Quantifier Instantiation

22:02

[POPL'18] Data-Centric Dynamic Partial Order Reduction

25:14

[POPL'18] Bonsai: Synthesis-Based Reasoning for Type Systems