Automating Repetitive Tasks for the Masses
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)
- Download
- 39935.25 MB
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.
Index Terms
- Automating Repetitive Tasks for the Masses
Recommendations
Comments
Information & Contributors
Information
Published In

January 2015
682 pages
- January 2015716 pages
Copyright © 2015 Owner/Author.
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.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 14 January 2015
Published in SIGPLAN Volume 50, Issue 1
Check for updates
Author Tags
Qualifiers
- Invited-talk
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 523Total Downloads
- Downloads (Last 12 months)23
- Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in