Sort by:

• Highly Influential Citations
• Citations
• Acceleration
• Velocity
• Recency

Learn More

FlashMeta: a framework for inductive program synthesis

• Oleksandr Polozov, Sumit Gulwani
• OOPSLA
• 2015

Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with disruptive applications for automating repetitive tasks in end-user programming. However, designing, developing, and maintaining an effective industrial-quality inductive synthesizer is an intellectual and engineering challenge, requiring 1-2 man-years of effort. Our novel… (More)

User Interaction Models for Disambiguation in Programming by Example

• Mikaël Mayer, Gustavo Soares, +6 authors Sumit Gulwani
• UIST
• 2015

Programming by Examples (PBE) has the potential to revolutionize end-user programming by enabling end users, most of whom are non-programmers, to create small scripts for automating repetitive tasks. However, examples, though often easy to provide, are an ambiguous specification of the user's intent. Because of that, a key impedance in adoption of PBE… (More)

Personalized Mathematical Word Problem Generation

• Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke S. Zettlemoyer, Sumit Gulwani, Zoran Popovic
• IJCAI
• 2015

Word problems are an established technique for teaching mathematical modeling skills in K-12 education. However, many students find word problems unconnected to their lives, artificial, and uninteresting. Most students find them much more difficult than the corresponding symbolic representations. To account for this phenomenon, an ideal pedagogy might… (More)

LaSEWeb: automating search strategies over semi-structured web data

• Oleksandr Polozov, Sumit Gulwani
• KDD
• 2014

We show how to programmatically model processes that humans use when extracting answers to queries (e.g., "Who invented typewriter?", "List of Washington national parks") from semi-structured Web pages returned by a search engine. This modeling enables various applications including automating repetitive search tasks, and helping search engine developers… (More)

Learning syntactic program transformations from examples

• Reudismam Rolim, Gustavo Soares, +5 authors Björn Hartmann
• ICSE
• 2017

—Integrated Development Environments (IDEs), such as Visual Studio, automate common transformations, such as Rename and Extract Method refactorings. However, extending these catalogs of transformations is complex and time-consuming. A similar phenomenon appears in intelligent tutoring systems where instructors have to write cumbersome code transformations… (More)

Interactive Program Synthesis

• Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani
• ArXiv
• 2017

Program synthesis from incomplete specifications (e.g. input-output examples) has gained popularity and found real-world applications, primarily due to its ease-of-use. Since this technology is often used in an interactive setting, efficiency and correctness are often the key user expectations from a system based on such technologies. Ensuring efficiency is… (More)

• ‹
• 1
• ›