Popl 22 Solving String Constraints

Media Summary: Philipp Rümmer (Uppsala University) ... Type-Level Programming with Match Types Olivier Blanvillain, Jonathan Immanuel Brachthuser, Maxime Kjaer, and Martin ... An increasing number of applications in verification and security rely on or could benefit from automatic solvers that can check the ...

Popl 22 Solving String Constraints - Detailed Analysis & Overview

Philipp Rümmer (Uppsala University) ... Type-Level Programming with Match Types Olivier Blanvillain, Jonathan Immanuel Brachthuser, Maxime Kjaer, and Martin ... An increasing number of applications in verification and security rely on or could benefit from automatic solvers that can check the ... Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution Anders Miltner, Adrian Trejo Nuñez, Ana Brendel ... A Cost-Aware Logical Framework Yue Niu, Jonathan Sterling, Harrison Grodin, and Robert Harper (Carnegie Mellon University, ... Moebius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself Junyoung Jang, ...

Photo Gallery

[POPL'22] Solving String Constraints with Regex-Dependent Functions through Transducers wi

[POPL'22] Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Funct

[POPL'23] On the Expressive Power of String Constraints

Solving String Constraints, Starting From the Beginning and From the End

[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...

[TutorialFest@POPL'24] String Solving for Verification

[POPL'22] Type-Level Programming with Match Types

[OOPSLA23] Solving String Constraints with Lengths by Stabilization

CSS Minification via Constraint Solving

An Efficient Solver for string and regular expression constraints

[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

[POPL'22] A Cost-Aware Logical Framework

View Detailed Profile

[POPL'22] Solving String Constraints with Regex-Dependent Functions through Transducers wi

[POPL'22] Solving String Constraints with Regex-Dependent Functions through Transducers wi

Solving String Constraints

[POPL'22] Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Funct

[POPL'22] Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Funct

Solving Constrained

[POPL'23] On the Expressive Power of String Constraints

[POPL'23] On the Expressive Power of String Constraints

[

Solving String Constraints, Starting From the Beginning and From the End

Solving String Constraints, Starting From the Beginning and From the End

Philipp Rümmer (Uppsala University) ...

[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...

[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...

When Subtyping

[TutorialFest@POPL'24] String Solving for Verification

[TutorialFest@POPL'24] String Solving for Verification

[TutorialFest@

[POPL'22] Type-Level Programming with Match Types

[POPL'22] Type-Level Programming with Match Types

Type-Level Programming with Match Types Olivier Blanvillain, Jonathan Immanuel Brachthuser, Maxime Kjaer, and Martin ...

[OOPSLA23] Solving String Constraints with Lengths by Stabilization

[OOPSLA23] Solving String Constraints with Lengths by Stabilization

Solving String Constraints

CSS Minification via Constraint Solving

CSS Minification via Constraint Solving

Paper and supplementary material: ...

An Efficient Solver for string and regular expression constraints

An Efficient Solver for string and regular expression constraints

An increasing number of applications in verification and security rely on or could benefit from automatic solvers that can check the ...

[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution Anders Miltner, Adrian Trejo Nuñez, Ana Brendel ...

[POPL'22] A Cost-Aware Logical Framework

[POPL'22] A Cost-Aware Logical Framework

A Cost-Aware Logical Framework Yue Niu, Jonathan Sterling, Harrison Grodin, and Robert Harper (Carnegie Mellon University, ...

[POPL'22] Moebius: Metaprogramming using Contextual Types

[POPL'22] Moebius: Metaprogramming using Contextual Types

Moebius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself Junyoung Jang, ...