English
Related papers

Related papers: RustViz: Interactively Visualizing Ownership and B…

200 papers

Visual storytelling (VST) is the task of generating a story paragraph that describes a given image sequence. Most existing storytelling approaches have evaluated their models using traditional natural language generation metrics like BLEU…

Computer Vision and Pattern Recognition · Computer Science 2022-05-10 Eileen Wang , Caren Han , Josiah Poon

In this paper, we present Code Shrew, a new software platform accompanied by an interactive programming course. Its aim is to teach the fundamentals of computer programming by enabling users to create their own drawings and animations. The…

Computers and Society · Computer Science 2018-08-09 Ludwik Trammer , Jamie Nunez

Data visualization (DataViz) libraries play a crucial role in presentation, data analysis, and application development, underscoring the importance of their accuracy in transforming data into visual representations. Incorrect visualizations…

Software Engineering · Computer Science 2025-06-19 Weiqi Lu , Yongqiang Tian , Xiaohan Zhong , Haoyang Ma , Zhenyang Xu , Shing-Chi Cheung , Chengnian Sun

The popularity of the Rust language continues to explode; yet, many critical codebases remain authored in C. Automatically translating C to Rust is thus an appealing course of action. Several works have gone down this path, handling an…

Programming Languages · Computer Science 2026-02-26 Aymeric Fromherz , Jonathan Protzenko

Constraint Handling Rules (CHR) has matured into a general purpose language over the past two decades. Any general purpose language requires its own development tools. Visualization tools, in particular, facilitate many tasks for…

Programming Languages · Computer Science 2014-05-16 Nada Sharaf , Slim Abdennadher , Thom Fruehwirth

Refactoring tools are central to modern development, with extract-function refactorings used heavily in day-to-day work. For Rust, however, ownership, borrowing, and advanced type features make automated extract-function refactoring…

Programming Languages · Computer Science 2026-01-28 Matthew Britton , Sasha Pak , Alex Potanin

Nowadays, industries are looking into virtualization as an effective means to build safe applications, thanks to the isolation it can provide among virtual machines (VMs) running on the same hardware. In this context, a fundamental issue is…

Cryptography and Security · Computer Science 2023-03-24 Carmine Cesarano , Marcello Cinque , Domenico Cotroneo , Luigi De Simone , Giorgio Farina

We present HelpViz, a tool for generating contextual visual mobile tutorials from text-based instructions that are abundant on the web. HelpViz transforms text instructions to graphical tutorials in batch, by extracting a sequence of…

Human-Computer Interaction · Computer Science 2025-04-04 Mingyuan Zhong , Gang Li , Peggy Chi , Yang Li

The work in the paper presents an animation extension ($CHR^{vis}$) to Constraint Handling Rules (CHR). Visualizations have always helped programmers understand data and debug programs. A picture is worth a thousand words. It can help…

Software Engineering · Computer Science 2017-06-08 Nada Sharaf , Slim Abdennadher , Thom Frühwirth

In a Wireless Sensor Network (WSN), data manipulation and representation is a crucial part and can take a lot of time to be developed from scratch. Although various visualization tools have been created for certain projects so far, these…

Networking and Internet Architecture · Computer Science 2017-03-09 Anh-Vu Dinh-Duc , The-Hien Dang-Ha , Ngoc-An Lam

Service robots must infer object ownership to correctly interpret instructions such as "bring me my cup." However, ownership is a latent attribute that cannot be directly observed, and existing methods often rely on limited cues such as…

Robotics · Computer Science 2026-05-28 Saki Hashimoto , Akira Taniguchi , Shoichi Hasegawa , Yoshinobu Hagiwara , Tadahiro Taniguchi

Context: The integration of Rust into kernel development is a transformative endeavor aimed at enhancing system security and reliability by leveraging Rust's strong memory safety guarantees. Objective: We aim to find the current advances in…

Software Engineering · Computer Science 2024-09-10 Shane K. Panter , Nasir U. Eisty

Teaching and advocating data visualization are among the most important activities in the visualization community. With growing interest in data analysis from business and science professionals, data visualization courses attract students…

Human-Computer Interaction · Computer Science 2019-10-08 Leo Yu-Ho Lo , Yao Ming , Huamin Qu

This paper explores how design patterns could be revisited in the era of mainstream functional programming languages. I discuss the kinds of knowledge that ought to be represented as functional design patterns: architectural concepts that…

Programming Languages · Computer Science 2023-07-17 Will Crichton

With the explosion in popularity of the Rust programming language, a wealth of tools have recently been developed to analyze, verify, and test Rust programs. Alas, the Rust ecosystem remains relatively young, meaning that every one of these…

Programming Languages · Computer Science 2025-06-03 Son Ho , Guillaume Boisseau , Lucas Franceschino , Yoann Prak , Aymeric Fromherz , Jonathan Protzenko

Accurate vision-based action recognition is crucial for developing autonomous robots that can operate safely and reliably in complex, real-world environments. In this work, we advance video-based recognition of indoor daily actions for…

Computer Vision and Pattern Recognition · Computer Science 2025-09-23 Son Hai Nguyen , Diwei Wang , Jinhyeok Jang , Hyewon Seo

Large-scale migration of legacy C code to Rust offers a promising path toward improving memory safety, but LLM-based C-to-Rust translation remains challenging due to limited context windows and hallucinations. Prior approaches are evaluated…

Software Engineering · Computer Science 2026-04-15 Muhammad Farrukh , Baris Coskun , Tapti Palit , Michalis Polychronakis

Retrieval-augmented generation (RAG) combines knowledge from domain-specific sources into large language models to ground answer generation. Current RAG systems lack customizable visibility on the context documents and the model's…

Computation and Language · Computer Science 2024-11-05 Tevin Wang , Jingyuan He , Chenyan Xiong

Training neural networks is difficult to interpret, particularly for newcomers. We introduce NeuroViz, an interactive visualization tool that supports real-time exploration of fully connected neural network training. Users can configure…

Machine Learning · Computer Science 2026-05-26 Tanvi Sharma , Reza Rawassizadeh

Rust is a strong contender for a memory-safe alternative to C as a "systems" language, but porting the vast amount of existing C code to Rust remains daunting. In this paper, we evaluate the potential of large language models (LLMs) to…

Cryptography and Security · Computer Science 2026-04-24 Muhammad Farrukh , Baris Coskun , Tapti Palit , Michalis Polychronakis