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
∙
06/04/2021
Constraint-based Relational Verification
In recent years they have been numerous works that aim to automate relat...
research
∙
10/23/2020
Automatic Repair of Vulnerable Regular Expressions
A regular expression is called vulnerable if there exist input strings o...
research
∙
07/07/2020