More Web Proxy on the site http://driver.im/

demonstration

Public Access

Live Programming By Example

Authors:

Mark Santolucito,

William T. Hallahan,

Ruzica PiskacAuthors Info & Claims

CHI EA '19: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems

Paper No.: INT020, Pages 1 - 4

https://doi.org/10.1145/3290607.3313266

Published: 02 May 2019 Publication History

All formats PDF

Abstract

Live programming is a novel approach for programming practice. Programmers are given real-time feedback when writing code, traditionally via a graphical user interface. Despite live programming's practical values, such as providing an easier overview of code and better understanding of its structure, it is not yet widely used. In this work, we extend live programming to general purpose code editors, which allows for live programming to be used by programmers, and provides new interfaces for understanding and changing the functionality of code. To achieve this we extended a fully-featured IDE with the ability to show input/output examples of code execution, as the programmer is writing code. Furthermore, we integrate programming by example (PBE) synthesis into our tool by allowing the user to change the shown output, and have the code update automatically. Our goal is to use live programming to give novice programmers a new way to interact and understand programming, as well as being a useful development tool for more advanced programmers.

Supplementary Material

JPG File (int020.jpg)

Video figure captions

Download
6.43 KB

MP4 File (int020.mp4)

Supplemental video

Download
5.21 MB

References

[1]

Rajeev Alur, Dana Fisman, Rishabh Singh, and Armando Solar-Lezama. 2017. SyGuS-Comp 2017: Results and Analysis. arXiv preprint arXiv:1711.11438 (2017).

[2]

Andrew R Brown and Andrew Sorensen. 2009. Interacting with generative music through live coding. Contemporary Music Review 28, 1 (2009), 17--29.

[3]

Ravi Chugh, Brian Hempel, Mitchell Spradlin, and Jacob Albers. 2016. Programmatic and direct manipulation, together at last. ACM SIGPLAN Notices 51, 6 (2016), 341--354.

Digital Library

[4]

Thomas A Corbi. 1989. Program understanding: Challenge for the 1990s. IBM Systems Journal 28, 2 (1989), 294--306.

Digital Library

[5]

Allen Cypher. 1991. EAGER: programming repetitive tasks by example. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, 33--39.

Digital Library

[6]

A. Cypher and D.C. Halbert. 1993. Watch what I Do: Programming by Demonstration. MIT Press.

Digital Library

[7]

GitHub. 2018. Atom - The hackable text editor. https://github.com/atom/atom.

[8]

Sumit Gulwani. 2011. Automating string processing in spreadsheets using input-output examples. In POPL. 317--330.

Digital Library

[9]

Sumit Gulwani. 2012. Synthesis from Examples: Interaction Models and Algorithms. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2012). Invited talk paper.

Digital Library

[10]

Thomas D LaToza, Gina Venolia, and Robert DeLine. 2006. Maintaining mental models: a study of developer work habits. In Proceedings of the 28th international conference on Software engineering. ACM, 492--501.

Digital Library

[11]

H. Lieberman. 2001. Your Wish Is My Command: Programming by Example. Morgan Kaufmann Publishers.

[12]

Mikaël Mayer, Viktor Kuncak, and Ravi Chugh. 2018. Bidirectional Evaluation with Direct Manipulation. Proc. ACM Program. Lang. 2, OOPSLA, Article 127 (Oct. 2018), 28 pages.

Digital Library

[13]

Cyrus Omar, Ian Voysey, Ravi Chugh, and Matthew A Hammer. 2018. Live Functional Programming with Typed Holes. arXiv preprint arXiv:1805.00155 (2018).

Digital Library

[14]

Andrew Reynolds and Cesare Tinelli. 2017. SyGuS Techniques in the Core of an SMT Solver. arXiv preprint arXiv:1711.10641 (2017).

[15]

Ryo Suzuki, Gustavo Soares, Elena Glassman, Andrew Head, Loris D'Antoni, and Björn Hartmann. 2017. Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments. In Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '17). ACM, New York, NY, USA, 2951--2958.

Digital Library

[16]

Bret Victor. 2012. Learnable Programming : designing a programming system for understanding programs. (2012). Available at http://worrydream.com/LearnableProgramming/.

Cited By

Ziegler PChasins S(2023)A Need-Finding Study with Users of Geospatial DataProceedings of the 2023 CHI Conference on Human Factors in Computing Systems10.1145/3544548.3581370(1-16)Online publication date: 19-Apr-2023
https://dl.acm.org/doi/10.1145/3544548.3581370
Katz TPeleg H(2023)Programming-by-Example with Nested Examples2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL-HCC57772.2023.00053(280-282)Online publication date: 3-Oct-2023
https://doi.org/10.1109/VL-HCC57772.2023.00053
Dong RHuang ZLam IChen YWang XJhala RDillig I(2022)WebRobot: web robotic process automation using interactive programming-by-demonstrationProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523711(152-167)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523711
Show More Cited By

Index Terms

Live Programming By Example
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Programming by example
    2. Development frameworks and environments
      1. Integrated and visual development environments

Recommendations

Investigating the Impact of Using a Live Programming Environment in a CS1 Course
SIGCSE 2022: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education - Volume 1

Novice programmers often struggle with code understanding and debugging. Live Programming environments visualize the runtime values of a program each time it is modified to provide immediate feedback, which help with tracing the program execution. This ...
Small-Step Live Programming by Example
UIST '20: Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology

Live programming is a paradigm in which the programming environment continually displays runtime values. Program synthesis is a technique that can generate programs or program snippets from examples. \deltextThis paper presents a new programming ...
Live programming and programming by example: better together (keynote)
GPCE 2021: Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

Live programming is a paradigm in which values from program execution are shown to the programmer through continual feedback. Programming by example is a paradigm in which code is synthesized from example values showing a desired behavior. This talk ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

CHI EA '19: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems

May 2019

3673 pages

ISBN:9781450359719

DOI:10.1145/3290607

General Chairs:
Stephen Brewster
University of Glasgow, Scotland, UK
,
Geraldine Fitzpatrick
TU Wien, Austria
,
Program Chairs:
Anna Cox
University College London, UK
,
Vassilis Kostakos
University of Melbourne, Australia

Copyright © 2019 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.

Sponsors

SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 May 2019

Check for updates

Author Tags

Qualifiers

Demonstration

Funding Sources

NSF

Conference

CHI '19

Sponsor:

SIGCHI

CHI '19: CHI Conference on Human Factors in Computing Systems

May 4 - 9, 2019

Glasgow, Scotland Uk

Acceptance Rates

Overall Acceptance Rate 6,164 of 23,696 submissions, 26%

Upcoming Conference

CHI 2025

Sponsor:
sigchi

ACM CHI Conference on Human Factors in Computing Systems

April 26 - May 1, 2025

Yokohama , Japan

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
957
Total Downloads

Downloads (Last 12 months)299
Downloads (Last 6 weeks)61

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ziegler PChasins S(2023)A Need-Finding Study with Users of Geospatial DataProceedings of the 2023 CHI Conference on Human Factors in Computing Systems10.1145/3544548.3581370(1-16)Online publication date: 19-Apr-2023
https://dl.acm.org/doi/10.1145/3544548.3581370
Katz TPeleg H(2023)Programming-by-Example with Nested Examples2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL-HCC57772.2023.00053(280-282)Online publication date: 3-Oct-2023
https://doi.org/10.1109/VL-HCC57772.2023.00053
Dong RHuang ZLam IChen YWang XJhala RDillig I(2022)WebRobot: web robotic process automation using interactive programming-by-demonstrationProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523711(152-167)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523711
Alaboudi ALaToza T(2021)Edit - Run Behavior in Programming and Debugging2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL/HCC51201.2021.9576170(1-10)Online publication date: 10-Oct-2021
https://doi.org/10.1109/VL/HCC51201.2021.9576170
Contreras-Ochando LFerri CHernández-Orallo J(2021)AUTOMAT[R]IX: learning simple matrix pipelinesMachine Learning10.1007/s10994-021-05950-7Online publication date: 13-Apr-2021
https://doi.org/10.1007/s10994-021-05950-7
Choi WVazirani MSantolucito M(2021)Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsProgramming Languages and Systems10.1007/978-3-030-89051-3_4(47-61)Online publication date: 12-Oct-2021
https://doi.org/10.1007/978-3-030-89051-3_4
Karvelas ILi ABecker BZhang JSherriff MHeckman SCutter PMonge A(2020)The Effects of Compilation Mechanisms and Error Message Presentation on Novice Programmer BehaviorProceedings of the 51st ACM Technical Symposium on Computer Science Education10.1145/3328778.3366882(759-765)Online publication date: 26-Feb-2020
https://dl.acm.org/doi/10.1145/3328778.3366882
Contreras-Ochando LFerri CHernández-Orallo J(2020)Automating Common Data Science Matrix TransformationsMachine Learning and Knowledge Discovery in Databases10.1007/978-3-030-43823-4_2(17-27)Online publication date: 28-Mar-2020
https://doi.org/10.1007/978-3-030-43823-4_2

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents