Nate F. F. Bragg

According to our database, Nate F. F. Bragg authored at least 2 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scimitar: Functional Programs as Optimization Problems.

Nate F. F. Bragg, Jeffrey S. Foster, Philip Zucker

Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, 2024

2021

Program Sketching by Automatically Generating Mocks from Tests.

Nate F. F. Bragg, Jeffrey S. Foster, Cody Roux, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021