research
∙
11/26/2022
Safety Verification of Declarative Smart Contracts
Smart contracts manage a large number of digital assets nowadays. Bugs i...
share
research
∙
07/27/2022
Declarative Smart Contracts
This paper presents DeCon, a declarative programming language for implem...
research
∙
10/12/2021
NetRep: Automatic Repair for Network Programs
Debugging imperative network programs is a challenging task for develope...
research
∙
07/20/2021
Active operator inference for learning low-dimensional dynamical-system models from noisy data
Noise poses a challenge for learning dynamical-system models because alr...
research
∙
03/03/2020
Data Migration using Datalog Program Synthesis
This paper presents a new technique for migrating data between different...
research
∙
04/11/2019
Synthesizing Database Programs for Schema Refactoring
Many programs that interact with a database need to undergo schema refac...
research
∙
12/20/2018
Formal Specification and Verification of Smart Contracts for Azure Blockchain
In this paper, we describe the formal verification of Smart Contracts of...
research
∙
09/07/2018
Relational Program Synthesis
This paper proposes relational program synthesis, a new problem that con...
research
∙
10/20/2017