Research Interests

  • Automated program analysis/verification/testing
  • Security of web applications, Side-channel leakage
  • Resource analyses: WCET, memory high-water mark
  • Optimization with ad-hoc constraints

Selected Work

  1. Making Smarter Contracts Smarter. CCS'16.
  2. Automatic Induction Proofs of Data-Structures in Imperative Programs. PLDI'15.
  3. S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. CCS'14.
  4. Symbolic Simulation on Complicated Loops for WCET Path Analysis. EMSOFT'11.

Professional Appointments and Qualifications

  • Research Fellow, National University of Singapore (May 2013 - current)
  • Research Associate, National University of Singapore (Dec 2012 - April 2013)
  • Research Assistant, National University of Singapore (Aug 2012 - Dec 2012)

  • Ph.D., National University of Singapore (2008 - 2013)
  • BCompSc with First Class Honours, National University of Singapore (2004 - 2008)

Teaching

  • Instructor (invited), National University of Singapore (Fall 2013)
    • Taught CS1010S: Programming Methodology (using Python)
  • Teaching Assistant (part-time), National University of Singapore (Fall 2008, Fall 2009)
    • Taught CS1101S: Programming Methodology (using Scheme)
  • Tutor (part-time), National University of Singapore (Fall 2006, Fall 2007)
    • Taught CS1101S: Programming Methodology (using Scheme)

Other Working Experiences

  • System Developer (intern), Accenture Singapore (May 2007 - Aug 2007)
  • Research Assistant (part-time), National University of Singapore (Jan 2006 - Dec 2006)