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 8
Dept. of Computer Science 8
Graduate Dissertations and Theses at Illinois 2
College of Liberal Arts and Sciences 1
Dept. of East Asian Languages and Cultures 1

Collection

Research and Tech Reports - Computer Science 7
Graduate Dissertations and Theses at Illinois 2
Dissertations and Theses - Computer Science 1
Dissertations and Theses - East Asian Languages and Cultures 1

Author(s)

Chen, Xiaohong 5
Lin, Zhengyao 4
Rosu, Grigore 4
Kasampalis, Theodoros 2
Trinh, Minh-Thai 2
Wang, John 2
Adve, Vikram 1
Grigore Rosu 1
Li, Tonglu 1
Minh-Thai Trinh 1

Keyword(s)

Proof generation 3
LLVM 2
Program verification 2
Proof checking 2
Semantic framework 2
Compilers 1
Formal Verification 1
Instruction Selection 1
Interactive theorem prover 1
K Framework 1

Type of Resource

text 8
Thesis 1

↑ ↓

Showing 1–9 of 9 items

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 A Translation Validation Algorithm for LLVM Register Allocators

A Translation Validation Algorithm for LLVM Register Allocators

Lin, Zhengyao; Kasampalis, Theodoros; Adve, Vikram

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 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 Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

Xiaohong Chen; Zhengyao Lin; Minh-Thai Trinh; Grigore Rosu

Thumbnail for Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for LTL Model Checking in Matching Logic

LTL Model Checking in Matching Logic

Tusil, Jan; Chen, Xiaohong

Thumbnail for Translation validation for compilation verification

Translation validation for compilation verification

Kasampalis, Theodoros

Thumbnail for Beyond Belief: Zhou Zuoren's Rationalist Writings and the Chinese Enlightenment

Beyond Belief: Zhou Zuoren's Rationalist Writings and the Chinese Enlightenment

Li, Tonglu

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 1 + 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)