Exploring Perceus for OCaml - ML'23
Explore Perceus algorithm implementation in OCaml, comparing its performance with standard garbage collection. Learn about precise reference counting and its potential benefits.
Wasocaml: A Compiler from OCaml to WebAssembly - Lecture
Explore OCaml to WebAssembly compilation, addressing challenges and strategies for garbage-collected languages. Learn about Wasocaml compiler, value representation, and future plans for FFIs and effects handlers.
Parallel Sequences in Multicore OCaml
Explore parallel sequences in Multicore OCaml 5.0.0, enabling efficient parallelization of large tasks without low-level implementation complexities.
State of the OCaml Platform 2023
Explore a decade of OCaml Platform progress, recent advancements, and future roadmap. Gain insights into key milestones, community feedback, and plans shaping the OCaml developer experience.
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Explore innovative approaches to improve type error messages in constraint-based type inference systems, focusing on data flow and subtyping constraints to enhance programmer understanding.
Nanopass Attribute Grammars - Managing Complexity in Compiler Design
Explore nanopass attribute grammars for managing compiler complexity, enabling type-safe language versioning and transformation composition in feature-rich language implementations.
Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages
Explore a lightweight generator composition concept using symbol tables for heterogeneous modeling languages, enabling seamless code generator synchronization and enhancing language composition capabilities.
Lifting On-Demand Analysis to Higher-Order Languages
Explore an innovative approach to on-demand analysis for higher-order languages, focusing on precise call graph construction and scalable bug detection in complex code bases.
Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance
Explore a novel technique for improving AST interpreter performance through automatically generated supernodes, enhancing execution speed and reducing JIT compiler pressure in programming language implementations.
Language Model Agents Enable Semi-Formal Programming - LIVE23
Explore semi-formal programming using language model agents to capture semantic information and execute informal program elements, enhancing malleable programming environments.
Relational Solver for Java Generics Type System
Explore a relational solver for Java Generics Type System, enhancing understanding of advanced programming concepts and type theory.
CodeProber: Live Compiler Exploration - LIVE23
Explore interactive compiler debugging with CodeProber. Learn to identify and fix bugs in language tooling using source code-based exploration of AST properties.
Behavioral Up/Down Casting for Statically Typed Languages
Explore advanced typestate-based checking for Java, focusing on inheritance, polymorphism, and protocol compliance. Learn to enhance object-oriented code safety and expressiveness.
Degrees of Separation: A Flexible Type System for Data Race Prevention
Explore a flexible type system for data race prevention in parallel programming, allowing aliasing while controlling it to prevent data races. Implemented as a Scala 3 compiler extension.
Realizing Persistent Signals in JavaScript
Explore persistent signals implementation in JavaScript, enabling time-travel functionality and broader application in web development through relay-server architecture and DSL library approach.
Actix-Telepathy: Distributed Actor Programming in Rust
Explore Actix-Telepathy, an extension for Rust's Actix library enabling remote messaging and clustering support for distributed applications using the actor programming model.
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Explore safety guarantees in Rust-SPARK language bindings, focusing on the BBQueue circular buffer library. Learn about maintaining compile-time safety across language boundaries in embedded systems.
Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation
Explore principles for designing inclusive programming language textbooks, focusing on human-centered approaches and interdisciplinary applications in computer science education.
Ansible Is Turing Complete
Explore Ansible's unexpected Turing completeness through core language features. Discover how this configuration management tool achieves computational universality without relying on external languages or plugins.
Applying Large Scale Diffing to Declarative Configuration Code for Production Safety
Explore large-scale diffing for declarative configuration code to enhance production safety, addressing unintended consequences and testing challenges in config changes.
CLOVER: Closed-Loop Verifiable Code Generation - Dafny'24
Explore CLOVER, a paradigm for ensuring correctness in AI-generated code through consistency checking among code, docstrings, and formal annotations using verification tools and language models.