About Me
My name is Xuan-Bach Le. I am currently a postdoc at RISE Lab, SMU (Singapore). You can find more infos about me here.
I studied Double-Degree Program in Computer Science and Pure Mathematics (taken courses) at NUS (Singapore, 2007-2012). I then obtained my CS PhD from NUS (2013-2017) under the supervision of Aquinas Hobor and mentorship of Anthony W. Lin.
Research Interest
I am interested in both the practical applications and theoretical foundations of Computer Science. In particular, my research topics include (but are not limited to) developing logical frameworks/(certified) decision procedures for program verification, as well as establishing the decidability and computational complexity of the underlying logics.
Publications
- With Shang-Wei Lin & Sun Jun & David Sanan : A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separa-tion Logic. In POPL, 2022. Paper. Slides.
- With David Sanan & Sun Jun & Shang-Wei Lin: Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. In ICECCS, 2020. Paper. Slides.
- With Pablo Barcelo & Chih-Duo Hong & Anthony W. Lin & Reino
Niskanen (alphabetical order): Monadic Decomposability of Regular Relations. In ICALP 2019. Paper.
- With Aquinas Hobor & Anthony W. Lin: Complexity Analysis of Tree Share Structure. In APLAS 2018 (Wellington, New Zealand). Paper. Slides.
- With Aquinas Hobor: Logical Reasoning for disjoint permissions. In ESOP 2018 (Thessaloniki, Greece). Paper. Slides. Tool.
- With Toan Nguyen Thanh & Wei Ngan Chin & Aquinas Hobor: A Certified Decision Procedure for Tree Shares. In ICFEM 2017 (Xian, China). Paper. Slides. Tool.
- With Aquinas Hobor & Anthony W. Lin: Decidability and Complexity of Tree Share Formulas. In FSTTCS 2016 (Chennai, India). Paper. Slides.
- With Cristian Gherghina & Aquinas Hobor: Decision Procedures Over Sophisticated Fractional Permissions. In APLAS 2012 (Kyoto, Japan). Paper. Slides.
- Thesis: Disjoint fractional permissions in verification: Applications, Systems and Theory. Submitted in September 2017. Submitted version.
A website for both personal and professional purposes