Publications

  1. Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. Wenhua Li, Quang Loc Le, Yahui Song, and Wei-Ngan Chin. The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023).[pre-print]
  2. An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. Quang Loc Le and Xuan Bach Le. The 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023).[pre-print]
  3. An Idealist’s Approach for Smart Contract Correctness. Tai D. Nguyen, Long H. Pham, Jun Sun, and Quang Loc Le. The 24th International Conference on Formal Engineering Methods (ICFEM 2023).[pre-print]

  4. Finding Real Bugs in Big Programs with Incorrectness Logic. Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer, and Peter W. O’Hearn. Proc. ACM Program. Lang. 6 (OOPSLA 2022).[preprint][slides][artifact][code].
    Recipient of ACM SIGPLAN Distinguished Paper Award!

  5. Compositional Satisfiability Solving in Separation Logic. Quang Loc Le. The 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021).[pdf][slides][tool][benchmarks].
  6. REFIXAR: Multi-version Reasoning for Automated Repair of Regression Errors. D.-X. Bach Le, Quang Loc Le. The 32nd International Symposium on Software Reliability Engineering (ISSRE'21).

  7. Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. Long H. Pham, Jun Sun and Quang Loc Le. The 17th Asian Symposium on Programming Languages and Systems (APLAS 2019).
  8. Bi-Abductive Inference for Shape and Ordering Properties. Christopher Curry, Quang Loc Le, and Shengchao Qin. 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019).[pdf]
  9. Concolic Testing Heap-Manipulating Programs. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, and Jun Sun. 23rd International Symposium on Formal Methods (FM 2019).
  10. Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin. 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) .
  11. SL-COMP: Competition of Solvers for Separation Logic. Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu. TOOLympics@ETAP 2019.

  12. Automatic Data Structure Repair using Separation Logic. Guolong Zheng, Quang Loc Le, Thanhvu Nguyen and Quoc-Sang Phan. JPF 2018 Java PathFinder Workshop . [pdf]
  13. A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. Quang Loc Le and Mengda He. 16th Asian Symposium on Programming Languages and Systems (APLAS 2018) . [pdf].[tools].[benchmarks]
  14. Frame Inference for Inductive Entailment Proofs in Separation Logic. Quang Loc Le, Jun Sun and Shengchao Qin. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) . [pdf] [slides] [handout]
  15. Poster: Testing Heap-Based Programs with Java StarFinder. Pham H. Long, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin. 40th International Conference on Software Engineering - Poster Track (ICSE 2018 Posters) . [pdf]

  16. Automatic Loop-invariant Generation and Refinement through Selective Sampling. Jiaying Li, Jun Sun, Li Li, Quang Loc Le and Shang-Wei Lin. The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017). [preprint]
  17. A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. Quang Loc Le, Makoto Tatsuta, Jun Sun and Wei-Ngan Chin. 29th International Conference on Computer Aided Verification (CAV 2017). [slides] [pdf] [BibTeX]

  18. Enhancing Automated Program Repair with Deductive Verification. Le Dinh Xuan Bach, Quang Loc Le, David Lo and Claire Le Goues. 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME 2016) ERA. [pdf][BibTeX]
  19. Satisfiability Modulo Heap-Based Programs. Quang Loc Le, Jun Sun and Wei-Ngan Chin.
    28th International Conference on Computer Aided Verification (CAV 2016). CAV AR logo [Technical Report].[slides].
  20. Decision Procedure for Separation Logic with Inductive Predicates and Presburger Arithmetic. Makoto Tatsuta, Quang Loc Le and Wei-Ngan Chin. 14th Asian Symposium on Programming Languages and Systems (APLAS 2016). [pdf][BibTeX]

  21. Shape Analysis via Second-Order Bi-Abduction. Quang Loc Le, Cristian Gherghina, Shengchao Qin and Wei-Ngan Chin
    26th International Conference on Computer Aided Verification (CAV 2014).[Technical Report].[extended slides].[benchmarks]
  22. Bi-Abduction with Pure Properties for Specification Inference. Minh-Thai Trinh, Quang Loc Le, Cristina David and Wei-Ngan Chin
    11th Asian Symposium on Programming Languages and Systems (APLAS 2013). [pdf]
  23. Towards Complete Specifications with an Error Calculus. Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
    NASA Formal Method 2013.[pdf] [slides][handout]
  24. A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.
    Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
    23rd International Conference on Computer Aided Verification (CAV 2011). [pdf]
  25. Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases.
    Ninh Pham, Quang Loc Le, Tran Khanh Dang. ApWeb 2010

Technical Reports