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 51
Dept. of Computer Science 50
Graduate Dissertations and Theses at Illinois 34
College of Liberal Arts and Sciences 2
Dept. of Electrical and Computer Engineering 1
Dept. of History 1
Dept. of Mathematics 1

Collection

Graduate Dissertations and Theses at Illinois 34
Dissertations and Theses - Computer Science 30
Research and Tech Reports - Computer Science 17
Whitepapers - Computer Science 3
Dissertations and Theses - History 1
Dissertations and Theses - Mathematics 1
Research and Publications - Electrical and Computer Engineering 1

Author(s)

Roşu, Grigore 12
Chen, Xiaohong 11
Rosu, Grigore 6
Guth, Dwight 4
Kasampalis, Theodoros 4
Moore, Brandon 4
Filaretti, Daniele 3
Johnson, Ralph 3
Lin, Zhengyao 3
Rodrigues, Nishant 3

Keyword(s)

formal semantics 4
Formal Methods 3
Formal Semantics 3
LLVM 3
Coinduction 2
Formal Verification 2
K 2
K Framework 2
K framework 2
Program Verification 2

Type of Resource

text 35
Thesis 5
image 1

↑ ↓

Showing 31–56 of 56 items

1
2 (current)

Thumbnail for Matching Logic Explained

Matching Logic Explained

Chen, Xiaohong; Lucanu, Dorel; Rosu, Grigore

Thumbnail for Scalable validation of binary lifters

Scalable validation of binary lifters

Dasgupta, Sandeep

Thumbnail for A verification framework suitable for proving large language translations

A verification framework suitable for proving large language translations

Li, Liyi

Thumbnail for Matching μ-Logic

Matching μ-Logic

Chen, Xiaohong • 2023

Thumbnail for Request-Based Mediated Execution

Request-Based Mediated Execution

Sundresh, Sameer

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 meta-language for functional verification

A meta-language for functional verification

Katelman, Michael

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 Symbolic reachability analysis for rewrite theories

Symbolic reachability analysis for rewrite theories

Rocha, Camilo

Thumbnail for Security models in rewriting logic for cryptographic protocols and browsers

Security models in rewriting logic for cryptographic protocols and browsers

Sasse, Ralf

Thumbnail for Static analysis for architecture-implementation conformance in robust embedded systems

Static analysis for architecture-implementation conformance in robust embedded systems

Kowshik, Sumant J.

Thumbnail for Contributions to the theory of syntax with bindings and to process algebra

Contributions to the theory of syntax with bindings and to process algebra

Popescu, Andrei

Thumbnail for Extending the language and applications of Maude-NPA through rewriting semantics

Extending the language and applications of Maude-NPA through rewriting semantics

Yang, Fan

Thumbnail for Improving Efficiency and Safety of Program Generation

Improving Efficiency and Safety of Program Generation

Aktemur, T. Baris

Thumbnail for HW-SW co-design techniques for modern programming languages

HW-SW co-design techniques for modern programming languages

Choi, Jiho

Thumbnail for Nihil sine carbo: politics, labor, and the coal industry in the towns of the Jiu Valley, 1850-1999.

Nihil sine carbo: politics, labor, and the coal industry in the towns of the Jiu Valley, 1850-1999.

Glont, Anca M

Thumbnail for Towards multi-dimensional integrated development environments for improved productivity

Towards multi-dimensional integrated development environments for improved productivity

Lee, Yun Young

Thumbnail for Automatic techniques for proving correctness of heap-manipulating programs

Automatic techniques for proving correctness of heap-manipulating programs

Qiu, Xiaokang

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

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 A formal semantics of C with applications

A formal semantics of C with applications

Ellison, Charles

Thumbnail for Formalizing operator task analysis

Formalizing operator task analysis

Yasmeen, Ayesha

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for An effect system and language for deterministic-by-default parallel programming

An effect system and language for deterministic-by-default parallel programming

Bocchino, Robert L., Jr.

Thumbnail for Specifying and verifying program transformations with PTRANS

Specifying and verifying program transformations with PTRANS

Mansky, William

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services

Rewriting-based formal modeling, analysis and implementation of real-time distributed services

Al-Turki, Musab A.

1
2 (current)

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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