Program Synthesis Without Full Specifications for Novel Applications
Perelman, Daniel Adam
MetadataShow full item record
Program synthesis is a family of techniques that generate programs from a description of what the program should do but not how it should do it. By designing a program synthesis algorithm together with the user interaction model we show that by accepting small increases in user effort, it is easier to write the synthesizer and the need for specialization of the synthesizer to a given domain is reduced without losing performance. In this work, we target three tasks to show the breadth of our methodology: code completion, end-user programming-by-example for data transformations, and feedback for introductory programming assignments. For each of these tasks, we develop an interaction model and program synthesis algorithm together to best support the user. In the first, we use partial expressions to allow programmers to express exactly what they don't know and want the completion system to fill in. In the second, we use the sequence of examples to inform building up larger programs iteratively. In the last, we use attempts from other students on the same assignment to mine corrections.
Showing items related by title, author, creator and subject.
Program evaluation of the Methicillin Resistant Staphylococcus aureus (MRSA) Program at the VA Puget Sound Health Care System. Grandjean, Marcus W. (2012-09-13)Methicillin Resistant Staphylococcus aureus (MRSA) is among the most common and costly hospital-acquired infections, and a major target of quality improvement efforts. A bundle of infection control practices has been ...
Interview with Abbot of Wat Benčamabopit, Bangkok, Chairman of Tharamacārik Program, about the program Keyes, Charles F.; ชารลส์ เอฟ. ไคส์ (2012-02-22)Typed index and transcript of tape recording of interview with Abbot of Wat Benčamabopit, Bangkok, Chairman of Thammacārik Program.
Eastin, Ivan (2/1/2008)Japan is a timber deficit country that requires substantial volumes of imported timber to meet its domestic demand for wood. To a large degree, wood demand in Japan is tied to housing starts where approximately 43% of new ...