Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019
Bali, Indonesia
Toggle navigation
Attending
Venue: Hotel Meliá Bali
Visa Information
Accomodation
Registration
Travel
Program
APLAS Program
Your Program
Sun 1 Dec
Mon 2 Dec
Tue 3 Dec
Wed 4 Dec
Tracks
APLAS 2019
Keynote Talks
PC Chair Report
Posters
Research Papers
APLAS NIER
APLAS Local Participants
Organization
APLAS 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Organizing Committee
Program Committee
APLAS NIER
APLAS Local Participants
Contributors
People Index
Search
Series
Series
APLAS 2025
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2019
(
series
) /
Long H. Pham
APLAS 2019 profile
conf.research.org general profile
* ICSE 2018 * profile
ICSE 2020 profile
ICSE 2022 profile
Not registered as user
Name:
Long H. Pham
Affiliation:
Singapore University of Technology and Design
Contributions
2019
APLAS
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Show activities from other conferences
Share
APLAS 2019-profile
View general profile
x
Wed 18 Dec 17:45