skip to main content
invited-talk

Automating Repetitive Tasks for the Masses

Published:14 January 2015Publication History
Skip Abstract Section

Abstract

The programming languages (PL) research community has traditionally catered to the needs of professional programmers in the continuously evolving technical industry. However, there is a new opportunity that knocks our doors. The recent IT revolution has resulted in the masses having access to personal computing devices. More than 99% of these computer users are non-programmers and are today limited to being passive consumers of the software that is made available to them. Can we empower these users to more effectively leverage computers for their daily tasks? The formalisms, techniques, and tools developed in the PL and the formal methods research communities can play a pivotal role!

Skip Supplemental Material Section

Supplemental Material

References

  1. , Juniwal, Martin, Raghothaman, Seshia, Singh, Solar-Lezama, Torlak, and Udupa}sygusR. Alur, R. Bodík, G. Juniwal, M. M. K. Martin, M. Raghothaman, S. A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, and A. Udupa. Syntax-guided synthesis. In FMCAD, 2013.Google ScholarGoogle ScholarCross RefCross Ref
  2. E. Fast, C. Lee, A. Aiken, M. S. Bernstein, D. Koller, and E. Smith. Crowd-scale interactive formal reasoning and analytics. In UIST, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. S. Gulwani. Dimensions in program synthesis. In PPDP, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. S. Gulwani. Example-Based Learning in Computer-Aided STEM Education. CACM, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. S. Gulwani and M. Marron. NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In SIGMOD, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. S. Gulwani, W. Harris, and R. Singh. Spreadsheet data manipulation using examples. CACM, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. V. Le and S. Gulwani. FlashExtract: A framework for data extraction by examples. In PLDI, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. V. Le, S. Gulwani, and Z. Su. Smartsynth: Synthesizing smartphone automation scripts from natural language. In MobiSys, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. O. Polozov and S. Gulwani. LaSEWeb: Automating search strategies over semi-structured web data. In KDD, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. M. Raza, S. Gulwani, and N. Milic-Frayling. Programming by example using least general generalizations. In AAAI, 2014.Google ScholarGoogle ScholarCross RefCross Ref
  11. (2014)}rosetteE. Torlak and R. Bodík. A lightweight symbolic virtual machine for solver-aided host languages. In PLDI, 2014. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Automating Repetitive Tasks for the Masses

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!