• Sign in
  • Sign up
conf.researchr.org / Quang Loc Le
  • APLAS 2023 profile
  • ASE 2021 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2022 profile
Quang Loc Le

Registered user since Tue 19 Jan 2021

Name:Quang Loc Le
Country:United Kingdom
Affiliation:University College London
Personal website: https://loc.bitbucket.io/
Research interests:Programming Languages, Software Engineering

Contributions

2025

Static Analysis Symposium

  • Committee Member in Program Committee within the SAS 2025-track

2023

APLAS

  • Author of Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection within the APLAS 2023-track

2022

Infer

  • Author of Finding Real Bugs in Big Programs with Incorrectness Logic within the Infer 2022-track

2021

ASE

  • Committee Member in Program Committee within the Student Research Competition-track
Share
xMon 16 Jun 00:23
using conf.researchr.org (v1.69.0)
Support page
Sign Up