University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Geographic Coverage

Abstract

Series/Report Name or Number

Type of Resource

Genre of Resource

Permalink

Full Text

Academic Unit

College of Engineering 9
Dept. of Computer Science 9
Graduate Dissertations and Theses at Illinois 2
College of Liberal Arts and Sciences 1
Dept. of Anthropology 1

Collection

Research and Tech Reports - Computer Science 6
Whitepapers - Computer Science 3
Graduate Dissertations and Theses at Illinois 2
Dissertations and Theses - Anthropology 1

Author(s)

Chen, Xiaohong 6
Roşu, Grigore 6
Guth, Dwight 3
Rosu, Grigore 3
Filaretti, Daniele 2
Johnson, Ralph 2
Kasampalis, Theodoros 2
Lin, Zhengyao 2
Moore, Brandon 2
Serbanuta, Traian 2

Keyword(s)

matching logic 4
formal semantics 3
Program verification 2
Proof generation 2
blockchain 2
compiler 2
programming language design 2
smart contracts 2
Ethereum 1
Formal Semantics 1

Type of Resource

text 9
Thesis 2

↑ ↓

Showing 1–11 of 11 items

Thumbnail for Automated reasoning for fixpoints and concrete execution in matching logic

Automated reasoning for fixpoints and concrete execution in matching logic

Rodrigues, Nishant Joseph • 2025

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 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 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 Hyperproperties in Matching Logic

Hyperproperties in Matching Logic

Tusil, Jan; Chen, Xiaohong; 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 Applicative matching logic

Applicative matching logic

Chen, Xiaohong; Roşu, Grigore

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 Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, 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 In times of “crisis”: Puerto Rican activism, gender, and belonging in Orlando

In times of “crisis”: Puerto Rican activism, gender, and belonging in Orlando

Torres, Julie

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 8?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)