ACM SIGPLAN

Syntax Templates In Racket

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

VMIL 2021: Lightweight IOT abstractions for Embedded WebAssembly

[POPL'23] Top-Down Synthesis for Library Learning

Low level systems programming in a high level language

Programming Quantum Computers Tutorial

Symbolic and Automatic Differentiation of Languages

[Haskell'22] Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs

Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization

The Anchor Verifier for Blocking and Non-blocking Concurrent Software

[VMIL'22] Toward a Dynamic Language Toolkit

[SPLASH-E23] A Framework for the Localization of Programming Languages

[PADL'23] Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer ...

Adding Interactive Visual Syntax to Textual Code

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

[CPP'23] FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores

[POPL'23] FlashFill++: Scaling Programming by Example by Cutting to the Chase

The High-Level Benefits of Low-Level Sandboxing

[ICFP'23] Modular Models of Monoids with Operations

Computing Summaries of String Loops in C for Better Testing and Refactoring

Sound and Reusable Components for Abstract Interpretation

Experience Report on Solving the Problem Set of SICP completely.

[SPLASH'24] IBR West - OOPSLA (Oct 23)

[ICFP'23] TypeScript: Static types for JavaScript (Keynote)

[POPL'22] Tutorial: Data-driven program analysis

Verified Three-Way Program Merge

[VMIL23] Polyglot Programming through Foreign Function Interfaces

[Haskell'22] Cause and Effect(s): Towards a More Programmable Haskell

Parsing with Zippers (Functional Pearl) (ICFP 2020)

MAPS'22 - Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remediation Oracle

VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics

[Haskell'22] Embedded Pattern Matching

OCaml 2021 - Experiences with Effects

Symbolic Extended Regular Expressions Matching and Analysis

Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types

Coherence of Type Class Resolution

Towards the tower of Babel: a Polyglot Language VM in Java

Programming Support for Autonomizing Software

[VMCAI'22] Simplifying Concurrent Programming via Synchronization Synthesis

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

ιDOT: A DOT Calculus with Object Initialization

OCaml 2021 - Property-Based Testing for OCaml through Coq

The Rise of Compilerization

Reactive Probabilistic Programming

[Onward!] The Principles of the Flix Programming Language

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

A Type-and-Effect System for Object Initialization

Merging coeffect production into effect handling

[OCaML'23] Eio 1.0 – Effects-based IO for OCaml 5

[OLD] [VMIL24] A tour of CPython's runtime