University of Illinois Urbana-Champaign

Exploiting cost-performance tradeoffs for modern cloud systems

Rahman, Muntasir Raihan

Survey on Topological Methods in Distributed Computing

Rahman, Muntasir Raihan

Risk Aware Resource Allocation for Clouds

Rahman, Muntasir Raihan

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

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

Formal Modeling and Analysis of RAMP Transaction Systems in Maude

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

SocialTrove: A Self-summarizing Storage Service for Social Sensing

Amin, Md Tanvir Al; Li, Shen; Rahman, Muntasir Raihan; Seetharamu, Panindra Tumkur; Wang, Shiguang; Abdelzaher, Tarek F.; Gupta, Indranil; Srivatsa, Mudhakar; Ganti, Raghu K.; Ahmed, Reaz; Le, Hieu

Natjam: Eviction Policies For Supporting Priorities and Deadlines in Mapreduce Clusters

Gupta, Indranil; Cho, Brian; Rahman, Muntasir Raihan; Chajed, Tej; Abad, Cristina L.; Roberts, Nathan; Lin, Philbert

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

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

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

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

Liu, Si

Formal Design of Cloud Computing Systems in Maude

Meseguer, José

All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions

Liu, Si

Head-to-Head: Which is the Better Cloud Platform for Early Stage Start-up? Docker versus OpenStack

Ou, Andrew Yi-Zong; Chen, Jung-Chen

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

New consistency orchestrators for emerging distributed systems

Ahsan, Shegufta Bakht

Modeling the successes and failures of content-based platforms

Dev, Himel

Elastic techniques to handle dynamism in real-time data processing systems

Xu, Le

Building interactive distributed processing applications at a global scale

Abdollahian Noghabi, Shadi

Learning-based inductive invariant synthesis

Garg, Pranav

Rewriting-based symbolic methods for distributed system verification

Skeirik, Stephen