Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Program Synthesis

Showing: 73 courses
Stanford University

Stanford Seminar - Deploying Autonomous Service Mobile Robots, and Keeping Them Autonomous

0 rewiews
Explore challenges and solutions in deploying autonomous mobile robots in dynamic environments, covering robustness, failure anticipation, and efficient adaptation to user needs through advanced perception and learning techniques.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
Massachusetts Institute of Technology

EI Seminar - Recent Papers in Embodied Intelligence

0 rewiews
Explore cutting-edge research in embodied intelligence, covering topics like experiment design, neuro-symbolic models, robot design, speech recognition, and social perception.
Add to list
15 Lesons
53 minutes
On-Demand
Free-Video
The Julia Programming Language

Herb.jl: Teaching Programs How to Program with Program Synthesis

0 rewiews
Explore Herb.jl, a Julia library for program synthesis, unifying various approaches and providing tools for developing new synthesizers and solving complex problems.
Add to list
1 Lesons
10 minutes
On-Demand
Free-Video
Fission

Towards Intelligent Application Security

0 rewiews
Exploring the evolution of application security and proposing an automated approach integrating security into development and operations, aided by learning techniques and threat intelligence.
Add to list
1 Lesons
52 minutes
On-Demand
Free-Video
ACM SIGPLAN

Towards Higher-level Abstractions for Molecular Programming

0 rewiews
Explore higher-level abstractions for molecular programming using chemical reaction networks, inspired by functional reactive programming. Build modular CRN programs with a Haskell library.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
INSAIT Institute

Neurosymbolic Programming - An Emerging Subarea of AI

0 rewiews
Explore neurosymbolic programming's fusion of deep learning and program synthesis, discovering how it enhances AI robustness, interpretability, and efficiency through symbolic and neural approaches.
Add to list
1 Lesons
59 minutes
On-Demand
Free-Video
INSAIT Institute

AI Will Program Itself: Synthesis, Learning and Beyond

0 rewiews
Explore how AI and program synthesis combine to revolutionize software development, enabling more reliable and introspective systems through code-based knowledge representation.
Add to list
26 Lesons
36 minutes
On-Demand
Free-Video
Centre for Networked Intelligence, IISc

Programmable Networks: Hardware, Software, and Applications

0 rewiews
Explore cutting-edge developments in programmable networks, from multi-tenant packet processing to compiler technology and distributed applications, with insights into future RPC processor designs.
Add to list
1 Lesons
1 hour 18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Data Extraction via Semantic Regular Expression Synthesis

0 rewiews
Explore semantic regexes for advanced data extraction, combining syntactic and semantic reasoning. Learn about a novel algorithm synthesizing these regexes from minimal examples.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Type-Directed Synthesis of Visualizations from Natural Language Queries

0 rewiews
Explore a novel technique for generating visualizations from natural language queries using program synthesis and refinement types, outperforming existing tools.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Synthesis II - Session Preview for POPL 2023

0 rewiews
Explore advanced program synthesis techniques and their applications in software development, presented by expert Nate Foster at POPL 2023.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

Languages with Decidable Learning: A Meta-theorem

0 rewiews
Explore finite-aspect checkable languages and their role in decidable learning, connecting expression syntax tree evaluation to finite tree automata for new learning results.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Explainable Program Synthesis by Localizing Specifications

0 rewiews
Explore explainable program synthesis through subspecifications, enhancing implementation understanding with logical formulas. Learn algorithms for constructing and verifying subspecifications, their properties, and impact on code comprehension.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs

0 rewiews
Explore algebro-geometric algorithms for template-based synthesis of polynomial programs, offering a scalable approach to program sketching without sacrificing completeness.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

0 rewiews
Explore efficient question selection in Oracle-Guided Inductive Synthesis. Learn about LearnSy, a novel selector improving OGIS solver performance through effective and efficient optimization techniques.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions

0 rewiews
Explore automatic synthesis of program specifications using Spyro, a tool that generates precise L-properties based on user queries and domain-specific languages, applicable in various programming contexts.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates

0 rewiews
Explore an innovative approach to synthesizing relational queries with recursion and invented predicates, outperforming state-of-the-art baselines in runtime and accuracy.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Message Chains for Distributed System Verification

0 rewiews
Explore an automated bookkeeping method using message chains to simplify verification of asynchronous distributed programs, revealing execution structure and aiding in system-level reasoning.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Synthesizing Efficient Memoization Algorithms

0 rewiews
Explore an automated approach for synthesizing efficient memoization algorithms from declarative specifications, addressing challenges through novel synthesis techniques and evaluation on real-world benchmarks.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Equality Saturation Theory Exploration à la Carte

0 rewiews
Explore Enumo, a new language for programmable theory exploration in equality saturation. Learn to guide rule inference, build rulesets, and develop strategies for optimizing compilers and synthesizers.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
ACM SIGPLAN

Optimal Program Synthesis via Abstract Interpretation - POPL 2024

0 rewiews
Explore a framework for optimal program synthesis using abstract interpretation, improving scalability with A* search and heuristics for numerical constant optimization in domain-specific languages.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Semi-Automated Direction-Driven Functional Conversion - miniKanren'23

0 rewiews
Explore semi-automated direction-driven functional conversion techniques in miniKanren, enhancing program transformation and optimization capabilities.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
ACM SIGPLAN

Semantic Code Refactoring for Abstract Data Types

0 rewiews
Explore automated semantic code refactoring for Abstract Data Types using a novel method that generates equivalent implementations based on new data representations and relational invariants.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Fusing Direct Manipulations into Functional Programs

0 rewiews
Explore a novel framework for bidirectional live programming that fuses direct manipulations into functional programs, enabling code-insensitive output modifications and automatic source code updates.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
Aleksa Gordić - The AI Epiphany

A Neural Network Solves and Generates Mathematics Problems by Program Synthesis - Paper Explained

0 rewiews
Explore how OpenAI's Codex model solves university-level math problems through program synthesis, covering calculus, differential equations, and linear algebra. Learn about prompt engineering and problem generation techniques.
Add to list
8 Lesons
33 minutes
On-Demand
Free-Video
Yannic Kilcher

DreamCoder- Growing Generalizable, Interpretable Knowledge With Wake-Sleep Bayesian Program Learning

0 rewiews
Explores DreamCoder's approach to program synthesis, combining neural-guided search with symbolic reasoning to learn generalizable knowledge and solve complex tasks through iterative abstraction and refinement.
Add to list
11 Lesons
48 minutes
On-Demand
Free-Video
Simons Institute

Using Program Synthesis to Build Compilers

0 rewiews
Explore program synthesis techniques for building efficient compilers, focusing on syntax-driven compilation, verification, and evaluation methods.
Add to list
8 Lesons
27 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Autoformalization with Large Language Models - IPAM at UCLA

0 rewiews
Explore autoformalization using large language models for translating natural language math to formal proofs, advancing formal verification and AI in mathematics.
Add to list
14 Lesons
55 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Interpretable Machine Learning via Program Synthesis - IPAM at UCLA

0 rewiews
Explore interpretable machine learning through program synthesis, focusing on control policies and RNA splice prediction. Learn novel approaches for creating custom, problem-specific model families.
Add to list
27 Lesons
47 minutes
On-Demand
Free-Video
Linux Plumbers Conference

Verifying the Verifier - eBPF Range Analysis Verification

0 rewiews
Automated tool Agni checks eBPF verifier's range analysis correctness, extracts semantics from kernel source, and synthesizes programs to expose potential bugs in older kernel versions.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
USENIX

Sequence Abstractions for Flexible, Line-Rate Network Monitoring

0 rewiews
Introduces FLM, a language for network monitoring that recognizes packet sequences. Compiles to P4 code for switch ASICs, enabling efficient implementation of various monitoring tasks.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation

0 rewiews
Explore a novel approach to inductive program synthesis using iterative forward-backward abstract interpretation, enhancing search space pruning and improving synthesis efficiency.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

One Pixel Adversarial Attacks via Sketched Programs

0 rewiews
Explore a novel approach for one-pixel adversarial attacks using program synthesis, achieving state-of-the-art success rates with fewer queries and transferable programs for neural network classifiers.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Trace-Guided Inductive Synthesis of Recursive Functional Programs

0 rewiews
Explore a novel trace-guided approach for synthesizing recursive functional programs from input-output examples, addressing ambiguity and generalization challenges in program synthesis.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Towards a Language-parametric DSL for Refactoring - Short Paper

0 rewiews
Explore a language-parametric DSL approach for refactoring, examining its potential to streamline code improvement across multiple programming languages.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Synthesis 2 - Session Preview

0 rewiews
Explore cutting-edge research in program synthesis with Hila Peleg's preview of the Synthesis 2 session at POPL'24, highlighting recent advancements in the field.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

Toward Probabilistic Coarse-to-Fine Program Synthesis

0 rewiews
Explore probabilistic coarse-to-fine program synthesis, a novel approach using iterative refinement of stochastic programs to efficiently search and generate programs matching specifications.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

API-Driven Program Synthesis for Testing Static Typing Implementations

0 rewiews
Explore API-driven program synthesis for testing static typing in compilers. Learn about generating type-intensive programs using existing APIs to uncover compiler bugs efficiently.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Efficient Bottom-Up Synthesis for Programs with Local Variables

0 rewiews
Explore a novel synthesis algorithm for efficient program search with local variables, featuring lifted interpretation for improved space reduction in web automation tasks.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Machine Learning Meets Program Synthesis - TutorialFest at POPL'24

0 rewiews
Explore key principles for leveraging machine learning in program synthesis, examining challenges at the intersection of programming languages, software engineering, and AI.
Add to list
1 Lesons
2 hours 45 minutes
On-Demand
Free-Video
Strange Loop Conference

Program Synthesis - A Dream Realized

0 rewiews
Explore program synthesis, its challenges, and innovative approaches to improve inductive synthesis engines' generalizability and robustness. Learn about classical and inductive methods, common problems, and semantics-guided solutions.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Strange Loop Conference

You Are a Program Synthesizer

0 rewiews
Explore program synthesis insights to improve coding skills. Learn about code quality, specification-driven development, and advanced analysis techniques for better programming practices.
Add to list
9 Lesons
40 minutes
On-Demand
Free-Video
Strange Loop Conference

Type-Driven Program Synthesis

0 rewiews
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.
Add to list
20 Lesons
40 minutes
On-Demand
Free-Video
Black Hat

Greybox Program Synthesis - A New Approach to Attack Dataflow Obfuscation

0 rewiews
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.
Add to list
10 Lesons
36 minutes
On-Demand
Free-Video
USENIX

Synthesizing Runtime Programmable Switch Updates

0 rewiews
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.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Formal Methods for Network Performance Analysis

0 rewiews
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.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
GOTO Conferences

Automatic Programming - How Far Can Machines Go

0 rewiews
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.
Add to list
16 Lesons
52 minutes
On-Demand
Free-Video
Hack In The Box Security Conference

A Review of Modern Code Deobfuscation Techniques

0 rewiews
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.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
WeAreDevelopers

Program Synthesis

0 rewiews
Explore program synthesis techniques including data wrangling, enumerative search, and superoptimization. Learn about tools like FlashFill and PROSE for automated code generation and optimization.
Add to list
17 Lesons
44 minutes
On-Demand
Free-Video
Linux Plumbers Conference

Automatically Optimizing BPF Programs Using Program Synthesis

0 rewiews
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.
Add to list
15 Lesons
48 minutes
On-Demand
Free-Video
NDC Conferences

A World Without Programmers?

0 rewiews
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.
Add to list
19 Lesons
54 minutes
On-Demand
Free-Video
Simons Institute

Reactive Synthesis - Open Questions and Challenges

0 rewiews
Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
Simons Institute

Grisette: Symbolic Compilation as a Functional Programming Library

0 rewiews
Explore symbolic compilation techniques in functional programming with Grisette, enhancing model and system synthesis capabilities for advanced software development.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
ACM SIGPLAN

Automated Translation of Functional Big Data Queries to SQL

0 rewiews
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.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
ACM SIGPLAN

PL4XGL: A Programming Language Approach to Explainable Graph Learning

0 rewiews
Explore a novel programming language approach to explainable graph learning, addressing limitations in GNN explainability through a graph description language and interpretable classification model.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
ACM SIGPLAN

Language Model Agents Enable Semi-Formal Programming - LIVE23

0 rewiews
Explore semi-formal programming using language model agents to capture semantic information and execute informal program elements, enhancing malleable programming environments.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Exploratory Study on Multi-User Program Synthesis - A Multi-Wizard Approach

0 rewiews
Explore multi-user program synthesis through a design experiment, investigating collaborative potential and effectiveness in software engineering and related domains.
Add to list
1 Lesons
25 minutes
On-Demand
Free-Video
ACM SIGPLAN

Bi-abductive Adversarial Program Synthesis

0 rewiews
Explore bi-abductive adversarial program synthesis techniques in this advanced computer science talk by Julien Vanegue.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Conflict-Driven Synthesis for Layout Engines

0 rewiews
Explore Medea, a framework for automatically generating efficient and correct incremental layout engines, addressing challenges in web browser development and improving performance.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
ACM SIGPLAN

Leveraging Rust Types for Program Synthesis

0 rewiews
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.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

ImageEye: Batch Image Processing using Program Synthesis

0 rewiews
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.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Equivalence by Canonicalization for Synthesis-Backed Refactoring

0 rewiews
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.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Simons Institute

Counterexample-Guided Inference of Modular Specifications

0 rewiews
Explore an algorithm for automatically inferring function specifications in modular verification, enhancing compositional proofs and extending completeness to infinite specification sets.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
ACM SIGPLAN

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples

0 rewiews
Design Datalog templates for synthesizing bidirectional programs from tabular examples, exploring innovative approaches in program synthesis and transformation.
Add to list
1 Lesons
31 minutes
On-Demand
Free-Video
ACM SIGPLAN

Program Synthesis via Bi-directional Reduced-product Abstract Interpretation - N40AI'24

0 rewiews
Explore bi-directional reduced-product abstract interpretation for inductive program synthesis, focusing on example-based techniques and their application to bit-manipulation programs.
Add to list
1 Lesons
39 minutes
On-Demand
Free-Video
Neurosymbolic Programming for Science

SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b

0 rewiews
Explore deductive program synthesis for creating provably correct pointer-manipulating programs using SuSLik. Practice specifying programs with formal logic and learn about separation logic.
Add to list
20 Lesons
41 minutes
On-Demand
Free-Video
Simons Institute

A Tutorial on Neurosymbolic Techniques

0 rewiews
Explore neurosymbolic techniques for synthesizing models and systems, blending neural networks with symbolic reasoning to enhance AI capabilities.
Add to list
1 Lesons
1 hour 33 minutes
On-Demand
Free-Video
Neurosymbolic Programming for Science

Better Learning Through Programming Languages: Neurosymbolic Synthesis and Learning

0 rewiews
Explore program synthesis evolution as a learning tool, from early data-driven models to modern neurosymbolic algorithms.
Add to list
1 Lesons
1 hour 13 minutes
On-Demand
Free-Video
Uncertainty in Artificial Intelligence

Deep Learning Advances in Uncertainty and Generative Modeling - Session 1

0 rewiews
Explore cutting-edge deep learning research, including Bayesian methods, generative modeling, visual concept programming, conformal regression, and heteroskedastic regression analysis.
Add to list
1 Lesons
2 hours 3 minutes
On-Demand
Free-Video
MICDE University of Michigan

Performance Aware Program Synthesis for Scientific Computing - Enabling Effective Lazy Programmers

0 rewiews
Explore performance-aware program synthesis techniques for scientific computing, focusing on efficient code generation and optimization strategies for computational research.
Add to list
1 Lesons
35 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Learning Libraries of Programmatic Policies

0 rewiews
Discover how artificial agents can learn and maintain libraries of reusable behaviors for solving sequential decision-making problems through programming and neural network approaches.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Program Synthesis: Applications, Experiences, and Neuro-Symbolic Techniques

0 rewiews
Explore program synthesis applications across spreadsheets, development, and education, discovering how user intent combines with neuro-symbolic techniques and LLMs for enhanced automated solutions.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Abstraction and Evolution with Large Language Models

0 rewiews
Explore how large language models enhance genetic programming through concept-guided evolution, with applications in symbolic regression and image classification demonstrated through practical examples.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video