University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–15 of 15 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 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 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 Phurti: application and network-aware flow scheduling for MapReduce
Phurti: application and network-aware flow scheduling for MapReduce
Cai, Xiao

Thumbnail for Formal Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
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 Leveraging Metadata in NoSQL Storage Systems
Leveraging Metadata in NoSQL Storage Systems
Alkhaldi, Ala'; Gupta, Indranil; Raghavan, Vaijayanth; Ghosh, Mainak

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 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 Getafix: Workload-aware distributed interactive analytics
Getafix: Workload-aware distributed interactive analytics
Ghosh, Mainak; Xu, Le; Qian, Xiaoyao; Kao, Thomas; Gupta, Indranil; Gupta, Himanshu

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é

Thumbnail for CATS: Cloud application-specific traffic scheduling and routing
CATS: Cloud application-specific traffic scheduling and routing
Cai, Chris