University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–13 of 13 items
Thumbnail for KEVM: A Complete Semantics of the Ethereum Virtual Machine
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt; Saxena, Manasvi; Xiaoran Zhu; Rodrigues, Nishant; Philip Daian; Guth, Dwight; Roşu, Grigore

Thumbnail for An Interactive Theorem Prover for Matching Logic with Proof Object Generation
An Interactive Theorem Prover for Matching Logic with Proof Object Generation
Lin, Zhengyao; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Biosynthesis and mechanism of action of enterococcal cytolysin
Biosynthesis and mechanism of action of enterococcal cytolysin
Rahman, Imran Reazur

Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
IELE: An Intermediate-Level Blockchain Language Designed and Implemented Using Formal Semantics
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian; Serbanuta, Virgil; Filaretti, Daniele; Roşu, Grigore; Johnson, Ralph

Thumbnail for Guarded Matching Logic is Decidable
Guarded Matching Logic is Decidable
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Xiaohong Chen; Minh-Thai Trinh; Nishant Rodrigues; Lucas Pena; Grigore Rosu

Thumbnail for Trustworthy Program Verification via Proof Generation
Trustworthy Program Verification via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for A general approach to define binders using matching logic
A general approach to define binders using matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for Applicative matching logic
Applicative matching logic
Chen, Xiaohong; Roşu, Grigore

Thumbnail for Initial Algebra Semantics in Matching Logic
Initial Algebra Semantics in Matching Logic
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

Thumbnail for The private enforcement of anti-monopoly law in a transitional China: an analysis from economic and comparative perspectives
The private enforcement of anti-monopoly law in a transitional China: an analysis from economic and comparative perspectives
Xue, Ying