• Sign in
  • Sign up
conf.researchr.org / Quang Loc Le
  • * ICSE 2018 * profile
  • APLAS 2019 profile
  • ESEC/FSE 2018 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • SPLASH 2022 profile
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

2023

POPL

  • Author of Incorrectness Logic and Under-approximation: Foundations of Bug Catching within the TutorialFest-track

2022

SPLASH

  • Author of Finding real bugs in big programs with incorrectness logic within the OOPSLA-track

2021

VMCAI

  • Author of Compositional Satisfiability Solving in Separation Logic within the VMCAI-track

2020

ADSL

  • Committee Member in Program Committee within the ADSL 2020-track

2019

APLAS

  • 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

2018

JPF

  • Author of Automatic Data Structure Repair using Separation Logic within the JPF-track

ICSE

  • Author of Poster T24: Testing Heap-Based Programs with Java StarFinder within the Posters -track
Share
xFri 13 Jun 09:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up