Registered user since Mon 17 May 2021
Name:Lei Bu
Affiliation:Nanjing University
Personal website:https://cs.nju.edu.cn/bulei/
Research interests:Software Verification, Testing, Analysis
Contributions
| ICSE 2023 | DStream: A Streaming-Based Highly Parallel IFDS Framework | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile