University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 91–120 of 1,192 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 Defining the Undefinedness of C
Defining the Undefinedness of C
Ellison, Chucky M.; Rosu, Grigore

Thumbnail for Runtime Verification of C Memory Safety
Runtime Verification of C Memory Safety
Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain
Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Roşu, Grigore

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