Ji Wang - VMCAI 2017

Write a Blog >>

Sun 15 - Tue 17 January 2017

co-located with POPL 2017

Attending
Program
Track/Call
Organization
Search
Series
- Series
- VMCAI 2025
- VMCAI 2024
- VMCAI 2023
- VMCAI 2022
- VMCAI 2021
- VMCAI 2020
- VMCAI 2019
- VMCAI 2018
- VMCAI 2017
- VMCAI

Sign in
Sign up

POPL 2017 (series) / VMCAI 2017 (series) / Ji Wang

conf.research.org general profile
* ICSE 2018 * profile
APSEC 2022 profile
APSEC 2023 profile
APSEC 2024 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
SPLASH 2020 profile
SPLASH 2024 profile

Registered user since Fri 2 Feb 2024

Name:Ji Wang

Contributions

2017

VMCAI

Block-wise abstract interpretation by combining abstract domains with SMT

Show activities from other conferences

POPL 2017-profile
View general profile

xSat 21 Dec 15:32

VMCAI 2017

using conf.researchr.org (v1.69.0)
Support page

Tracks

Attending

Campus: Paris Jussieu
VMCAI'17 Social Event - Jan 16th
Proceedings
Students
Registration
Practical information
Visas
Accommodation
Banner image credits