University of Illinois Urbana-Champaign

Planning for Campus-Community Resilience to Climate Change in Champaign-Urbana

Muntasir, MD

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

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

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

Liu, Si

Exploiting cost-performance tradeoffs for modern cloud systems

Rahman, Muntasir Raihan

Formal Modeling and Analysis of RAMP Transaction Systems in Maude

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

Exploitation of information propagation patterns in social sensing

Amin, Md Tanvir Al

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

Xu, Le

Session management for enabling multi-party interactivity and large-scale viewing in 3D tele-immersion

Arefin, Md

Modeling the successes and failures of content-based platforms

Dev, Himel

Subatomic Semantics and the Active Participle in Egyptian Arabic

Mughazy, Mustafa

Imagination in the public domain: The case of the homeless workers movement (MTST) in São Paulo, Brazil

Roldan, Aline Mazeto