Dyalog and Apache Kafka Integration - True?
Explore Apache Kafka's potential with Dyalog APL, learning about distributed event streaming, real-time data pipelines, and practical implementation examples.
Wisening Assertions: A Live Bayesian Reasoning System for Probabilistic Correctness
Explore a novel approach to run-time assertions that balances robustness and scalability, gradually transitioning from "on" to "off" as confidence in code correctness increases over time.
SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java
Explore SHARP, a groundbreaking incremental context-sensitive pointer analysis algorithm for Java, offering improved performance and scalability for large-scale programs.
Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation
Explore coverage-guided fuzzing for tensor compilers using joint IR-pass mutation, enhancing reliability and detecting bugs in deep learning systems.
Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
Explore Pipit, a reactive language embedded in F★ for verifying and executing control systems. Learn about its verified translation and automatic safety property proofs.
Towards Mailbox Typing for Erlang - Lightning Talk
Explore mailbox typing for Erlang: a new technique to detect concurrency errors in actor-based languages, complementing existing tools like Concuerror model checker.
How to Add Dialyzer to an Existing Elixir Project - Lightning Talk
Learn strategies for integrating Dialyzer into existing Elixir projects smoothly, minimizing team friction and maximizing code quality benefits.
Building Web Apps with Haskell and IHP - Lightning Talk
Explore full-stack web app development using Haskell and IHP framework through a quick live demonstration.
Deriving as a Library - Type Classes and Language Features
Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.
Propagator Networks for Degenerate Computation - Enhancing Software Robustness
Explore propagator networks as a robust architecture for degenerate computation, enabling software evolution, operational feedback, and language mixing, with bioinformatics examples.
Modern DSL Compiler Architecture in OCaml - Experience with Catala
Explore state-of-the-art DSL implementation in OCaml, featuring concrete examples and insights from the Catala compiler for legal algorithms.
Less Power for More Learning - Restricting OCaml Features for Effective Teaching
Explore a framework for sandboxing OCaml features to automate grading of programming exercises, including feature restriction, mock IO system, and security considerations.
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Explore runtime detection of data races in OCaml using ThreadSanitizer. Learn core principles, challenges, adaptations, and practical application for reliable parallel code development.
Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages
Explore greedy implicit bounded quantification in object-oriented programming, focusing on type inference algorithms and a variant of kernel F≤ with implicit polymorphism.
Historia: Refuting Callback Reachability with Message-History Logics
Explore a novel approach to callback reachability in event-driven frameworks using message-history logics. Learn about targeted specification and goal-directed verification for improved app analysis.
Hardware-Aware Static Optimization of Hyperdimensional Computations
Explore hardware-aware static optimization for hyperdimensional computing, focusing on minimizing resource usage while meeting accuracy targets in error-prone hardware platforms.
Adventure of a Lifetime: Extract Method Refactoring for Rust
Explore automated 'Extract Method' refactoring for Rust, addressing ownership and lifetime challenges through program transformations and repair procedures. Gain insights into advanced code refactoring techniques.
Gradual Typing for Effect Handlers
Explore gradual typing for effect handlers, integrating effect typing with existing languages. Learn about GrEff language, its semantics, and the graduality theorem through operational logical relations models.
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Explore a novel approach to Verilog's formal semantics using λV, a core language addressing semantic pitfalls and facilitating tool development for hardware description languages.
A Grounded Conceptual Model for Ownership Types in Rust
Explore a systematic approach to teaching Rust's ownership types, featuring a new assessment tool, conceptual model, and visualizations to improve learner understanding of memory safety concepts.
Grounded Copilot - How Programmers Interact with Code-Generating Models
Explore how programmers interact with AI coding assistants like Github Copilot, uncovering bimodal usage patterns and providing recommendations for future AI programming tools.