Login / Signup
Peiyuan Shen
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Metamodel
Program Synthesis
Semi Supervised
Abductive Inference
Top Venues
PLDI
</>
Publications
</>
Kangjing Huang
,
Xiaokang Qiu
,
Peiyuan Shen
,
Yanjun Wang
Reconciling enumerative and deductive program synthesis.
PLDI
(2020)