If you made any changes in Pure these will be visible here soon.

Personal profile

Academic Biography

Loc joined Teesside University in 2017 as a Senior Lecturer in Computer Science. His research is about developing novel and practical techniques to help improve the quality of critical software and make program verification accessible for end users. Loc is particularly interested in theory and practice of automated program reasoning using Separation Logic. Recently, Loc broadens his research interests to study String Logic and Software Security.

Loc completed his PhD in Computing at National University of Singapore (2014). His PhD thesis explored a generic technique for shape analysis using Separation Logic. Before joining Teesside, Loc did two post-doctoral research fellows at National University of Singapore (January 2015 – November 2015) and Singapore University of Technology and Design (November 2015 – May 2017).

Summary of Research Interests

  • program analysis/verification
  • separation logic and string logic
  • software security

Fingerprint Dive into the research topics where Quang Loc Le is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Data structures Engineering & Materials Science
Specifications Engineering & Materials Science
Repair Engineering & Materials Science
Symbolic Execution Mathematics
Separation Logic Mathematics
Computability and decidability Engineering & Materials Science
Testing Engineering & Materials Science
Syntactics Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2011 2019

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 20 Jul 2019, (Accepted/In press) the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Data structures

Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning

Pham, L. H., Sun, J. & Le, Q. L., 12 Aug 2019, (Accepted/In press) The 17th Asian Symposium on Programming Languages and Systems (APLAS 2019). Springer, Vol. Programming Languages and Systems.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Data storage equipment

Concolic Testing Heap-Manipulating Programs

Pham, L. H., Le, Q. L., Phan, Q-S. & Sun, J., 12 Jun 2019, (Accepted/In press) 23rd International Symposium on Formal Methods (FM 2019). Springer, 21 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 28 Oct 2019, In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference article

Open Access
Symbolic Execution
Separation Logic
47 Downloads (Pure)

SL-COMP: Competition of Solvers for Separation Logic

Sighireanu, M., Pérez, J. A. N., Rybalchenko, A., Gorogiannis, N., Iosif, R., Reynolds, A., Serban, C., Katelaan, J., Matheja, C., Noll, T., Zuleger, F., Chin, W-N., Le, Q. L., Ta, Q-T., Le, T. C., Nguyen, T-T., Khoo, S-C., Cyprian, M., Rogalewicz, A., Vojnar, T. & 4 others, Enea, C., Lengal, O., Gao, C. & Wu, Z., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, Vol. 11429. p. 116 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Open Access
Surface mount technology