PL4XGL: A Programming Language Approach to Explainable Graph Learning
Explore a novel programming language approach to explainable graph learning, addressing limitations in GNN explainability through a graph description language and interpretable classification model.
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
Explore innovative techniques for optimizing memory allocation in managed runtimes, combining static analysis with dynamic strategies to enhance performance and reduce garbage collection overhead.
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata - PLDI 2024
Explore a novel approach using symbolic finite automata for verifying representation invariants in functional programs interacting with stateful libraries, enhancing data structure implementation efficiency.
The Landscape of Formal Verification in APL - A Review with a Case Study in Quantum Computing
Explore formal verification in APL, focusing on its potential for building dependable software. Examine a case study in quantum computing and discuss future implications for software development.
Memory Management on Mobile Devices
Explore memory management challenges on mobile devices, focusing on Android Runtime. Learn about evaluation methods, benchmarks, and performance impacts in this critical yet understudied area.
Specializing Dynamic Language C Extensions Using Type Information
Explore a technique for optimizing C extension functions in dynamic language interpreters using typed methods, reducing call and return overhead for improved performance.
ValBench: Benchmarking Exact Value Analysis
Explore ValBench, a comprehensive benchmark suite for evaluating value analysis tools in Java and Android. Learn about its test cases, evaluation framework, and insights into current challenges in program analysis.
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
Explore a novel approach for detecting data races in concurrent data structures using summarization-guided concolic testing, enhancing efficiency in exploring dynamic shapes and exposing hidden races.
Static Analysis for CHERI - SOAP 2024
Explore custom static analyses supporting C/C++ code transition to CHERI hardware, enhancing memory protection and software compartmentalization for RISC-V and AArch64 architectures.
A Better Approximation for Interleaved Dyck Reachability
Explore a novel approach to interleaved Dyck reachability, offering improved precision for context- and field-sensitive static analyses through refined CFLs and on-demand application.
Descend: A Safe GPU Systems Programming Language
Explore Descend, a safe GPU programming language enforcing memory management through type systems. Learn about its holistic model, extended Borrow checking, and competitive performance against CUDA.
Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers
Explore techniques to bridge abstraction gaps in VM tooling using Language Level Ordinary Object Pointers, enhancing debugging and error resolution in Pharo environments.
jGuard - Programming Misuse-Resilient APIs
Explore jGuard, a Java extension enabling API designers to encode specifications directly, preventing misuse without additional tooling for users. Enhance API resilience effortlessly.
Gradual Grammars: Syntax in Levels and Locales
Explore gradual syntax definition for programming languages, enabling level-based learning and internationalization. Enhance accessibility for diverse users while minimizing impact on language processors.
Property-Based Testing: Climbing the Stairway to Verification - Lecture
Explore property-based testing's integration with formal verification for enhanced code correctness assurance, using Cogent's framework as a case study.
Portals: An Extension of Dataflow Streaming for Stateful Serverless
Explore serverless distributed programming with Portals, blending dataflow streaming and actor frameworks for scalable, atomic processing in decentralized applications.
Contextualized Programming Language Documentation - Enhancing Learning with Adaptive Explanations
Generate contextualized programming language documentation tailored to specific code, improving learning efficiency and understanding for developers working with new languages.
Bridging the Syntax-Semantics Gap in Programming - A Novel Programming-by-Demonstration Approach
Explore a novel programming-by-demonstration paradigm that bridges the syntax-semantics gap, enabling intuitive and visual program creation without learning complex syntax.
A Type System for Feature Engineering in Machine Learning
Explore a dependent type system for feature engineering, enhancing machine learning model inputs through advanced data operations and compiler techniques.
Semantic Encapsulation Using Linking Types
Explore semantic encapsulation with linking types to preserve language invariants when integrating foreign code, ensuring sound interoperability in multi-language systems.
Exploring Modal Types for the Intel Quantum SDK
Explore modal types for Intel Quantum SDK, focusing on a proposed type system with three modes to ensure proper data handling in quantum kernels.