2 papers
cs.CR2025
TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
Hung-Mao Chen, Xu He, Shu Wang +2
Rust supports type conversions and safe Rust guarantees the security of these conversions through robust static type checking and strict ownership guidelines. However, there are in…
cs.HC2023
Having Difficulty Understanding Manuals? Automatically Converting User Manuals into Instructional Videos
Songsong Liu, Shu Wang, Kun Sun
While users tend to perceive instructional videos as an experience rather than a lesson with a set of instructions, instructional videos are more effective and appealing than textu…