English
Related papers

Related papers: A Static Analysis Framework for Data Science Noteb…

200 papers

In large programming classes, it takes a significant effort from teachers to evaluate exercises and provide detailed feedback. In systems programming, test cases are not sufficient to assess exercises, since concurrency and resource…

Computers and Society · Computer Science 2024-11-07 Roberto Natella

Computational notebooks have emerged as the platform of choice for data science and analytical workflows, enabling rapid iteration and exploration. By keeping intermediate program state in memory and segmenting units of execution into…

Software Engineering · Computer Science 2021-06-22 Stephen Macke , Hongpu Gong , Doris Jung-Lin Lee , Andrew Head , Doris Xin , Aditya Parameswaran

Data leakage is a well-known problem in machine learning. Data leakage occurs when information from outside the training dataset is used to create a model. This phenomenon renders a model excessively optimistic or even useless in the real…

Programming Languages · Computer Science 2024-08-07 Filip Drobnjaković , Pavle Subotić , Caterina Urban

Computational notebooks are convenient for programmers, but can easily become confusing and inconsistent due to the ability to incrementally edit a program that is running. Recent reactive notebook systems, such as Ipyflow, Marimo and…

Human-Computer Interaction · Computer Science 2025-12-01 Megan Zheng , Will Crichton , Akshay Narayan , Deepti Raghavan , Nikos Vasilakis

As immersive technologies evolve, immersive computational notebooks offer new opportunities for interacting with code, data, and outputs. However, scaling these environments remains a challenge, particularly when analysts manually arrange…

Human-Computer Interaction · Computer Science 2025-09-17 Sungwon In , Eric Krokos , Kirsten Whitley , Chris North , Yalong Yang

Developers in data science and other domains frequently use computational notebooks to create exploratory analyses and prototype models. However, they often struggle to incorporate existing software engineering tooling into these…

Human-Computer Interaction · Computer Science 2021-03-30 Micah J. Smith , Jürgen Cito , Kalyan Veeramachaneni

With the goal of identifying common practices in data science projects, this paper proposes a framework for logging and understanding incremental code executions in Jupyter notebooks. This framework aims to allow reasoning about how…

Human-Computer Interaction · Computer Science 2024-05-29 Jinjin Zhao , Avidgor Gal , Sanjay Krishnan

Exploratory Data Analysis (EDA) is a routine task for data analysts, often conducted using flexible computational notebooks. During EDA, data workers process, visualize, and interpret data tables, making decisions about subsequent analysis.…

Human-Computer Interaction · Computer Science 2025-02-05 Yuan Tian , Dazhen Deng , Sen Yang , Huawei Zheng , Bowen Shi , Kai Xiong , Xinjing Yi , Yingcai Wu

Interactive notebooks, such as Jupyter, have revolutionized the field of data science by providing an integrated environment for data, code, and documentation. However, their adoption by robotics researchers and model developers has been…

Computational Engineering, Finance, and Science · Computer Science 2024-05-15 Rolando Garcia

Computational notebooks, such as Jupyter Notebook, have become data scientists' de facto programming environments. Many visualization researchers and practitioners have developed interactive visualization tools that support notebooks, yet…

Human-Computer Interaction · Computer Science 2024-04-01 Zijie J. Wang , David Munechika , Seongmin Lee , Duen Horng Chau

Computational notebooks, widely used for ad-hoc analysis and often shared with others, can be difficult to understand because the standard linear layout is not optimized for reading. In particular, related text, code, and outputs may be…

Human-Computer Interaction · Computer Science 2025-02-25 Yanna Lin , Leni Yang , Haotian Li , Huamin Qu , Dominik Moritz

Static analysis techniques enhance the security, performance, and reliability of programs by analyzing and portraiting program behaviors without the need for actual execution. In essence, static analysis takes the Intermediate…

Programming Languages · Computer Science 2024-05-22 Bowen Zhang , Wei Chen , Hung-Chun Chiu , Charles Zhang

Computational notebooks became indispensable tools for research-related development, offering unprecedented interactivity and flexibility in the development process. However, these benefits come at the cost of reproducibility and an…

Machine Learning · Computer Science 2024-10-21 Konstantin Grotov , Artem Borzilov , Maksim Krivobok , Timofey Bryksin , Yaroslav Zharov

Keeping abreast of current trends, technologies, and best practices in visualization and data analysis is becoming increasingly difficult, especially for fledgling data scientists. In this paper, we propose Lodestar, an interactive…

Human-Computer Interaction · Computer Science 2022-04-19 Deepthi Raghunandan , Zhe Cui , Kartik Krishnan , Segen Tirfe , Shenzhi Shi , Tejaswi Darshan Shrestha , Leilani Battle , Niklas Elmqvist

Static analysis of structures is a fundamental step for determining the stability of structures. Both linear and non-linear static analyses consist of the resolution of sparse linear systems obtained by the finite element method. The…

Machine Learning · Computer Science 2022-01-17 Luca Grementieri , Francesco Finelli

Computational notebooks are the de facto platforms for exploratory data science, offering an interactive programming environment where users can create, modify, and execute code cells in any sequence. However, this flexibility often…

Software Engineering · Computer Science 2025-09-01 Tien Nguyen , Waris Gill , Muhammad Ali Gulzar

Computational notebooks are widely used for data analysis. Their interleaved displays of code and execution results (e.g., visualizations) are welcomed since they enable iterative analysis and preserve the exploration process. However, the…

Human-Computer Interaction · Computer Science 2023-03-08 Haotian Li , Lu Ying , Haidong Zhang , Yingcai Wu , Huamin Qu , Yun Wang

To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under analysis. While important, manually addressing these…

Programming Languages · Computer Science 2017-06-27 Pavol Bielik , Veselin Raychev , Martin Vechev

Sensemaking is the iterative process of identifying, extracting, and explaining insights from data, where each iteration is referred to as the "sensemaking loop." Although recent work observes snapshots of the sensemaking loop within…

Human-Computer Interaction · Computer Science 2022-09-09 Deepthi Raghunandan , Aayushi Roy , Shenzhi Shi , Niklas Elmqvist , Leilani Battle

Computational notebooks, while essential for data science, are limited by their one-dimensional interface, which poorly aligns with non-linear developer workflows and complicates collaboration and human-AI interaction. In this work, we…

Software Engineering · Computer Science 2025-03-24 Konstantin Grotov , Dmitry Botov