Travelled to:1 × Austria
1 × USA
Collaborated with:W.Chin J.S.0001 C.Gherghina S.Qin M.Tatsuta J.L.0001 L.L.0044 S.Lin R.Voicu F.Craciun
Talks about:predic (2) fragment (1) disjunct (1) calculus (1) arithmet (1) support (1) special (1) satisfi (1) program (1) generat (1)
Person: Quang Loc Le
DBLP: Le:Quang_Loc
Contributed to:
20142011
201720162017Wrote 5 papers:
- CAV-2014-LeGQC #analysis #higher-order
- Shape Analysis via Second-Order Bi-Abduction (QLL, CG, SQ, WNC), pp. 52–68.
- CAV-2011-ChinGVLCQ #calculus #verification
- A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification (WNC, CG, RV, QLL, FC, SQ), pp. 293–309.
- ASE-2017-LiSLLL #automation #generative #invariant #refinement
- Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
- CAV-2016-LeSC #satisfiability #source code
- Satisfiability Modulo Heap-Based Programs (QLL, JS0, WNC), pp. 382–404.
- CAV-2017-LeT0C #decidability #induction #logic
- A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic (QLL, MT, JS0, WNC), pp. 495–517.