中文
相关论文

相关论文: CodePod: A Language-Agnostic Hierarchical Scoping …

200 篇论文

We introduce KodCode, a synthetic dataset that addresses the persistent challenge of acquiring high-quality, verifiable training data across diverse difficulties and domains for training Large Language Models for coding. Existing…

机器学习 · 计算机科学 2025-07-15 Zhangchen Xu , Yang Liu , Yueqin Yin , Mingyuan Zhou , Radha Poovendran

Context-Oriented Programming (COP) is a programming paradigm to encourage modularization of context-dependent software. Key features of COP are layers---modules to describe context-dependent behavioral variations of a software system---and…

编程语言 · 计算机科学 2019-09-04 Hiroaki Inoue , Atsushi Igarashi

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,…

软件工程 · 计算机科学 2025-07-28 Wenyuan Jiang , Diany Pressato , Harsh Darji , Thibaud Lutellier

Jupyter notebooks enable developers to interleave code snippets with rich-text and in-line visualizations. Data scientists use Jupyter notebook as the de-facto standard for creating and sharing machine-learning based solutions, primarily…

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…

人机交互 · 计算机科学 2024-04-01 Zijie J. Wang , David Munechika , Seongmin Lee , Duen Horng Chau

Life sciences research depends heavily on open-source academic software, yet many tools remain underused due to practical barriers. These include installation requirements that hinder adoption and limited developer resources for software…

Programmers often search for usage examples for API methods. A tool that could generate realistic, idiomatic, and contextual usage examples for one or more APIs would be immensely beneficial to developers. Such a tool would relieve the need…

软件工程 · 计算机科学 2023-12-27 Manish Shetty , Koushik Sen , Ion Stoica

Jupyter notebooks represent a unique format for programming - a combination of code and Markdown with rich formatting, separated into individual cells. We propose to perceive a Jupyter Notebook cell as a simplified and raw version of a…

软件工程 · 计算机科学 2022-01-03 Sergey Titov , Yaroslav Golubev , Timofey Bryksin

This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of cells alternating between (textual) code and prose to form a…

软件工程 · 计算机科学 2018-11-28 Spencer Park , Emil Sekerinski

"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.…

Scientific workflows facilitate computational, data manipulation, and sometimes visualization steps for scientific data analysis. They are vital for reproducing and validating experiments, usually involving computational steps in scientific…

分布式、并行与集群计算 · 计算机科学 2023-11-22 Jinli Duan , Shasha Dennis

Jupyter Scatter is a scalable, interactive, and interlinked scatterplot widget for exploring datasets in Jupyter Notebook/Lab, Colab, and VS Code. Its goal is to simplify the visual exploration, analysis, and comparison of large-scale…

人机交互 · 计算机科学 2024-06-24 Fritz Lekschas , Trevor Manz

More than ninety percent of published Jupyter notebooks do not state dependencies on external packages. This makes them non-executable and thus hinders reproducibility of scientific results. We present SnifferDog, an approach that 1)…

软件工程 · 计算机科学 2021-03-05 Jiawei Wang , Li Li , Andreas Zeller

The rapid growth of programming education has outpaced traditional assessment tools, leaving faculty with limited means to provide meaningful, scalable feedback. Conventional autograders, while efficient, act as black-box systems that…

人工智能 · 计算机科学 2025-10-31 Vikrant Sahu , Gagan Raj Gupta , Raghav Borikar , Nitin Mane

We introduce extensions to Data Spatial Programming (DSP) that enable scale-agnostic programming for application development. Building on DSP's paradigm shift from data-to-compute to compute-to-data, we formalize additional intrinsic…

编程语言 · 计算机科学 2025-04-07 Jason Mars

In recent years, Jupyter notebooks have grown in popularity in several domains of software engineering, such as data science, machine learning, and computer science education. Their popularity has to do with their rich features for…

软件工程 · 计算机科学 2022-04-01 Konstantin Grotov , Sergey Titov , Vladimir Sotnikov , Yaroslav Golubev , Timofey Bryksin

Jupyter Notebook is a popular tool among data analysts and scientists for working with data. It provides a way to combine code, documentation, and visualizations in a single, interactive environment, facilitating code reuse. While code…

软件工程 · 计算机科学 2023-02-24 Mingke Yang , Yuming Zhou , Bixin Li , Yutian Tang

LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typed {\lambda}-calculus with nameless spine notation, explicit…

计算机科学中的逻辑 · 计算机科学 2015-05-08 Max Wisniewski , Alexander Steen , Christoph Benzmüller

We introduce EduCoder, a domain-specialized tool designed to support utterance-level annotation of educational dialogue. While general-purpose text annotation tools for NLP and qualitative research abound, few address the complexities of…

Interactive visualization can support fluid exploration but is often limited to predetermined tasks. Scripting can support a vast range of queries but may be more cumbersome for free-form exploration. Embedding interactive visualization in…