conf.researchr.org / Quang Loc Le
Quang Loc Le

Registered user since Sun 11 Mar 2018

Name: Quang Loc Le

Country: United Kingdom

Affiliation: Teesside University

Personal website: http://loc.bitbucket.io

Research interests: Programming Languages

Contributions

ADSL 2020Committee Member in Program Committee within the ADSL 2020-track
APLAS 2019Author of Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning within the Research Papers-track
Ordinary PC member in Program Committee within the Research Papers-track
JPF 2018Author of Automatic Data Structure Repair using Separation Logic within the JPF-track
* ICSE 2018 *Author of Poster T24: Testing Heap-Based Programs with Java StarFinder within the Posters -track