2 papers
cs.PL2025
C*: Unifying Programming and Verification in C
Yiyuan Cao, Jiayi Zhuang, Houjin Chen +8
Ensuring the correct functionality of systems software, given its safety-critical and low-level nature, is a primary focus in formal verification research and applications. Despite…
cs.HC2024
Breathing New Life into Existing Visualizations: A Natural Language-Driven Manipulation Framework
Can Liu, Jiacheng Yu, Yuhan Guo +3
We propose an approach to manipulate existing interactive visualizations to answer users' natural language queries. We analyze the natural language tasks and propose a design space…