About Me

News

  • Jul 2021: Received NSF Medium grant on dynamic temporal analysis for safety and liveness properties.
  • Jul 2021: Joined the OOPSLA 2021 AEC.

Selected Publications

Termination and Non-termination

Separation Logic

Relational Verification

Projects

  • NSF Medium grant on dynamic temporal analysis for safety and liveness properties.

Services

  • Program Committee: FMCAD 2021, SV-COMP 2017, SV-COMP 2015.
  • Artifact Evaluation Committee: PLDI 2021, OOPSLA 2021, PLDI 2020, OOPSLA 2020.