English
Related papers

Related papers: Anteater: Interactive Visualization of Program Exe…

200 papers

In applications where efficiency is critical, developers may examine their compiled binaries, seeking to understand how the compiler transformed their source code and what performance implications that transformation may have. This analysis…

Human-Computer Interaction · Computer Science 2025-10-22 Shadmaan Hye , Matthew P. LeGendre , Katherine E. Isaacs

Though LLMs are capable of generating plausible programs, it's challenging to interact with the LLMs further to revise the program, especially if the user's specific requirements are different from the initial proposal. In this paper, we…

Programming Languages · Computer Science 2023-12-01 Di Huang , Ziyuan Nan , Xing Hu , Pengwei Jin , Shaohui Peng , Yuanbo Wen , Rui Zhang , Zidong Du , Qi Guo , Yewen Pu , Yunji Chen

Animated visualization is becoming increasingly popular as a compelling way to illustrate changes in time series data. However, maintaining the viewer's focus throughout the entire animation is difficult because of its time-consuming…

Human-Computer Interaction · Computer Science 2020-09-09 Wenchao Li , Yun Wang , Haidong Zhang , Huamin Qu

Synthesizing programs from examples requires searching over a vast, combinatorial space of possible programs. In this search process, a key challenge is representing the behavior of a partially written program before it can be executed, to…

Programming Languages · Computer Science 2021-04-21 Maxwell Nye , Yewen Pu , Matthew Bowers , Jacob Andreas , Joshua B. Tenenbaum , Armando Solar-Lezama

Motivated by experience in programming and in the teaching of programming, we make another assault on the longstanding problem of debugging. Having explored why debuggers are not used as widely as one might expect, especially in functional…

Programming Languages · Computer Science 2024-11-04 John Whitington

Executing operational processes generates event data, which contain information on the executed process activities. Process mining techniques allow to systematically analyze event data to gain insights that are then used to optimize…

Databases · Computer Science 2022-11-23 Daniel Schuster , Lukas Schade , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

"Computational experiments" use code and interactive visualizations to convey mathematical and physical concepts in an intuitive way, and are increasingly used to support ex cathedra lecturing in scientific and engineering disciplines.…

Background. Jupyter notebooks are one of the main tools used by data scientists. Notebooks include features (configuration scripts, markdown, images, etc.) that make them challenging to analyze compared to traditional software. As a result,…

Software Engineering · Computer Science 2025-07-28 Wenyuan Jiang , Diany Pressato , Harsh Darji , Thibaud Lutellier

Programming language-design and run-time-implementation require detailed knowledge about the programs that users want to implement. Acquiring this knowledge is hard, and there is little tool support to effectively estimate whether a…

Programming Languages · Computer Science 2017-04-03 Stephan Brandauer , Tobias Wrigstad

Research is an incremental, iterative process, with new results relying and building upon previous ones. Scientists need to find, retrieve, understand, and verify results in order to confidently extend them, even when the results are their…

Computation · Statistics 2023-06-30 Gabriel Becker , Sara E. Moore , Michael Lawrence

Understanding high-dimensional data requires projecting it into lower-dimensional spaces, but any single projection inevitably loses information or introduces distortions. Tours address this limitation through animation of 2D projection…

Human-Computer Interaction · Computer Science 2026-05-07 Fritz Lekschas , Nezar Abdennur

Local governments, as part of 'smart city' initiatives and to promote interoperability, are increasingly incorporating open-source software into their data management, analysis, and visualisation workflows. Python, with its concise and…

Computers and Society · Computer Science 2022-03-01 Gregor Herda , Robert McNabb

We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal…

Software Engineering · Computer Science 2014-01-07 Pablo Bendersky , Juan Pablo Galeotti , Diego Garbervetsky

Researchers have derived many theoretical models for specifying users' insights as they interact with a visualization system. These representations are essential for understanding the insight discovery process, such as when inferring user…

Human-Computer Interaction · Computer Science 2023-10-20 Leilani Battle , Alvitta Ottley

Since 2014, we have been conducting experiments based on a multidisciplinary collaboration between specialists in theatrical staging and researchers in virtual reality, digital art, and video games. This team focused its work on the…

Human-Computer Interaction · Computer Science 2024-07-18 Georges Gagneré , Cédric Plessiet , Rémy Sohier

In the Jupyter ecosystem, data visualization is usually done with "widgets" created as notebook cell outputs. While this mechanism works well in some circumstances, it is not well-suited to presenting interfaces that are long-lived,…

Instrumentation and Methods for Astrophysics · Physics 2022-12-09 Peter K. G. Williams , Jonathan Carifio , Henrik Norman , A. David Weigel

Visual programming environments are increasingly part of the curriculum in schools. Their potential for promoting creative thinking of students is an important factor in their adoption. However, there does not exist a standard approach for…

Human-Computer Interaction · Computer Science 2020-04-14 Anastasia Kovalkov , Avi Segal , Kobi Gal

We propose an approach to manipulate existing interactive visualizations to answer users' natural language queries. We analyze the natural language tasks and propose a design space of a hierarchical task structure, which allows for a…

Human-Computer Interaction · Computer Science 2024-04-10 Can Liu , Jiacheng Yu , Yuhan Guo , Jiayi Zhuang , Yuchu Luo , Xiaoru Yuan

We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution…

Programming Languages · Computer Science 2009-03-25 Yoshihiro Adachi

While visualizations play a crucial role in gaining insights from data, generating useful visualizations from a complex dataset is far from an easy task. Besides understanding the functionality provided by existing visualization libraries,…

Programming Languages · Computer Science 2019-11-22 Chenglong Wang , Yu Feng , Rastislav Bodik , Alvin Cheung , Isil Dillig
‹ Prev 1 3 4 5 6 7 10 Next ›