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 1

Collection

Research and Tech Reports - Computer Science 7
Dissertations and Theses - Computer Science 1
Graduate Dissertations and Theses at Illinois 1

Author(s)

Gupta, Indranil 6
Liu, Si 4
Meseguer, José 4
Olveczky, Peter C. 3
Leslie, Luke M. 2
Shin, Yosub 2
Bobba, Rakesh 1
Campbell, Roy H. 1
Ganhotra, Jatin 1
Ghosh, Mainak 1

Keyword(s)

Maude 4
Analysis 1
Checkpointing 1
Consistency Models 1
Distributed Database Systems 1
Distributed Systems 1
Distributed Transactional Systems 1
Distributed graph processing 1
Evaluation 1
Failure recovery 1

Type of Resource

text 8
image 1

↑ ↓

Showing 1–8 of 8 items

Thumbnail for Parqua: Online Reconfigurations in Virtual Ring-Based NoSQL Systems

Parqua: Online Reconfigurations in Virtual Ring-Based NoSQL Systems

Shin, Yosub; Ghosh, Mainak; Gupta, Indranil

Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude

Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Formal Modeling and Analysis of RAMP Transaction Systems in Maude

Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José

Thumbnail for Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude

Liu, Si

Thumbnail for Formal Design of Cloud Computing Systems in Maude

Formal Design of Cloud Computing Systems in Maude

Meseguer, José

Thumbnail for Zorro: Zero-Cost Reactive Failure Recovery in Distributed Graph Processing

Zorro: Zero-Cost Reactive Failure Recovery in Distributed Graph Processing

Pundir, Mayank; Leslie, Luke M.; Gupta, Indranil; Campbell, Roy H.

Thumbnail for An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing

An Experimental Comparison of Partitioning Strategies in Distributed Graph Processing

Verma, Shiv; Leslie, Luke M.; Shin, Yosub; Gupta, Indranil

Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis

Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

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