Formal Systems Laboratory

Publications

2024

• A Logical Treatment of Finite Automata

  Nishant Rodrigues and Mircea Sebe and Xiaohong Chen and Grigore Rosu
  TACAS'24 ACM, April 2024
  PDF BIB TACAS'24 Matching Logic in MM0

2020

• Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

  Xiaohong Chen and Minh-Thai Trinh and Nishant Rodrigues and Lucas Pena and Grigore Rosu
  OOPSLA'20 ACM/IEEE, pp 1-29, Nov 2020
  PDF BIB OOPSLA'20 Matching Logic

• Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic

  Xiaohong Chen and Minh-Thai Trinh and Nishant Rodrigues and Lucas Pena and Grigore Rosu
  Technical Report September 2020 http://hdl.handle.net/2142/108369
  PDF BIB Matching Logic

• Formal Semantics of Hybrid Automata

  Manasvi Saxena and Nishant Rodrigues and Xiaohong Chen and Grigore Rosu
  Technical Report April 2020 http://hdl.handle.net/2142/106822
  PDF BIB Matching Logic

2018

• KEVM: A Complete Semantics of the Ethereum Virtual Machine

  Everett Hildenbrandt and Manasvi Saxena and Xiaoran Zhu and Nishant Rodrigues and Philip Daian and Dwight Guth and Brandon Moore and Yi Zhang and Daejun Park and Andrei Stefanescu and Grigore Rosu
  CSF'18 IEEE, pp 204-217, 2018
  PDF BIB CSF'18 KEVM