Si Xujie について
University of Pennsylvania, USA について
Lee Woosuk について
University of Pennsylvania, USA / Hanyang University, South Korea について
Zhang Richard について
University of Pennsylvania, USA について
Albarghouthi Aws について
University of Wisconsin-Madison, USA について
Koutris Paraschos について
University of Wisconsin-Madison, USA について
Naik Mayur について
University of Pennsylvania, USA について
ACM Proceedings について
データベース について
アルプス について
ベンチマーク について
プログラム解析 について
ドメイン知識 について
Datalog について
探索空間 について
能動学習 について
用例 について
表現力 について
クエリー について
構文 について
アクティブ学習 について
Datalog について
プログラム解析 について
構文誘導合成 について
テンプレート増強 について
計算機システム開発 について
汎用プログラミング言語 について
Datalog について
構文 について
誘導 について