research
∙
07/28/2023
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
Algebraic effects and handlers are a mechanism to structure programs wit...
share
research
∙
07/21/2022
Temporal Verification with Answer-Effect Modification
Type-and-effect systems are a widely-used approach to program verificati...
research
∙
11/10/2021
Software Model-Checking as Cyclic-Proof Search
This paper shows that a variety of software model-checking algorithms ca...
research
∙
07/16/2021
Enhancing Loop-Invariant Synthesis via Reinforcement Learning
Loop-invariant synthesis is the basis of every program verification proc...
research
∙
06/04/2021
Constraint-based Relational Verification
In recent years they have been numerous works that aim to automate relat...
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
∙
03/17/2021
Toward Neural-Network-Guided Program Synthesis and Verification
We propose a novel framework of program and invariant synthesis called n...
research
∙
07/07/2020