Popl 24 Programming By Demonstration

Media Summary: Fusing Direct Manipulations into Functional Inference of Robust Reachability Constraints ( Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic

Popl 24 Programming By Demonstration - Detailed Analysis & Overview

Fusing Direct Manipulations into Functional Inference of Robust Reachability Constraints ( Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Sound Gradual Verification with Symbolic Execution ( The Logical Essence of Well-Bracketed Control Flow ( On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability (

Decalf: A Directed, Effectful Cost-Aware Logical Framework (

Photo Gallery

[POPL'24] Programming-by-Demonstration for Long-Horizon Robot Tasks

[POPL'24] Fusing Direct Manipulations into Functional Programs

[POPL'24] Inference of Robust Reachability Constraints

[POPL'24] Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Progr...

[POPL'24] Sound Gradual Verification with Symbolic Execution

[POPL'24] On Learning Polynomial Recursive Programs

[POPL'24] The Logical Essence of Well-Bracketed Control Flow

[POPL'24] On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

[POPL'24] Effectful Software Contracts

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

[POPL'24] On Model-Checking Higher-Order Effectful Programs

[POPL'24] Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

View Detailed Profile

[POPL'24] Programming-by-Demonstration for Long-Horizon Robot Tasks

[POPL'24] Programming-by-Demonstration for Long-Horizon Robot Tasks

Programming-by-Demonstration

[POPL'24] Fusing Direct Manipulations into Functional Programs

[POPL'24] Fusing Direct Manipulations into Functional Programs

Fusing Direct Manipulations into Functional

[POPL'24] Inference of Robust Reachability Constraints

[POPL'24] Inference of Robust Reachability Constraints

Inference of Robust Reachability Constraints (

[POPL'24] Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Progr...

[POPL'24] Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Progr...

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic

[POPL'24] Sound Gradual Verification with Symbolic Execution

[POPL'24] Sound Gradual Verification with Symbolic Execution

Sound Gradual Verification with Symbolic Execution (

[POPL'24] On Learning Polynomial Recursive Programs

[POPL'24] On Learning Polynomial Recursive Programs

On Learning Polynomial Recursive

[POPL'24] The Logical Essence of Well-Bracketed Control Flow

[POPL'24] The Logical Essence of Well-Bracketed Control Flow

The Logical Essence of Well-Bracketed Control Flow (

[POPL'24] On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

[POPL'24] On-The-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability (

[POPL'24] Effectful Software Contracts

[POPL'24] Effectful Software Contracts

Effectful Software Contracts (

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

Optimal

[POPL'24] On Model-Checking Higher-Order Effectful Programs

[POPL'24] On Model-Checking Higher-Order Effectful Programs

On Model-Checking Higher-Order Effectful

[POPL'24] Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

[POPL'24] Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

Inference of Probabilistic

[POPL'24] Decalf: A Directed, Effectful Cost-Aware Logical Framework

[POPL'24] Decalf: A Directed, Effectful Cost-Aware Logical Framework

Decalf: A Directed, Effectful Cost-Aware Logical Framework (