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

  1. 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.
  2. 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.
  3. With Pablo Barcelo & Chih-Duo Hong & Anthony W. Lin & Reino Niskanen (alphabetical order): Monadic Decomposability of Regular Relations. In ICALP 2019. Paper.
  4. With Aquinas Hobor & Anthony W. Lin: Complexity Analysis of Tree Share Structure. In APLAS 2018 (Wellington, New Zealand). Paper. Slides.
  5. With Aquinas Hobor: Logical Reasoning for disjoint permissions. In ESOP 2018 (Thessaloniki, Greece). Paper. Slides. Tool.
  6. With Toan Nguyen Thanh & Wei Ngan Chin & Aquinas Hobor: A Certified Decision Procedure for Tree Shares. In ICFEM 2017 (Xian, China). Paper. Slides. Tool.
  7. With Aquinas Hobor & Anthony W. Lin: Decidability and Complexity of Tree Share Formulas. In FSTTCS 2016 (Chennai, India). Paper. Slides.
  8. With Cristian Gherghina & Aquinas Hobor: Decision Procedures Over Sophisticated Fractional Permissions. In APLAS 2012 (Kyoto, Japan). Paper. Slides.
  9. Thesis: Disjoint fractional permissions in verification: Applications, Systems and Theory. Submitted in September 2017. Submitted version.

A website for both personal and professional purposes