36 citations · 44 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 2 cited
Synthesizing Queries via Interactive Sketching
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints e…
cs.PL2019★ 3 cited
The Random Conditional Distribution for Higher-Order Probabilistic Inference
Zenna Tavares, Xin Zhang, Edgar Minaysan +3
The need to condition distributional properties such as expectation, variance, and entropy arises in algorithmic fairness, model simplification, robustness and many other areas. At…