Bashon: A Hybrid Crowd-Machine Workflow for Shell Command Synthesis. - Chen, Yan; Herskovitz, Jaylin; Lasecki, Walter S.; Oney, Steve (2020)