skip to main content
10.1145/2676726.2682621acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
invited-talk

Automating Repetitive Tasks for the Masses

Published: 14 January 2015 Publication History

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!

Supplementary Material

MOV File (2682621.mov)

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.
[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.
[3]
S. Gulwani. Dimensions in program synthesis. In PPDP, 2010.
[4]
S. Gulwani. Example-Based Learning in Computer-Aided STEM Education. CACM, 2014.
[5]
S. Gulwani and M. Marron. NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In SIGMOD, 2014.
[6]
S. Gulwani, W. Harris, and R. Singh. Spreadsheet data manipulation using examples. CACM, 2012.
[7]
V. Le and S. Gulwani. FlashExtract: A framework for data extraction by examples. In PLDI, 2014.
[8]
V. Le, S. Gulwani, and Z. Su. Smartsynth: Synthesizing smartphone automation scripts from natural language. In MobiSys, 2013.
[9]
O. Polozov and S. Gulwani. LaSEWeb: Automating search strategies over semi-structured web data. In KDD, 2014.
[10]
M. Raza, S. Gulwani, and N. Milic-Frayling. Programming by example using least general generalizations. In AAAI, 2014.
[11]
(2014)}rosetteE. Torlak and R. Bodík. A lightweight symbolic virtual machine for solver-aided host languages. In PLDI, 2014.

Cited By

View all
  • (2015)Information at your Fingertips: Only a dream for enterprises?2015 IEEE 31st International Conference on Data Engineering10.1109/ICDE.2015.7113266(1-4)Online publication date: Apr-2015

Index Terms

  1. Automating Repetitive Tasks for the Masses

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    January 2015
    716 pages
    ISBN:9781450333009
    DOI:10.1145/2676726
    • cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 50, Issue 1
      POPL '15
      January 2015
      682 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/2775051
      • Editor:
      • Andy Gill
      Issue’s Table of Contents
    Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

    Sponsors

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 14 January 2015

    Check for updates

    Author Tags

    1. computer-aided education
    2. domain-specific languages
    3. end-user programming
    4. program synthesis
    5. programming by examples
    6. programming by natural language
    7. search algorithms

    Qualifiers

    • Invited-talk

    Conference

    POPL '15
    Sponsor:

    Acceptance Rates

    POPL '15 Paper Acceptance Rate 52 of 227 submissions, 23%;
    Overall Acceptance Rate 860 of 4,328 submissions, 20%

    Upcoming Conference

    POPL '26

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)23
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 19 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2015)Information at your Fingertips: Only a dream for enterprises?2015 IEEE 31st International Conference on Data Engineering10.1109/ICDE.2015.7113266(1-4)Online publication date: Apr-2015

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media