Type-Driven Program Synthesis
Explore type-driven program synthesis for creating complex data structures and repairing information flow leaks, enhancing software quality through declarative constructs and automated code generation.
Greybox Program Synthesis - A New Approach to Attack Dataflow Obfuscation
Explore cutting-edge program synthesis techniques for deobfuscation, focusing on intellectual property protection in mobile and embedded systems. Learn about latest advances and practical applications.
Synthesizing Runtime Programmable Switch Updates
Explores FlexPlan, a tool for safe runtime updates of programmable switches. Discusses techniques for generating step-by-step plans that maintain correctness and memory constraints during live reconfigurations.
Formal Methods for Network Performance Analysis
Explores using formal methods for network performance analysis, offering a more exhaustive approach than simulation. Demonstrates effectiveness in analyzing packet scheduling algorithms and generating problematic workloads.
Automatic Programming - How Far Can Machines Go
Explore the potential and limitations of program synthesis, from crowd-sourced solutions to AI-assisted programming, and discover how human-computer collaboration shapes the future of software development.
A Review of Modern Code Deobfuscation Techniques
Explore modern code deobfuscation techniques, from basic analysis to advanced semantic-based methods. Learn limitations of syntactic approaches and discover state-of-the-art program synthesis techniques.
Program Synthesis
Explore program synthesis techniques including data wrangling, enumerative search, and superoptimization. Learn about tools like FlashFill and PROSE for automated code generation and optimization.
Automatically Optimizing BPF Programs Using Program Synthesis
Explore automatic optimization of BPF programs through program synthesis, covering performance, safety, and practical applications. Learn about K2 equivalence checks and their impact on BPF development.
A World Without Programmers?
Explore program synthesis, its history, concepts, and real-world applications. Learn about automated code generation and its potential impact on the future of software development.
Reactive Synthesis - Open Questions and Challenges
Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.
Grisette: Symbolic Compilation as a Functional Programming Library
Explore symbolic compilation techniques in functional programming with Grisette, enhancing model and system synthesis capabilities for advanced software development.
Automated Translation of Functional Big Data Queries to SQL
Explore automated translation of functional big data queries to SQL, improving efficiency while maintaining abstraction benefits. Learn about novel column-wise decomposition for query synthesis.
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.
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.
Exploratory Study on Multi-User Program Synthesis - A Multi-Wizard Approach
Explore multi-user program synthesis through a design experiment, investigating collaborative potential and effectiveness in software engineering and related domains.
Bi-abductive Adversarial Program Synthesis
Explore bi-abductive adversarial program synthesis techniques in this advanced computer science talk by Julien Vanegue.
Conflict-Driven Synthesis for Layout Engines
Explore Medea, a framework for automatically generating efficient and correct incremental layout engines, addressing challenges in web browser development and improving performance.
Leveraging Rust Types for Program Synthesis
Explore how Rust's type system enhances program synthesis, simplifying specifications and improving performance. Learn about Synthetic Ownership Logic and the RusSOL tool for automatic synthesis of correct Rust programs.
ImageEye: Batch Image Processing using Program Synthesis
Explore a novel synthesis-based approach for fine-grained batch image processing, combining neural networks and symbolic reasoning to automate object-specific edits within images.
Equivalence by Canonicalization for Synthesis-Backed Refactoring
Explore a novel program synthesis framework for refactoring code to use library components, featuring a sound equivalence checking technique and applications in functional and numerical computing.
Counterexample-Guided Inference of Modular Specifications
Explore an algorithm for automatically inferring function specifications in modular verification, enhancing compositional proofs and extending completeness to infinite specification sets.