research
∙
03/06/2021
Synthesis with Asymptotic Resource Bounds
We present a method for synthesizing recursive functions that satisfy bo...
share
research
∙
04/02/2020
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
We consider the problem of automatically establishing that a given synta...
research
∙
03/30/2020
Templates and Recurrences: Better Together
This paper is the confluence of two streams of ideas in the literature o...
research
∙
05/14/2019