English
Related papers

Related papers: Bidirectional Evaluation with Direct Manipulation

200 papers

Direct manipulation interfaces provide intuitive and interactive features to a broad range of users, but they often exhibit two limitations: the built-in features cannot possibly cover all use cases, and the internal representation of the…

Human-Computer Interaction · Computer Science 2019-07-26 Brian Hempel , Ravi Chugh

Direct manipulation interfaces and programmatic systems have distinct and complementary strengths. The former provide intuitive, immediate visual feedback and enable rapid prototyping, whereas the latter enable complex, reusable…

Programming Languages · Computer Science 2016-04-19 Ravi Chugh , Brian Hempel , Mitchell Spradlin , Jacob Albers

For creative tasks, programmers face a choice: Use a GUI and sacrifice flexibility, or write code and sacrifice ergonomics? To obtain both flexibility and ease of use, a number of systems have explored a workflow that we call…

Human-Computer Interaction · Computer Science 2019-08-13 Brian Hempel , Justin Lubin , Ravi Chugh

We present a system called Smyth for program sketching in a typed functional language whereby the concrete evaluation of ordinary assertions gives rise to input-output examples, which are then used to guide the search to complete the holes.…

Programming Languages · Computer Science 2020-07-14 Justin Lubin , Nick Collins , Cyrus Omar , Ravi Chugh

Modern CAD tools represent 3D designs not only as geometry, but also as a program composed of geometric operations, each of which depends on a set of parameters. Program representations enable meaningful and controlled shape variations via…

Graphics · Computer Science 2021-10-05 Dan Cascaval , Mira Shalah , Phillip Quinn , Rastislav Bodik , Maneesh Agrawala , Adriana Schulz

Sketch editing requires jointly handling high-level semantic changes and precise local redrawing, a combination that is particularly challenging for sparse, style-sensitive line art. Unlike natural images, sketches rely on minimal visual…

Computer Vision and Pattern Recognition · Computer Science 2026-05-27 Han Zou , Yan Zhang , Ruiqi Yu , Cong Xie , Jie Huang , Zhenpeng Zhan

Sketch-based image editing aims to synthesize and modify photos based on the structural information provided by the human-drawn sketches. Since sketches are difficult to collect, previous methods mainly use edge maps instead of sketches to…

Computer Vision and Pattern Recognition · Computer Science 2020-01-10 Shuai Yang , Zhangyang Wang , Jiaying Liu , Zongming Guo

Sketch-based image manipulation is an interactive image editing task to modify an image based on input sketches from users. Existing methods typically formulate this task as a conditional inpainting problem, which requires users to draw an…

Computer Vision and Pattern Recognition · Computer Science 2021-12-01 Yu Zeng , Zhe Lin , Vishal M. Patel

We formulate the novel task of automatically updating an existing natural language comment based on changes in the body of code it accompanies. We propose an approach that learns to correlate changes across two distinct language…

Computation and Language · Computer Science 2020-04-29 Sheena Panthaplackel , Pengyu Nie , Milos Gligoric , Junyi Jessy Li , Raymond J. Mooney

We present a novel freehand sketch beautification method, which takes as input a freely drawn sketch of a man-made object and automatically beautifies it both geometrically and structurally. Beautifying a sketch is challenging because of…

Computer Vision and Pattern Recognition · Computer Science 2023-12-25 Deng Yu , Manfred Lau , Lin Gao , Hongbo Fu

Code editing constitutes a fundamental practice in software development, wherein developers modify existing codebases according to natural language requirements. Accurate code editing necessitates a comprehensive understanding of both the…

Software Engineering · Computer Science 2026-04-22 Chaozheng Wang , Zezhou Yang , Shuzheng Gao , Cuiyun Gao , Zongjie Li , Yichen Li , Ting Peng , Hailiang Huang , Yuetang Deng , Michael R. Lyu

Sketches are a natural and accessible medium for UI designers to conceptualize early-stage ideas. However, existing research on UI/UX automation often requires high-fidelity inputs like Figma designs or detailed screenshots, limiting…

Computation and Language · Computer Science 2024-10-22 Ryan Li , Yanzhe Zhang , Diyi Yang

One tough problem of image inpainting is to restore complex structures in the corrupted regions. It motivates interactive image inpainting which leverages additional hints, e.g., sketches, to assist the inpainting process. Sketch is simple…

Computer Vision and Pattern Recognition · Computer Science 2024-05-21 Chang Liu , Shunxin Xu , Jialun Peng , Kaidong Zhang , Dong Liu

We present a novel system for sketch-based face image editing, enabling users to edit images intuitively by sketching a few strokes on a region of interest. Our interface features tools to express a desired image manipulation by providing…

Computer Vision and Pattern Recognition · Computer Science 2018-06-08 Tiziano Portenier , Qiyang Hu , Attila Szabó , Siavash Arjomand Bigdeli , Paolo Favaro , Matthias Zwicker

Reconstructing 3D shape from 2D sketches has long been an open problem because the sketches only provide very sparse and ambiguous information. In this paper, we use an encoder/decoder architecture for the sketch to mesh translation. When…

Computer Vision and Pattern Recognition · Computer Science 2021-10-01 Benoit Guillard , Edoardo Remelli , Pierre Yvernay , Pascal Fua

The goal of program repair is to automatically fix programs to meet a specification. We propose a new specification mechanism, direct manipulation, in which the programmer can visualize the trace of a buggy program on a failing input and…

Programming Languages · Computer Science 2018-03-21 Qinheping Hu , Isaac Evavold , Roopsha Samanta , Rishabh Singh , Loris D'Antoni

Generating high-performance code for diverse hardware and application domains is challenging. Functional array programming languages with patterns like map and reduce have been successfully combined with term rewriting to define and explore…

Programming Languages · Computer Science 2022-06-06 Thomas Koehler , Phil Trinder , Michel Steuwer

The use of applications on computers, smartphones, and tablets has been considerably simplied thanks to interactive and dynamic graphical interfaces coupled with the mouse and touch screens. It is no longer necessary to be a computer…

Human-Computer Interaction · Computer Science 2025-11-21 Michel Adam , Patrice Frison , Moncef Daoud , Sabine Letellier Zarshenas

We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the…

Programming Languages · Computer Science 2021-10-12 Osbert Bastani , Xin Zhang , Armando Solar-Lezama

We introduce the concept of code shaping, an interaction paradigm for editing code using free-form sketch annotations directly on top of the code and console output. To evaluate this concept, we conducted a three-stage design study with 18…

Human-Computer Interaction · Computer Science 2025-02-11 Ryan Yen , Jian Zhao , Daniel Vogel
‹ Prev 1 2 3 10 Next ›