Quang Loc Le -

Registered user since Sun 11 Mar 2018

Name:Quang Loc Le

Country:United Kingdom

Affiliation:University College London

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

Research interests:Programming Languages, Software Engineering

Contributions

VMCAI 2021	Author of Compositional Satisfiability Solving in Separation Logic within the VMCAI-track
SPLASH 2022	Author of Finding real bugs in big programs with incorrectness logic within the OOPSLA-track
ADSL 2020	Committee Member in Program Committee within the ADSL 2020-track
APLAS 2019	Author 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 2018	Author 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