Ziqi Shuai - APSEC 2023

Mon 4 - Thu 7 December 2023 Seoul, South Korea

Registered user since Tue 6 Jul 2021

Name:Ziqi Shuai

Country:China

Affiliation:National University of Defense Technology

Contributions

2023

APSEC

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution (Short Paper)
Symbolic Execution of MPI Programs with One-Sided Communications (Short Paper)

Show activities from other conferences

APSEC 2023-profile
View general profile