Mukund Raghothaman

Generating Function Names to Improve Comprehension of Synthesized Programs

2024

The hope of allowing programmers to more freely express themselves has led to a proliferation of program synthesis techniques. These tools automatically derive implementations from high-level specifications of user intent. These specifications may take the …