Publications

  1. 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]
  2. 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]

  3. 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]
  4. 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]

  5. 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]
  6. 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].
  7. 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]

  8. 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]
  9. 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]
  10. Towards Complete Speciļ¬cations with an Error Calculus. Quang Loc Le, Asankhaya Sharma, Florin Craciun, Wei-Ngan Chin
    NASA Formal Method 2013.[pdf] [slides][handout]
  11. 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]
  12. Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases.
    Ninh Pham, Quang Loc Le, Tran Khanh Dang. ApWeb 2010

Technical Reports