Quang Loc Le
University College London
H-index: 15
Europe-United Kingdom
Top articles of Quang Loc Le
Incorrectness Proofs for Object-Oriented Programs via Subclass Re ection
2023/11/21
An Idealist’s Approach for Smart Contract Correctness
2023/11/9
Jun Sun
H-Index: 8
Quang Loc Le
H-Index: 12
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic.
2023/4/21
Quang Loc Le
H-Index: 12
S2TD: A separation logic verifier that supports reasoning of the absence and presence of bugs
arXiv preprint arXiv:2209.09327
2022/9/19
Finding real bugs in big programs with incorrectness logic
Proceedings of the ACM on Programming Languages
2022/4/29
Quang Loc Le
H-Index: 12
Jules Villard
H-Index: 10
Refixar: Multi-version reasoning for automated repair of regression errors
2021/10/25
Quang Loc Le
H-Index: 12
Compositional satisfiability solving in separation logic
2021
Quang Loc Le
H-Index: 12
Bi-Abduction for Shapes with Ordered Data
arXiv preprint arXiv:2006.10439
2020/6/18
Quang Loc Le
H-Index: 12