APSEC 2024
Tue 3 - Fri 6 December 2024
China
Toggle navigation
Attending
Venue: Ronghui Grand Hotel
Registration
Program Overview
Visa Application
Accommodation
Transportation
Chongqing, China
Tracks
APSEC 2024
Keynotes
Technical Track
SEIP - Software Engineering in Practice
ERA - Early Research Achievements
EDU - Software Engineering Education
Huawei Forum on Software Engineering Frontiers
Social Events
Doctoral Symposium
Tutorials
Workshops
Organization
APSEC 2024 Committees
Organizing Committee
Local Organization Team
Track Committees
Technical Track
SEIP - Software Engineering in Practice
ERA - Early Research Achievements
EDU - Software Engineering Education
Doctoral Symposium
Tutorials
Workshops
Contributors
People Index
Program
Complete Program
Your Program
Tue 3 Dec
Wed 4 Dec
Thu 5 Dec
Fri 6 Dec
Search
Series
Series
APSEC 2024
APSEC 2023
APSEC 2022
Sign in
Sign up
APSEC 2024
(
series
) /
Ji Wang
APSEC 2024 profile
conf.research.org general profile
* ICSE 2018 * profile
APSEC 2022 profile
APSEC 2023 profile
ASE 2019 profile
ASE 2020 profile
ASE 2023 profile
ASE 2024 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
FSE 2024 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2024 profile
ISSTA 2025 profile
ISSTA/ECOOP 2024 profile
Internetware 2024 profile
POPL 2017 profile
SPLASH 2020 profile
SPLASH 2024 profile
Registered user since Fri 2 Feb 2024
Name:
Ji Wang
Country:
China
Affiliation:
National University of Defense Technology
Contributions
2024
APSEC
Sound Floating-Point Neural Network Verification with MILP
Show activities from other conferences
Share
Using general profile
x
Sun 17 Nov 19:16