Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dalin Zhang
conf.researchr.org general profile
Internetware 2024 profile
PPoPP 2021 profile
Not registered as user yet
Name:
Dalin Zhang
Affiliation:
Beijing Jiaotong University
Contributions
2024
Internetware
Author of Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning within the New Idea Track-track
2021
Principles and Practice of Parallel Programming
Author of Reasoning About Recursive Tree Traversals within the Main Conference-track
Share
x
Thu 21 Nov 13:44