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 202
Dept. of Computer Science 192
Graduate Dissertations and Theses at Illinois 65
Summary of Engineering Research (1957-2008) 6
College of Liberal Arts and Sciences 4
Dept. of History 3
Coordinated Science Laboratory 2
Dept. of Electrical and Computer Engineering 2
College of Education 1
Dept. of English 1

Collection

Research and Tech Reports - Computer Science 133
Graduate Dissertations and Theses at Illinois 65
Dissertations and Theses - Computer Science 56
Summary of Engineering Research (2003-2008) 6
Dissertations and Theses - History 3
Whitepapers - Computer Science 3
Report - Coordinated Science Laboratory 2
Dissertations and Theses - Education 1
Dissertations and Theses - English 1
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Rosu, Grigore 107
Chen, Feng 29
Chen, Xiaohong 17
Serbanuta, Traian Florin 17
Hills, Mark 12
Roşu, Grigore 12
Meredith, Patrick O'Neil 9
Jin, Dongyun 8
Ellison, Chucky M. 7
Rodrigues, Nishant 7

Keyword(s)

computer science 36
Computer Science 20
programming languages 20
matching logic 10
formal semantics 7
rewriting logic 7
Hoare logic 5
Program verification 5
Research and publications sponsored in the College of Engineering 5
Formal Methods 4

Type of Resource

text 179
Thesis 11
image 1

↑ ↓

Showing 121–150 of 215 items

3
4
5 (current)
6
7

Thumbnail for Efficient Formalism-Independent Monitoring of Parametric Properties

Efficient Formalism-Independent Monitoring of Parametric Properties

Chen, Feng; Jin, Dongyun; Meredith, Patrick O'Neil; Rosu, Grigore

Thumbnail for A formal semantics of Python 3.3

A formal semantics of Python 3.3

Guth, Dwight

Thumbnail for Rewriting-Based Computer-Interpretable Clinical Practice Guidelines

Rewriting-Based Computer-Interpretable Clinical Practice Guidelines

Saxena, Manasvi; Chen, Xiaohong; Song, Shuang; Meng, Shaoyu; Sha, Lui; Rosu, Grigore • 2022

Thumbnail for Matching Logic Proofs Meet Succinct Cryptographic Proofs

Matching Logic Proofs Meet Succinct Cryptographic Proofs

Bailey, Bolton; Chen, Xiaohong; Fiedler, Adam; Malvai, Harjasleen; Miller, Andrew; Mishra, Pratyush; Rodrigues, Nishant; Rosu, Grigore • 2024

Thumbnail for Efficient Monitoring of Parametric Context Free Patterns

Efficient Monitoring of Parametric Context Free Patterns

Meredith, Patrick O'Neil; Jin, Dongyun; Chen, Feng; Rosu, Grigore

Thumbnail for Translation validation for compilation verification

Translation validation for compilation verification

Kasampalis, Theodoros

Thumbnail for A verification framework suitable for proving large language translations

A verification framework suitable for proving large language translations

Li, Liyi

Thumbnail for Foundations for practical network verification

Foundations for practical network verification

Kheradmand, Ali

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 Predictable and monitored execution for COTS-based real-time embedded systems

Predictable and monitored execution for COTS-based real-time embedded systems

Pellizzoni, Rodolfo

Thumbnail for LTL Model Checking in Matching Logic

LTL Model Checking in Matching Logic

Tusil, Jan; Chen, Xiaohong

Thumbnail for Applicative matching logic

Applicative matching logic

Chen, Xiaohong; 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 IsaK: A Complete Semantics of K

IsaK: A Complete Semantics of K

Li, Liyi; Gunter, Elsa L.

Thumbnail for Researcher profiling: Finding representative phrases for researchers

Researcher profiling: Finding representative phrases for researchers

Zhou, Kangyan

Thumbnail for Verification of Casper in the Coq Proof Assistant

Verification of Casper in the Coq Proof Assistant

Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

Thumbnail for A formal semantics of C with applications

A formal semantics of C with applications

Ellison, Charles

Thumbnail for Automated deductive verification of systems software

Automated deductive verification of systems software

Pek, Edgar

Thumbnail for Rule-based optimization with K-framework

Rule-based optimization with K-framework

Seo, Seokje

Thumbnail for K-Java: Runtime Semantics for Method Invocation and Object Instantiation

K-Java: Runtime Semantics for Method Invocation and Object Instantiation

Bogdanas, Denis

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs

Algorithmic advances in dynamic analysis for detecting concurrency bugs

Mathur, Umang

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 Advancements in automated first-order verification

Advancements in automated first-order verification

Pena, Lucas • 2022

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 A formal semantics of P4 and applications

A formal semantics of P4 and applications

Kheradmand, Ali

Thumbnail for Formalizing operator task analysis

Formalizing operator task analysis

Yasmeen, Ayesha

Thumbnail for A language independent debugger semantics based debugging in K

A language independent debugger semantics based debugging in K

Saxena, Manasvi

Thumbnail for A Constructor-Based Reachability Logic for Rewrite Theories

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José

Thumbnail for Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Sorrentino, Francesco

Thumbnail for Semantics-based program verification

Semantics-based program verification

Park, Daejun

3
4
5 (current)
6
7

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 7 + 1?

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