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 7
Dept. of Computer Science 7
Graduate Dissertations and Theses at Illinois 2
Illinois Research and Scholarship (Open Unit) 1

Collection

Research and Tech Reports - Computer Science 5
Dissertations and Theses - Computer Science 2
Graduate Dissertations and Theses at Illinois 2
Illinois Research and Scholarship (Open Collection) 1

Author(s)

Gupta, Indranil 6
Ghosh, Mainak 4
Liu, Si 2
Rahman, Muntasir Raihan 2
Alkhaldi, Ala' 1
Cai, Chris 1
Ganhotra, Jatin 1
Gupta, Shalmoli 1
Holla Vakwadi, Gopalakrishna 1
Kumar, Nirman 1

Keyword(s)

Distributed Transactional Systems 1
Distributed key-value stores, CAP theorem, NoSQL databases 1
MapReduce, Traffic Scheduling, Internet, WAN, Overlay Network 1
Maude 1
Metadata, NoSQL, Data Provenance 1
Model Checking 1
Model Checking, Distributed Transaction Systems, Consistency Model, Maude, Fo... 1
RAMP 1
cassandra 1
compaction 1

Type of Resource

text 8

↑ ↓

Showing 1–8 of 8 items

Thumbnail for Fast Compaction Algorithms for NoSQL Databases

Fast Compaction Algorithms for NoSQL Databases

Ghosh, Mainak; Gupta, Indranil; Gupta, Shalmoli; Kumar, Nirman

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 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 Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems

Morphus: Supporting Online Reconfigurations in Sharded NoSQL Systems

Ghosh, Mainak; Wang, Wenting; Holla Vakwadi, Gopalakrishna; Gupta, Indranil

Thumbnail for Leveraging Metadata in NoSQL Storage Systems

Leveraging Metadata in NoSQL Storage Systems

Alkhaldi, Ala'; Gupta, Indranil; Raghavan, Vaijayanth; Ghosh, Mainak

Thumbnail for Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores

Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores

Rahman, Muntasir Raihan; Tseng, Lewis; Nguyen, Son; Gupta, Indranil; Vaidya, Nitin H.

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 CATS: Cloud application-specific traffic scheduling and routing

CATS: Cloud application-specific traffic scheduling and routing

Cai, Chris

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 2 + 0?

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