Program Sketching by Automatically Generating Mocks from Tests. - Nate F. F. Bragg; Jeffrey S. Foster; Cody Roux; Armando Solar-Lezama (CAV (1), 2021)

Scimitar: Functional Programs as Optimization Problems. - Nate F. F. Bragg; Jeffrey S. Foster; Philip Zucker (Onward!, 2024)