Formal Systems Laboratory
Home
People
Publications
© 2021. All rights reserved.
Publications
2020
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Chen, Xiaohong
and
Trinh, Minh-Thai
and
Rodrigues, Nishant
and
Peña, Lucas
and
Roşu, Grigore
.
2020
PDF
BIB
Formal Semantics of Hybrid Automata
Saxena, Manasvi
and
Rodrigues, Nishant
and
Chen, Xiaohong
and
Roşu, Grigore
.
2020
PDF
BIB
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Chen, Xiaohong
and
Trinh, Minh-Thai
and
Rodrigues, Nishant
and
Peña, Lucas
and
Roşu, Grigore
.
OOPSLA’20
ACM/IEEE, pp 1-29.
2020
PDF
BIB
2018
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Hildenbrandt, Everett
and
Saxena, Manasvi
and
Zhu, Xiaoran
and
Rodrigues, Nishant
and
Daian, Philip
and
Guth, Dwight
and
Moore, Brandon
and
Zhang, Yi
and
Park, Daejun
and
Ştefănescu, Andrei
and
Roşu, Grigore
.
CSF’18
IEEE, pp 204-217.
2018
PDF
BIB