Quang Loc Le
Scholar

Quang Loc Le

Google Scholar ID: 4uYY028AAAAJ
University College London
Programming LanguagesSoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
486
 
H-index
12
 
i10-index
18
 
Publications
20
 
Co-authors
15
list available
Contact
GitHubOpen ↗LinkedInOpen ↗
Publications
2 items
Compositional Verification in Concurrent Separation Logic with Permissions Regions
2025
Cited
0
Cyclic Proofs in Hoare Logic and its Reverse
2025
Cited
0
Resume (English only)
Academic Achievements
  • ACM SIGPLAN Distinguished Paper Award at OOPSLA 2022 for 'Finding Real Bugs in Big Programs with Incorrectness Logic'
  • Invitee, Global Young Scientists Summit @One-North 2015
  • Dean’s Graduate Research Excellence Award, NUS, 2014
  • PhD Scholarship, School of Computing, NUS, Jan 2010–Dec 2013
  • 3rd Prize (as mentor) at Vietnam Summer Code Competition 2009, organized by Vietnam Ministry of Science and Technology
  • Invited speaker at multiple international venues including POPL 2023 TutorialFest, Huawei Hong Kong, University of Bristol, Imperial College London, etc., on incorrectness logic and bug finding
Co-authors
15 total
Sun Jun
Sun Jun
Professor of SCIS, SMU
Co-author 2
Co-author 2
Shengchao Qin
Shengchao Qin
Professor of Computer Science, Teesside University
Pham Hong Long
Pham Hong Long
Senior Research Scientist, Singapore Management University
Co-author 5
Co-author 5
Bach Le
Bach Le
Senior Lecturer, ARC DECRA, School of Computing and Information Systems, The University of Melbourne
Ninh Pham
Ninh Pham
Senior Lecturer at University of Auckland
Peter O'Hearn
Peter O'Hearn
University College London