University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 30 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 Metadata Workloads for Testing Big Storage Systems
Metadata Workloads for Testing Big Storage Systems
Abad, Cristina L.; Luu, Huong; Lu, Yi; Campbell, Roy H.

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 An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing
An Actor-Centric, Asset-Based Monitor Deployment Model for Cloud Computing
Thakore, Uttam; Weaver, Gabriel A.; Sanders, William H.

Thumbnail for Targeted Test Input Generation using Symbolic-Concrete Backward Execution
Targeted Test Input Generation using Symbolic-Concrete Backward Execution
Dinges, Peter; Agha, Gul A.

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 A Constructor-Based Reachability Logic for Rewrite Theories
A Constructor-Based Reachability Logic for Rewrite Theories
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José

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 Leader Election in MANETs
Formal Modeling and Analysis of Leader Election in MANETs
Liu, Si; Olveczky, Peter C.; Meseguer, José

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 Exploiting Timing Side-Channels against VM Monitoring
Exploiting Timing Side-Channels against VM Monitoring
Wang, Gary

Thumbnail for Formal Design of Cloud Computing Systems in Maude
Formal Design of Cloud Computing Systems in Maude
Meseguer, José

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 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 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 Routing and scheduling for cloud service data centers
Routing and scheduling for cloud service data centers
Xie, Qiaomin

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 Automated Inference of Atomic Sets for Safe Concurrent Execution
Automated Inference of Atomic Sets for Safe Concurrent Execution
Dinges, Peter; Charalambides, Minas; Agha, Gul A.

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

Thumbnail for A quantitative methodology for evaluating and deploying security monitors
A quantitative methodology for evaluating and deploying security monitors
Thakore, Uttam

Thumbnail for Capabilities for cross-layer micro-service security
Capabilities for cross-layer micro-service security
Sprabery, Read

Thumbnail for Dynamic reliability and security monitoring: a virtual machine approach
Dynamic reliability and security monitoring: a virtual machine approach
Estrada, Zachary

Thumbnail for Improving reliability and security monitoring in enterprise and cloud systems by leveraging information redundancy
Improving reliability and security monitoring in enterprise and cloud systems by leveraging information redundancy
Thakore, Uttam

Thumbnail for Information-fusion-based methods to improve the detection of advanced cyber threats
Information-fusion-based methods to improve the detection of advanced cyber threats
Bohara, Atul

Thumbnail for 20 Years of Rewriting Logic
20 Years of Rewriting Logic
Meseguer, José

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.

Thumbnail for Securing the software-defined networking control plane by using control and data dependency techniques
Securing the software-defined networking control plane by using control and data dependency techniques
Ujcich, Benjamin E

Thumbnail for Rewriting-based symbolic methods for distributed system verification
Rewriting-based symbolic methods for distributed system verification
Skeirik, Stephen

Thumbnail for Rewriting-based model checking methods
Rewriting-based model checking methods
Bae, Kyungmin