English
Related papers

Related papers: Bidirectional Evaluation with Direct Manipulation

200 papers

This paper presents a study of using large language models (LLMs) in modifying existing code. While LLMs for generating code have been widely studied, their role in code modification remains less understood. Although "prompting" serves as…

Software Engineering · Computer Science 2025-08-05 Ningzhi Tang , Emory Smith , Yu Huang , Collin McMillan , Toby Jia-Jun Li

Code modification requires developers to comprehend code, plan changes, articulate intent, and validate outcomes, making it cognitively demanding. While natural language (NL) code summaries offer a promising external representation of this…

Human-Computer Interaction · Computer Science 2026-04-03 Ningzhi Tang , David Meininger , Gelei Xu , Yiyu Shi , Yu Huang , Collin McMillan , Toby Jia-Jun Li

Personalization techniques for large text-to-image (T2I) models allow users to incorporate new concepts from reference images. However, existing methods primarily rely on textual descriptions, leading to limited control over customized…

Computer Vision and Pattern Recognition · Computer Science 2024-02-28 Chufeng Xiao , Hongbo Fu

Recently, deep learning techniques have shown great success in automatic code generation. Inspired by the code reuse, some researchers propose copy-based approaches that can copy the content from similar code snippets to obtain better…

Software Engineering · Computer Science 2023-09-08 Jia Li , Yongmin Li , Ge Li , Zhi Jin , Yiyang Hao , Xing Hu

Live programming environments enable programmers to edit a running program and obtain immediate feedback on each individual change. The liveness quality is valued by programmers to help work in small steps and continuously add or correct…

Software Engineering · Computer Science 2017-04-05 Toni Mattis , Patrick Rein , Robert Hirschfeld

Sketch recognition remains a significant challenge due to the limited training data and the substantial intra-class variance of freehand sketches for the same object. Conventional methods for this task often rely on the availability of the…

Computer Vision and Pattern Recognition · Computer Science 2020-12-04 Ying Zheng , Hongxun Yao , Xiaoshuai Sun , Shengping Zhang , Sicheng Zhao , Fatih Porikli

We present a sketch-based CAD modeling system, where users create objects incrementally by sketching the desired shape edits, which our system automatically translates to CAD operations. Our approach is motivated by the close similarities…

Graphics · Computer Science 2020-09-11 Changjian Li , Hao Pan , Adrien Bousseau , Niloy J. Mitra

The impressive performance of large language models (LLMs) on code-related tasks has shown the potential of fully automated software development. In light of this, we introduce a new software engineering task, namely Natural Language to…

Computation and Language · Computer Science 2024-03-26 Daoguang Zan , Ailun Yu , Wei Liu , Dong Chen , Bo Shen , Wei Li , Yafen Yao , Yongshun Gong , Xiaolin Chen , Bei Guan , Zhiguang Yang , Yongji Wang , Qianxiang Wang , Lizhen Cui

We study the relation between streaming algorithms and linear sketching algorithms, in the context of binary updates. We show that for inputs in $n$ dimensions, the existence of efficient streaming algorithms which can process $\Omega(n^2)$…

Computational Complexity · Computer Science 2018-09-25 Kaave Hosseini , Shachar Lovett , Grigory Yaroslavtsev

3D Computer-Aided Design (CAD) users need to overcome several obstacles to benefit from the flexibility of programmatic interface tools. Besides the barriers of any programming language, users face challenges inherent to 3D spatial…

Human-Computer Interaction · Computer Science 2024-08-06 J. Felipe Gonzalez , Danny Kieken , Thomas Pietrzak , Audrey Girouard , Géry Casiez

With the recent surge in the use of touchscreen devices, free-hand sketching has emerged as a promising modality for human-computer interaction. While previous research has focused on tasks such as recognition, retrieval, and generation of…

Computer Vision and Pattern Recognition · Computer Science 2024-04-02 Guangming Zhu , Siyuan Wang , Qing Cheng , Kelong Wu , Hao Li , Liang Zhang

We introduce a novel sketch-to-image tool that aligns with the iterative refinement process of artists. Our tool lets users sketch blocking strokes to coarsely represent the placement and form of objects and detail strokes to refine their…

Graphics · Computer Science 2024-10-28 Vishnu Sarukkai , Lu Yuan , Mia Tang , Maneesh Agrawala , Kayvon Fatahalian

Developing an algorithm for a visualization prototype often involves the direct comparison of different development stages and design decisions, and even minor modifications may dramatically affect the results. While existing development…

Software Engineering · Computer Science 2020-01-08 Fabian Bolte , Stefan Bruckner

One of the central tasks in software maintenance is being able to understand and develop code changes. Thus, given a natural language description of the desired new operation of a function, an agent (human or AI) might be asked to generate…

Software Engineering · Computer Science 2025-02-05 Kunal Pai , Premkumar Devanbu , Toufique Ahmed

Recent progress in robot learning has been driven by large-scale datasets and powerful visuomotor policy architectures, yet policy robustness remains limited by the substantial cost of collecting diverse demonstrations, particularly for…

Robotics · Computer Science 2026-03-24 Yujie Zhao , Hongwei Fan , Di Chen , Shengcong Chen , Liliang Chen , Xiaoqi Li , Guanghui Ren , Hao Dong

We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples. The core ideas are: (1) constructing a sketch using the given unidirectional program as a…

Programming Languages · Computer Science 2021-10-07 Masaomi Yamaguchi , Kazutaka Matsuda , Cristina David , Meng Wang

Large language models (LLMs) have demonstrated an impressive ability to generate codes on competitive programming tasks. However, with limited sample numbers, LLMs still suffer from poor accuracy. Inspired by the process of human…

Software Engineering · Computer Science 2023-09-12 Kechi Zhang , Zhuo Li , Jia Li , Ge Li , Zhi Jin

Developers often dedicate significant time to maintaining and refactoring existing code. However, most prior work on generative models for code focuses solely on creating new code, overlooking the distinctive needs of editing existing code.…

Software Engineering · Computer Science 2024-04-30 Jiayi Wei , Greg Durrett , Isil Dillig

We present a new approach to evaluate computational models for the task of text understanding by the means of out-of-context error detection. Through the novel design of our automated modification process, existing large-scale data sources…

Computation and Language · Computer Science 2018-03-28 Patrick Huber , Jan Niehues , Alex Waibel

Software methods introduced for automated design of approximate implementations of arithmetic circuits rely on fast and accurate evaluation of approximate candidate implementations. To accelerate the evaluation of circuit error, we propose…

Hardware Architecture · Computer Science 2022-08-29 Vojtech Mrazek