research
∙
01/24/2023
Higher-Order Weakest Precondition Transformers via a CPS Transformation
Weakest precondition transformers are essential notions for program veri...
research
∙
04/23/2021
Decision Tree Learning in CEGIS-Based Termination Analysis
We present a novel decision tree-based synthesis algorithm of ranking fu...
research
∙
10/16/2020
General Semantic Construction of Dependent Refinement Type Systems, Categorically
Refinement types are types equipped with predicates that specify precond...
research
∙
02/17/2020
Graded Algebraic Theories
We provide graded extensions of algebraic theories and Lawvere theories ...
research
∙
11/16/2018