Formal Systems Laboratory
all aiming at increasing the quality of computing systems.
|Current Research Areas|
- 2018-07-25: Technical report on IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics.
- 2018-07-16: A Formal Verification Tool for Ethereum VM Bytecode was accepted at FSE 2018.
- 2018-07-16: A Language-Independent Program Verification Framework was accepted at ISOLA 2018.
- 2018-06-29: A Language-Independent Approach to Smart Contract Verification was accepted at ISOLA 2018.
- 2018-06-11: Testing Probabilistic Programming Systems was accepted at FSE 2018.
[ all news ]