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 24
Dept. of Computer Science 14
Graduate Dissertations and Theses at Illinois 12
Dept. of Electrical and Computer Engineering 4
Research publications from UIUC 3
Summary of Engineering Research (1957-2008) 3
College of Agricultural, Consumer and Environmental Sciences (ACES) 1
Coordinated Science Laboratory 1
Dept. of Agronomy (1899-1995) 1
Dept. of Civil and Environmental Engineering 1

Collection

Graduate Dissertations and Theses at Illinois 12
Research and Tech Reports - Computer Science 8
Dissertations and Theses - Computer Science 4
Dissertations and Theses - Electrical and Computer Engineering 4
Summary of Engineering Research (2003-2008) 3
Research publications from the University of Illinois at Urbana-Champaign 2
Whitepapers - Computer Science 2
Dissertations and Theses - Agronomy 1
Dissertations and Theses - Civil and Environmental Engineering 1
Dissertations and Theses - Mechanical Science and Engineering 1

Author(s)

Chen, Xiaohong 7
Roşu, Grigore 5
Rosu, Grigore 4
Kasampalis, Theodoros 3
Lin, Zhengyao 3
University of Illinois at Urbana-Champaign. College of Engineering 3
Filaretti, Daniele 2
Guth, Dwight 2
Johnson, Ralph 2
Joshi, Kaustubh Raghunandan 2

Keyword(s)

Computer Science 3
LLVM 3
Program verification 3
Research and publications sponsored in the College of Engineering 3
formal semantics 3
Proof generation 2
Translation Validation 2
blockchain 2
compiler 2
matching logic 2

Type of Resource

text 25
Thesis 4

↑ ↓

Showing 1–29 of 29 items

Thumbnail for Statistical Power Estimation for Sequential CMOS Circuits

Statistical Power Estimation for Sequential CMOS Circuits

Saxena, Vikram

Thumbnail for Speciated Local Aerosol Characteristics and Radiative Forcing at a Rural Midwestern Site

Speciated Local Aerosol Characteristics and Radiative Forcing at a Rural Midwestern Site

Dillner, Ann Marie

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 Evaporation Studies in the Presence of Water Tables

Evaporation Studies in the Presence of Water Tables

Verma, Om Prakash

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 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 Guarded Matching Logic is Decidable

Guarded Matching Logic is Decidable

Rodrigues, Nishant; 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 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 Translation validation for compilation verification

Translation validation for compilation verification

Kasampalis, Theodoros

Thumbnail for Optimizing whole programs for code size

Optimizing whole programs for code size

Bartell, Sean

Thumbnail for Scalable validation of binary lifters

Scalable validation of binary lifters

Dasgupta, Sandeep

Thumbnail for Toward realizing power scalable and energy proportional high-speed wireline links

Toward realizing power scalable and energy proportional high-speed wireline links

Anand, Tejasvi

Thumbnail for Semantics-based program verification

Semantics-based program verification

Park, Daejun

Thumbnail for Efficient design and optimized crash-consistency support for hybrid memory systems

Efficient design and optimized crash-consistency support for hybrid memory systems

Abulila, Ahmed Helmi

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 Adaptive mesh refinement in topology optimization

Adaptive mesh refinement in topology optimization

Salazar De Troya, Miguel Angel A.

Thumbnail for Initial Algebra Semantics in Matching Logic

Initial Algebra Semantics in Matching Logic

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

Thumbnail for State Information-Based Solutions for Sequential Circuit Diagnosis and Testing

State Information-Based Solutions for Sequential Circuit Diagnosis and Testing

Boppana, Vamsi

Thumbnail for Low-Power-Driven Synthesis Algorithms for Sequential and Combinational Circuits

Low-Power-Driven Synthesis Algorithms for Sequential and Combinational Circuits

Roy, Sumit

Thumbnail for Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems

Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems

Joshi, Kaustubh Raghunandan

Thumbnail for Stochastic-Model-Driven Adaptation and Recovery in Distributed Systems

Stochastic-Model-Driven Adaptation and Recovery in Distributed Systems

Joshi, Kaustubh Raghunandan

Thumbnail for International agricultural newsletter. 51-100

International agricultural newsletter. 51-100

Submitter: Howard Ding

Thumbnail for The Summary of Engineering Research 2008

The Summary of Engineering Research 2008

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2007

The Summary of Engineering Research 2007

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2003

The Summary of Engineering Research 2003

University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Staff directory. 1967-68

Staff directory. 1967-68

University of Illinois at Chicago Circle

Thumbnail for Students' directory. 1968-1969

Students' directory. 1968-1969

University of Illinois at Urbana-Champaign

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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