image    

LE, Quang Loc

Senior Lecturer in Computer Science
  School of Computing, Teesside University
  Greig Building, Borough Road, Middlesbrough, TS1 3BA, UK

Office: Phoenix Building, Level 1, Room P1.10
Email: Q.Le@tees.ac.uk
Tel: +44 (0) 1642 342670

"The whole of science is nothing more than a refinement of everyday thinking". Albert Einstein

Research

My research is about developing novel and practical techniques to help improve the quality of critical softwares and make program verification accessible for end users. My current research interests are:

CV

Education

Services

Technical Reports

Publications

  1. 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]
  2. 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] [Technical Report] [BibTeX]

  3. 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]
  4. 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]
  5. 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].
  6. A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints. Quang Loc Le. arXiv:1610.01331 .
  7. HIPrec: Verifying recursive programs with a satisfiability solver.
    Quang Loc Le, Muoi Tran and Wei-Ngan Chin. SV-COMP 2016. [Technical Report]

  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

Talks

Awards/Honors

Teaching


Other


eXTReMe Tracker
Last update: 20-May-2017