 |
Quang-Loc Le
- Graduate Student: School of Computing
- National University of Singapore
- Email: locle at comp.nus.edu.sg
- Mail: National University of Singapore, Computing 1 - 13 Computing Drive,
Singapore 117417, Republic of Singapore.
- Lab: Programming Languages and Systems Lab 04-04 (fourth floor, room 04),
Computing 2 Building
|
"The whole of science is nothing more than a refinement of everyday thinking". Albert Einstein
Biography
I am a Ph.D student at Dept of Computer Science, National University of
Singapore. My advisor is Assoc. Prof. Chin Wei Ngan.
I am interested in program analysis, verification, automated reasoning, and software engineering. Currently, I focus on methods to explain failures for program verification.
Tools
Publications
-
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
CAV 2011
-
HOT aSAX: A Novel Adaptive Symbolic Representation for Time Series Discords Discovery
Ninh D. Pham, Quang Loc Le, Tran Khanh Dang
ACIIDS 2010
-
Two Novel Adaptive Symbolic Representations for Similarity Search in Time Series Databases
Ninh D. Pham, Quang Loc Le, Tran Khanh Dang
ApWeb 2010
-
BiB^+-tree: An Efficient Multiversion Access Method for Bitemporal Databases
Quang Loc Le, Tran Khanh Dang
iiWAS 2009
Timelines
Teaching
- Instructor, CS2104,
Programming Language Concepts, School of Computing, National University of Singapore, Fall 2011
Other
