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
∙
07/16/2021
Enhancing Loop-Invariant Synthesis via Reinforcement Learning
Loop-invariant synthesis is the basis of every program verification proc...
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
∙
03/18/2020
Signature restriction for polymorphic algebraic effects
It has been well known that naively combining polymorphic effects and po...
research
∙
10/18/2019
Gradual Typing for Extensibility by Rows
This work studies gradual typing for row types and row polymorphism. Key...
research
∙
04/05/2019
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
We present a method to extract a weighted finite automaton (WFA) from a ...
research
∙
11/18/2018
Handling polymorphic algebraic effects
Algebraic effects and handlers are a powerful abstraction mechanism to r...
research
∙
10/30/2018
Dynamic Type Inference for Gradual Hindley--Milner Typing
Garcia and Cimini study a type inference problem for the ITGL, an implic...
research
∙
06/19/2018
Reasoning about Polymorphic Manifest Contracts
Manifest contract calculi, which integrate cast-based dynamic contract c...
research
∙
05/30/2018
Automated proof synthesis for propositional logic with deep neural networks
This work explores the application of deep learning, a machine learning ...
research
∙
04/26/2018
Profile-guided memory optimization for deep neural networks
Recent years have seen deep neural networks (DNNs) becoming wider and de...
research
∙
06/20/2017
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic
Inspired by the recent evolution of deep neural networks (DNNs) in machi...
research
∙
03/01/2017