Guanjun Liu

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs

Rust's memory safety guarantees, notably ownership and lifetime systems, have driven its widespread adoption. Concurrency bugs still occur in Rust programs, and existing detection approaches exhibit significant limitations: static analyzers suffer from context insensitivity and h...

Advances and Applications of Computational Design Methods in Structural Design

Abstract Computational design has profoundly influenced structural design. However, its integration into the structural design workflow remains limited, leaving considerable room for further development. To facilitate a more systematic review of this topic, this paper proposes a...