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 37
Dept. of Computer Science 37
Graduate Dissertations and Theses at Illinois 8
College of Liberal Arts and Sciences 1
Dept. of English 1

Collection

Research and Tech Reports - Computer Science 26
Dissertations and Theses - Computer Science 8
Graduate Dissertations and Theses at Illinois 8
Whitepapers - Computer Science 3
Dissertations and Theses - English 1

Author(s)

Rosu, Grigore 24
Serbanuta, Traian Florin 17
Chen, Feng 7
Roşu, Grigore 5
Guth, Dwight 4
Moore, Brandon 4
Schulte, Wolfram 4
Filaretti, Daniele 3
Hills, Mark 3
Johnson, Ralph 3

Keyword(s)

computer science 7
Computer Science 5
programming languages 5
concurrency 4
runtime verification 4
rewriting 3
Distributed Systems 2
Formal Semantics 2
K 2
blockchain 2

Type of Resource

text 32
Thesis 1

↑ ↓

Showing 1–30 of 38 items

1 (current)
2

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 Runtime Verification of C Memory Safety

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for Maximal Causal Models for Multithreaded Systems

Maximal Causal Models for Multithreaded Systems

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Runtime Verification of C Memory Safety

Runtime Verification of C Memory Safety

Rosu, Grigore; Schulte, Wolfram; Serbanuta, Traian Florin

Thumbnail for Maximal Causal Models for Multithreaded Systems

Maximal Causal Models for Multithreaded Systems

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

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 Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Computationally Equivalent Elimination of Conditions

Computationally Equivalent Elimination of Conditions

Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Maximality of Atomic Causality

Maximality of Atomic Causality

Serbanuta, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Hills, Mark; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for An Overview of the K Semantic Framework

An Overview of the K Semantic Framework

Rosu, Grigore

Thumbnail for Towards Effectively Eliminating Conditional Rewrite Rules

Towards Effectively Eliminating Conditional Rewrite Rules

Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for Reachability Logic in K

Reachability Logic in K

Stefanescu, Andrei; Ciobaca, Stefan; Moore, Brandon; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for A Semantic Approach to Interpolation

A Semantic Approach to Interpolation

Popescu, Andrei; Serbanuta, Traian Florin; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Operational Semantics

A Rewriting Logic Approach to Operational Semantics

Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity

Chen, Feng; Serbanuta, Traian Florin; Rosu, Grigore

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 Maximal Causal Models for Sequentially Consistent Systems

Maximal Causal Models for Sequentially Consistent Systems

Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for Maximal Causal Models for Sequentially Consistent Multithreaded Systems

Maximal Causal Models for Sequentially Consistent Multithreaded Systems

Șerbănuță, Traian Florin; Chen, Feng; Rosu, Grigore

Thumbnail for KRAM--Extended Report

KRAM--Extended Report

Șerbănuță, Traian Florin; Rosu, Grigore

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 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 Testing, runtime verification, and analysis of concurrent programs

Testing, runtime verification, and analysis of concurrent programs

Luo, Qingzhou

Thumbnail for Rule-based optimization with K-framework

Rule-based optimization with K-framework

Seo, Seokje

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version

K: A Rewriting-Based Framework for Computations -- Preliminary version

Rosu, Grigore

Thumbnail for K: A Rewriting-Based Framework for Computations -- Preliminary version --

K: A Rewriting-Based Framework for Computations -- Preliminary version --

Rosu, Grigore

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 3?

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