University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 41
Dept. of Computer Science 41
Graduate Dissertations and Theses at Illinois 15
Illinois Research and Scholarship (Open Unit) 1

Collection

Research and Tech Reports - Computer Science 23
Dissertations and Theses - Computer Science 15
Graduate Dissertations and Theses at Illinois 15
Whitepapers - Computer Science 3
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Rosu, Grigore 17
Chen, Xiaohong 9
Ellison, Chucky M. 7
Roşu, Grigore 7
Guth, Dwight 3
Lin, Zhengyao 3
Moore, Brandon 3
Schulte, Wolfram 3
Filaretti, Daniele 2
Hills, Mark 2

Keyword(s)

matching logic 6
formal semantics 5
K 3
concurrency 3
programming languages 3
C 2
Computer Science 2
Formal Methods 2
Matching logic 2
Program Verification 2

Type of Resource

text 33

↑ ↓

Showing 1–30 of 43 items

1 (current)
2

Thumbnail for Defining the Undefinedness of C

Defining the Undefinedness of C

Ellison, Chucky M.; Rosu, Grigore

Thumbnail for An Executable Formal Semantics of C with Applications: Technical Report

An Executable Formal Semantics of C with Applications: Technical Report

Ellison, Chucky M.; Rosu, Grigore

Thumbnail for A Formal Semantics of C with Applications: Technical Report

A Formal Semantics of C with Applications: Technical Report

Ellison, Chucky M.; Rosu, Grigore

Thumbnail for On Compiling Rewriting Logic Language Definitions into Competitive Interpreters

On Compiling Rewriting Logic Language Definitions into Competitive Interpreters

Ilseman, Michael; Ellison, Chucky M.; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Defining Type Systems

A Rewriting Logic Approach to Defining Type Systems

Ellison, Chucky M.

Thumbnail for From Rewriting Logic Executable Semantics to Matching Logic Program Verification

From Rewriting Logic Executable Semantics to Matching Logic Program Verification

Rosu, Grigore; Ellison, Chucky M.; Schulte, Wolfram

Thumbnail for A Rewriting Logic Approach to Type Inference

A Rewriting Logic Approach to Type Inference

Ellison, Chucky M.; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for IsaK: A Complete Semantics of K

IsaK: A Complete Semantics of K

Li, Liyi; Gunter, Elsa L.

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

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 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 A rewriting approach to concurrent programming language design and semantics

A rewriting approach to concurrent programming language design and semantics

Serbanuta, Traian Florin

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 Program Verification by Coinduction

Program Verification by Coinduction

Rosu, Grigore; Moore, Brandon

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 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 Coinductive program verification

Coinductive program verification

Moore, Brandon Michael

Thumbnail for A static semantics for labels in OCaml

A static semantics for labels in OCaml

Bay, Michael

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 LTL Model Checking in Matching Logic

LTL Model Checking in Matching Logic

Tusil, Jan; Chen, Xiaohong

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 modular rewriting approach to language design, evolution and analysis

A modular rewriting approach to language design, evolution and analysis

Hills, Mark

Thumbnail for A Modular Rewriting Approach to Language Design, Evolution and Analysis

A Modular Rewriting Approach to Language Design, Evolution and Analysis

Hills, Mark

Thumbnail for A meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

Thumbnail for Applicative matching logic

Applicative matching logic

Chen, Xiaohong; 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 Hyperproperties in Matching Logic

Hyperproperties in Matching Logic

Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 2?

© 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)