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.
Deriving as a Library - Type Classes and Language Features
Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.
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.
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.
Static Analysis of Memory Models for SMT Encodings
Improve efficiency of bounded model checkers with static analysis and SMT encoding optimizations for memory models, reducing verification time by up to 40% in challenging benchmarks.
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Explore DebloaterX, a novel approach for efficient object-sensitive pointer analysis. Learn how container-usage patterns improve context debloating, enhancing performance with minimal precision loss.
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable - OOPSLA 2023
Explore a novel graph IR for aggressive global optimizations in impure higher-order languages, combining reachability types and effect systems for precise dependency tracking and efficient code optimization.
A Cocktail Approach to Practical Call Graph Construction
Explore a novel cocktail approach for efficient call graph construction in C-based software, improving precision and scalability for vulnerability detection and code understanding.
Optimization-Aware Compiler-Level Event Profiling
Explore a novel technique for quantifying compiler-internal events in optimized code, reducing profiling perturbation and enhancing dynamic analysis accuracy.
Accelerating Fuzzing through Prefix-Guided Execution
Explore prefix-guided execution for accelerating coverage-guided fuzzing, improving bug detection and code coverage in software testing through early termination of unlikely tests.
A Low-Code Platform for Systematic Component-Oriented Language Composition
Explore a low-code platform for systematic language composition using visual interfaces and pre-built components, streamlining domain-specific language development and promoting reuse.
Generating Java Interfaces for Accessing Foreign Objects in GraalVM - Work in Progress
Explore a tool for automating Java interface generation to access foreign language objects in GraalVM, improving code clarity and reducing errors in language interoperability.
Evaluating YJIT's Performance in a Production Context - A Pragmatic Approach
Explore YJIT's performance in Ruby, comparing benchmarks and real-world deployment. Analyze speed, memory usage, and warm-up time against other JIT compilers for pragmatic evaluation.
A Multifaceted Memory Analysis of Java Benchmarks
Explore an in-depth study of memory behavior in Java benchmarks, offering insights into object allocations, accesses, and memory pressure through comprehensive profiling techniques.
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
Explore the comparison of Rapid Type Analysis and Points-To Analysis in GraalVM Native Image, focusing on performance improvements and trade-offs in ahead-of-time compilation for Java applications.
Configuration Testing for Borg at Google
Explore Google's innovative approach to unit testing Borg deployment configurations, addressing complexity challenges in large-scale systems and improving development efficiency.
Dafny Test Generation - Automated Testing for Verified Programs
Explore automated testing of Dafny programs with DTest. Learn to generate system-level tests, identify dead code, and ensure verified properties hold at runtime, enhancing confidence in code execution.
Gradual Typing and Verification - Session Preview
Explore gradual typing and verification techniques in programming languages with Ronald Garcia's preview of the POPL'24 session.