Popl 2021 Semantics Guided Synthesis

Media Summary: Jinwoo Kim (University of Wisconsin-Madison) Loris D'Antoni (University of Wisconsin-Madison, USA) Qinheping Hu (University of ... Fosco Loregian (Tallinn University of Technology) Chad Nester (Tallinn University of Technology) Ivan Di Liberti (Czech Academy ... Today's computer systems are insecure. The

Popl 2021 Semantics Guided Synthesis - Detailed Analysis & Overview

Jinwoo Kim (University of Wisconsin-Madison) Loris D'Antoni (University of Wisconsin-Madison, USA) Qinheping Hu (University of ... Fosco Loregian (Tallinn University of Technology) Chad Nester (Tallinn University of Technology) Ivan Di Liberti (Czech Academy ... Today's computer systems are insecure. The Submission to the GENEA Challenge 2020 on gesture generation "CGVU: Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... This video was recorded at Code Mesh V 2020 - MANTIS:

Jules Jacobs (Radboud University Nijmegen) Paper: Abstract Probabilistic ... Higher-order concurrent separation logic has been very successful in verifying correctness of intricate programs and reasoning ...

Photo Gallery

[POPL 2021] Semantics-Guided Synthesis (full)

Skeletal Semantics and their Interpretations

[POPL 2021] Functorial Semantics for Partial Theories (full)

On the Semantic Expressiveness of Recursive Types -- POPL 2021 Full Video

[POPL 2021] PriSC

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

[POPL'24] Semantic Code Refactoring for Abstract Data Types

CGVU: Semantics-guided 3D Body Gesture Synthesis

[POPL 2021] A Separation Logic for Effect Handlers (full)

MANTIS: Semantics-driven Inductive Program Synthesis | Roopsha Samanta | Code Mesh V 2020

[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...

[POPL 2021] Paradoxes of probabilistic programming (full)

View Detailed Profile

[POPL 2021] Semantics-Guided Synthesis (full)

[POPL 2021] Semantics-Guided Synthesis (full)

Jinwoo Kim (University of Wisconsin-Madison) Loris D'Antoni (University of Wisconsin-Madison, USA) Qinheping Hu (University of ...

Skeletal Semantics and their Interpretations

Skeletal Semantics and their Interpretations

Paper and supplementary material: ...

[POPL 2021] Functorial Semantics for Partial Theories (full)

[POPL 2021] Functorial Semantics for Partial Theories (full)

Fosco Loregian (Tallinn University of Technology) Chad Nester (Tallinn University of Technology) Ivan Di Liberti (Czech Academy ...

On the Semantic Expressiveness of Recursive Types -- POPL 2021 Full Video

On the Semantic Expressiveness of Recursive Types -- POPL 2021 Full Video

This is the long presentation for the

[POPL 2021] PriSC

[POPL 2021] PriSC

Today's computer systems are insecure. The

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

Big-Stop

[POPL'24] Semantic Code Refactoring for Abstract Data Types

[POPL'24] Semantic Code Refactoring for Abstract Data Types

Semantic

CGVU: Semantics-guided 3D Body Gesture Synthesis

CGVU: Semantics-guided 3D Body Gesture Synthesis

Submission to the GENEA Challenge 2020 on gesture generation "CGVU:

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL 2021] A Separation Logic for Effect Handlers (full)

Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: https://dl.acm.org/doi/pdf/10.1145/3434314 User-defined ...

MANTIS: Semantics-driven Inductive Program Synthesis | Roopsha Samanta | Code Mesh V 2020

MANTIS: Semantics-driven Inductive Program Synthesis | Roopsha Samanta | Code Mesh V 2020

This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ MANTIS:

[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...

[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...

Enhanced Enumeration Techniques for

[POPL 2021] Paradoxes of probabilistic programming (full)

[POPL 2021] Paradoxes of probabilistic programming (full)

Jules Jacobs (Radboud University Nijmegen) Paper: https://dl.acm.org/doi/pdf/10.1145/3434339 Abstract Probabilistic ...

[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany

[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany

Higher-order concurrent separation logic has been very successful in verifying correctness of intricate programs and reasoning ...