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!
Supplemental Material
Available for Download
- , 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- S. Gulwani. Dimensions in program synthesis. In PPDP, 2010. Google Scholar
Digital Library
- S. Gulwani. Example-Based Learning in Computer-Aided STEM Education. CACM, 2014. Google Scholar
Digital Library
- S. Gulwani and M. Marron. NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation. In SIGMOD, 2014. Google Scholar
Digital Library
- S. Gulwani, W. Harris, and R. Singh. Spreadsheet data manipulation using examples. CACM, 2012. Google Scholar
Digital Library
- V. Le and S. Gulwani. FlashExtract: A framework for data extraction by examples. In PLDI, 2014. Google Scholar
Digital Library
- V. Le, S. Gulwani, and Z. Su. Smartsynth: Synthesizing smartphone automation scripts from natural language. In MobiSys, 2013. Google Scholar
Digital Library
- O. Polozov and S. Gulwani. LaSEWeb: Automating search strategies over semi-structured web data. In KDD, 2014. Google Scholar
Digital Library
- M. Raza, S. Gulwani, and N. Milic-Frayling. Programming by example using least general generalizations. In AAAI, 2014.Google Scholar
Cross Ref
- (2014)}rosetteE. Torlak and R. Bodík. A lightweight symbolic virtual machine for solver-aided host languages. In PLDI, 2014. Google Scholar
Digital Library
Index Terms
Automating Repetitive Tasks for the Masses







Comments