ACM SIGPLAN

Gen: A General-Purpose Probabilistic Programming System with Programmable Inference

Behavior Trees in Action: A Study of Robotics Applications

Static Type Analysis by Abstract Interpretation of Python Programs

Fast Incremental PEG Parsing

A Multi-Language Static Analysis of Python Programs with Native C Extensions

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

[SAS23] ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses

Inside Every Calculus Is A Little Algebra Waiting To Get Out

[POPL 2021] On the Complexity of Bidirected Interleaved Dyck-Reachability (full)

Reactive Probabilistic Programming

PLDI 2020 - SOAP - Value and Allocation Sensitivities in Static Python Analyses

[PLDI24] Finland/Norway - PLDI Research Papers

[SPLASH22] Myths and Mythconceptions: What does it mean to be a programming language... (Mary Shaw)

[PLDI24] Iceland/Denmark - PLDI Research Papers (Jun 27th)

Format Abstraction for Sparse Tensor Algebra Compilers

Lifting Sequential Effects to Control Operators

Geometry Types for Graphics Programming

[LIVE23] Live & Local Schema Change: Challenge Problems

[Onward!] Contextualized Programming Language Documentation

Erlang 2021 - Full Workshop

Merging coeffect production into effect handling

GPCE Keynote - Live Programming and Programming by Example: Better Together

Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example

[POPL23] Context-Bounded Verification of Context-Free Specifications

How Do Programmers Use Unsafe Rust?

Hidden Inheritance: An Inline Caching Design for TypeScript Performance

Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism

A Domain-Specific Language for Filtering in Application-Level Gateways

Handling Bidirectional Control Flow

ICFP21 Tutorials - Programming with Effect Handlers and FBIP in Koka

[ICFP24] Green - ICFP Papers and Events (Sep 4th)

The Semantics of Shared Memory in Intel CPU/FPGA Systems

[ICFP24] Green - ICFP Papers and Events (Sep 5th)

[OCaml22] Tracing OCaml Programs

[Onward!] The Principles of the Flix Programming Language

[Tutorials @ ICFP22] OCaml 5 for the working Programmer (Part1)

[OCaml22] Composing Schedulers using Effect Handlers

Featherweight Go

[ICFP24] Orange 2 - OCaml (Sep 7th)

Detecting Floating-Point Errors via Atomic Conditions

Compiler Directed Soft Error Resilience for Lightweight GPU Register File Prote...

[ML22] Do Mutable Variables Have Reference Types?

Dynamic Pattern Matching with Python

[DLS] Dynamic Pattern Matching with Python

[ICFP22] Retrofitting Concurrency – Lessons from the Engine Room

Sound Garbage Collection for C using Pointer Provenance

Scheme for scientific computing Scheme 2020

[IWACO23] Oxidize: A Step-Debugger for Static Semantics

Syntax Templates In Racket

[SLE] Yet Another Generating Method of Fluent Interfaces Supporting Flat- and Sub-chaining Styles