A5027713814- Security and Verification in Computing
- Distributed systems and fault tolerance
- Parallel Computing and Optimization Techniques
- Autonomous Vehicle Technology and Safety
- Software Testing and Debugging Techniques
- Traffic control and management
- Radiation Effects in Electronics
- Traffic and Road Safety
Nanjing University of Aeronautics and Astronautics
2021-2024
Rust is a relatively new programming language that aims to provide memory safety at compile time. It introduces novel ownership system which enforces automatic deallocation of unused resources without using the garbage collector. In light Rust's promise safety, natural question arises about possible benefits exploiting ensure C programs. our previous work, we developed formal checker verify whether program follows constraints. A satisfies constraints free dangling pointers. this paper,...
Rust is a relatively new programming language that aims to provide memory safety at compile time. It introduces novel ownership system enforces the automatic deallocation of unused resources without using garbage collector. In light Rust’s promise safety, natural question arises about possible benefits exploiting ensure C programs. our previous work, we developed formal checker verify whether program satisfies exclusive constraints. this paper, further propose an ownership-based safe...
Forecasting the motion of surrounding vehicles is necessary for a self-driving vehicle to plan safe and efficient trajectory future. Like experienced human drivers, needs perceive interaction decide best from many choices. However, previous methods either lack modeling interactions or ignore multi-modal nature this problem. In paper, we focus on two important cues prediction: maneuver, propose Maneuver conditioned Attentional Network named MAN. MAN learns all in scenario parallel by...
Abstract The unsafe features of C make it a big challenge to ensure memory safety programs, and often lead errors that can result in vulnerabilities. Various formal verification techniques for ensuring have been proposed. However, most them either high overhead, such as state explosion problem model checking, or false positives, abstract interpretation. In this article, by innovatively borrowing ownership system from Rust, we propose novel sound static analysis approach, named SafeOSL. Its...