The Community for Technology Leaders
2013 IEEE 33rd International Conference on Distributed Computing Systems (2013)
Philadelphia, PA USA
July 8, 2013 to July 11, 2013
ISSN: 1063-6927
TABLE OF CONTENTS

Cover Art (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Organizing Committee (PDF)

pp. xiii-xiv

Program Committee (PDF)

pp. xv-xx

External Reviewers (PDF)

pp. xxi-xxiv

Diagnosing Data Center Behavior Flow by Flow (Abstract)

Ahsan Arefin , Univ. of Illinois at Urbana-Champaign, Champaign, IL, USA
Vishal K. Singh , NEC Labs. America, USA
Guofei Jiang , NEC Labs. America, USA
Yueping Zhang , NEC Labs. America, USA
Cristian Lumezanu , NEC Labs. America, USA
pp. 11-20

FChain: Toward Black-Box Online Fault Localization for Cloud Systems (Abstract)

Hiep Nguyen , North Carolina State Univ., Raleigh, NC, USA
Zhiming Shen , North Carolina State Univ., Raleigh, NC, USA
Yongmin Tan , North Carolina State Univ., Raleigh, NC, USA
Xiaohui Gu , North Carolina State Univ., Raleigh, NC, USA
pp. 21-30

Detecting Transient Bottlenecks in n-Tier Applications through Fine-Grained Analysis (Abstract)

Qingyang Wang , Georgia Inst. of Technol., Atlanta, GA, USA
Yasuhiko Kanemasa , Cloud Comput. Res. Center, FUJITSU Labs. Ltd., Kawasaki, Japan
Jack Li , Georgia Inst. of Technol., Atlanta, GA, USA
Deepal Jayasinghe , Georgia Inst. of Technol., Atlanta, GA, USA
Toshihiro Shimizu , Cloud Comput. Res. Center, FUJITSU Labs. Ltd., Kawasaki, Japan
Masazumi Matsubara , Cloud Comput. Res. Center, FUJITSU Labs. Ltd., Kawasaki, Japan
Motoyuki Kawaba , Cloud Comput. Res. Center, FUJITSU Labs. Ltd., Kawasaki, Japan
Calton Pu , Georgia Inst. of Technol., Atlanta, GA, USA
pp. 31-40

Cache Topology Aware Mapping of Stream Processing Applications onto CMPs (Abstract)

Fang Zheng , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
Chitra Venkatramani , IBM T. J. Watson Res. Center, Yorktown Heights, NY, USA
Rohit Wagle , IBM T. J. Watson Res. Center, Yorktown Heights, NY, USA
Karsten Schwan , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 52-61

Coordinating In-Network Caching in Content-Centric Networks: Model and Analysis (Abstract)

Yanhua Li , Univ. of Minnesota, Minneapolis, MN, USA
Haiyong Xie , Univ. of Sci. & Technol. of China, Suzhou, China
Yonggang Wen , Central Res. Inst., Huawei Technol., Shenzhen, China
Zhi-Li Zhang , Univ. of Minnesota, Minneapolis, MN, USA
pp. 62-72

Proteus: Power Proportional Memory Cache Cluster in Data Centers (Abstract)

Shen Li , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Shiguang Wang , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Fan Yang , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Shaohan Hu , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Fatemeh Saremi , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Tarek Abdelzaher , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
pp. 73-82

Dynamic Energy Estimation of Query Plans in Database Systems (Abstract)

Zichen Xu , Dept. of Electr. & Comput. Eng., Ohio State Univ., Columbus, OH, USA
Yi-Cheng Tu , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
Xiaorui Wang , Dept. of Electr. & Comput. Eng., Ohio State Univ., Columbus, OH, USA
pp. 83-92

Content-Based Scheduling of Virtual Machines (VMs) in the Cloud (Abstract)

Sobir Bazarbayev , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
William H. Sanders , Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
pp. 93-101

HybridMR: A Hierarchical MapReduce Scheduler for Hybrid Data Centers (Abstract)

Bikash Sharma , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
Timothy Wood , Dept. of Comput. Sci., George Washington Univ., Washington, DC, USA
Chita R. Das , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 102-111

AUTOVAC: Automatically Extracting System Resource Constraints and Generating Vaccines for Malware Immunization (Abstract)

Zhaoyan Xu , SUCCESS Lab., Texas A&M Univ., College Station, TX, USA
Jialong Zhang , SUCCESS Lab., Texas A&M Univ., College Station, TX, USA
Guofei Gu , SUCCESS Lab., Texas A&M Univ., College Station, TX, USA
Zhiqiang Lin , Dept. of Comput. Sci., Univ. of Texas at Dallas, Dallas, TX, USA
pp. 112-123

Storing Shared Data on the Cloud via Security-Mediator (Abstract)

Boyang Wang , State Key Lab. of Integrated Service Networks, Xidian Univ., Xi'an, China
Sherman S. M. Chow , State Key Lab. of Integrated Service Networks, Xidian Univ., Xi'an, China
Ming Li , Dept. of Inf. Eng., Chinese Univ. of Hong Kong, Hong Kong, China
Hui Li , Dept. of Comput. Sci., Utah State Univ., Logan, UT, USA
pp. 124-133

Watchmen: Scalable Cheat-Resistant Support for Distributed Multi-player Online Games (Abstract)

Amir Yahyavi , McGill Univ., Montreal, QC, Canada
Kevin Huguenin , EPFL, Lausanne, Switzerland
Julien Gascon-Samson , McGill Univ., Montreal, QC, Canada
Jorg Kienzle , McGill Univ., Montreal, QC, Canada
Bettina Kemme , McGill Univ., Montreal, QC, Canada
pp. 134-144

pVOCL: Power-Aware Dynamic Placement and Migration in Virtualized GPU Environments (Abstract)

Palden Lama , Dept. of Comput. Sci., Univ. of Colorado, Colorado Springs, CO, USA
Yan Li , Inst. of Software, Beijing, China
Ashwin M. Aji , Dept. of Comput. Sci., Virginia Tech, Blacksburg, VA, USA
Pavan Balaji , Math. & Comp. Sci. Div., Argonne Nat. Lab., Argonne, IL, USA
James Dinan , Math. & Comp. Sci. Div., Argonne Nat. Lab., Argonne, IL, USA
Shucai Xiao , Adv. Micro Devices, USA
Yunquan Zhang , Inst. of Software, Beijing, China
Wu-chun Feng , Dept. of Comput. Sci., Virginia Tech, Blacksburg, VA, USA
Rajeev Thakur , Math. & Comp. Sci. Div., Argonne Nat. Lab., Argonne, IL, USA
Xiaobo Zhou , Dept. of Comput. Sci., Univ. of Colorado, Colorado Springs, CO, USA
pp. 145-154

Mobility-Assisted Energy-Aware User Contact Detection in Mobile Social Networks (Abstract)

Wenjie Hu , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
Guohong Cao , Dept. of Comput. Sci. & Eng., Pennsylvania State Univ., University Park, PA, USA
Srikanth V. Krishanamurthy , Dept. of Comput. Sci. & Eng., Univ. of California, Riverside, Riverside, CA, USA
Prasant Mohapatra , Dept. of Comput. Sci., Univ. of California, Davis, Davis, CA, USA
pp. 155-164

Datacenters as Controllable Load Resources in the Electricity Market (Abstract)

Rui Wang , Dept. of Electr. & Comput. Eng., Drexel Univ., Philadelphia, PA, USA
Nagarajan Kandasamy , Dept. of Electr. & Comput. Eng., Drexel Univ., Philadelphia, PA, USA
Chika Nwankpa , Dept. of Electr. & Comput. Eng., Drexel Univ., Philadelphia, PA, USA
David R. Kaeli , Dept. of Electr. & Comput. Eng., Northeastern Univ., Boston, MA, USA
pp. 176-185

No Hot Spot Non-blocking Skip List (Abstract)

Tyler Crain , IRISA, Rennes, France
Vincent Gramoli , NICTA, Univ. of Sydney, Sydney, NSW, Australia
Michel Raynal , NICTA, Inst. Univ. de France, Rennes, France
pp. 196-205

Non-blocking Patricia Tries with Replace Operations (Abstract)

Niloufar Shafiei , Dept. of Comput. Sci. & Eng., York Univ., Toronto, ON, Canada
pp. 216-225

MoLoc: On Distinguishing Fingerprint Twins (Abstract)

Wei Sun , Hong Kong Univ. of Sci. & Technol., Hong Kong, China
Junliang Liu , Hong Kong Univ. of Sci. & Technol., Hong Kong, China
Chenshu Wu , Sch. of Software, Tsinghua Univ., Beijing, China
Zheng Yang , Sch. of Software, Tsinghua Univ., Beijing, China
Xinglin Zhang , Hong Kong Univ. of Sci. & Technol., Hong Kong, China
Yunhao Liu , Sch. of Software, Tsinghua Univ., Beijing, China
pp. 226-235

Harnessing Mobile Multiple Access Efficiency with Location Input (Abstract)

Wan Du , Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore, Singapore
Mo Li , Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore, Singapore
pp. 246-255

Location Privacy Preserving Dynamic Spectrum Auction in Cognitive Radio Network (Abstract)

Sheng Liu , Shanghai Jiao Tong Univ., Shanghai, China
Haojin Zhu , Shanghai Jiao Tong Univ., Shanghai, China
Rong Du , Shanghai Jiao Tong Univ., Shanghai, China
Cailian Chen , Shanghai Jiao Tong Univ., Shanghai, China
Xinping Guan , Shanghai Jiao Tong Univ., Shanghai, China
pp. 256-265

Achieving High-Throughput State Machine Replication in Multi-core Systems (Abstract)

Nuno Santos , Ecole Polytech. Fed. de Lausanne (EPFL), Lausanne, Switzerland
Andre Schiper , Ecole Polytech. Fed. de Lausanne (EPFL), Lausanne, Switzerland
pp. 266-275

Order-Preserving Renaming in Synchronous Systems with Byzantine Faults (Abstract)

Oksana Denysyuk , Inst. Super. Tecnico, Univ. Tec. de Lisboa, Lisbon, Portugal
Luis Rodrigues , Inst. Super. Tecnico, Univ. Tec. de Lisboa, Lisbon, Portugal
pp. 276-285

Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined (Abstract)

Tadeusz Kobus , Inst. of Comput. Sci., Poznan Univ. of Technol., Poznan, Poland
Maciej Kokocinski , Inst. of Comput. Sci., Poznan Univ. of Technol., Poznan, Poland
Pawel T. Wojciechowski , Inst. of Comput. Sci., Poznan Univ. of Technol., Poznan, Poland
pp. 286-296

Maximizing the Spread of Positive Influence in Online Social Networks (Abstract)

Huiyuan Zhang , Dept. of Comput. & Inf. Sci. & Eng., Univ. of Florida, Gainesville, FL, USA
Thang N. Dinh , Dept. of Comput. & Inf. Sci. & Eng., Univ. of Florida, Gainesville, FL, USA
My T. Thai , Dept. of Comput. & Inf. Sci. & Eng., Univ. of Florida, Gainesville, FL, USA
pp. 317-326

Message in a Sealed Bottle: Privacy Preserving Friending in Social Networks (Abstract)

Lan Zhang , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Xiang-Yang Li , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
Yunhao Liu , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
pp. 327-336

Gathering of Mobile Robots Tolerating Multiple Crash Faults (Abstract)

Zohir Bouzid , Univ. Pierre et Marie Curie - Paris 6, Paris, France
Shantanu Das , LIF, Aix-Marseille Univ., Marseille, France
Sebastien Tixeuil , Univ. Pierre et Marie Curie - Paris 6, Paris, France
pp. 337-346

Ring Exploration by Oblivious Agents with Local Vision (Abstract)

Ajoy K. Datta , Sch. of Comput. Sci., Univ. of Nevada, Las Vegas, NV, USA
Anissa Lamani , MIS, Univ. of Picardie Jules Verne Amiens, Amiens, France
Lawrence L. Larmore , Sch. of Comput. Sci., Univ. of Nevada, Las Vegas, NV, USA
Franck Petit , INRIA, UPMC Sorbonne Univ., Paris, France
pp. 347-356

Zigzag: Local-Information-Based Self-Optimizing Routing in Virtual Grid Networks (Abstract)

Shusuke Takatsu , Grad. Sch. of Inf. Sci. & Technol., Osaka Univ., Suita, Japan
Fukuhito Ooshita , Grad. Sch. of Inf. Sci. & Technol., Osaka Univ., Suita, Japan
Hirotsugu Kakugawa , Grad. Sch. of Inf. Sci. & Technol., Osaka Univ., Suita, Japan
Toshimitsu Masuzawa , Grad. Sch. of Inf. Sci. & Technol., Osaka Univ., Suita, Japan
pp. 357-368

ImageElves: Rapid and Reliable System Updates in the Cloud (Abstract)

Deepak Jeswani , IBM Res., Bangalore, India
Akshat Verma , IBM Res., Bangalore, India
Praveen Jayachandran , IBM Res., Bangalore, India
Kamal Bhattacharya , IBM Res., Bangalore, India
pp. 390-399

Dynamic Cloud Resource Reservation via Cloud Brokerage (Abstract)

Wei Wang , Dept. of Electr. & Comput. Eng., Univ. of Toronto, Toronto, ON, Canada
Di Niu , Dept. of Electr. & Comput. Eng., Univ. of Alberta, Edmonton, AB, Canada
Baochun Li , Dept. of Electr. & Comput. Eng., Univ. of Toronto, Toronto, ON, Canada
Ben Liang , Dept. of Electr. & Comput. Eng., Univ. of Toronto, Toronto, ON, Canada
pp. 400-409

Present or Future: Optimal Pricing for Spot Instances (Abstract)

Peijian Wang , Sch. of Electron. & Inf. Eng., Xi'an Jiaotong Univ., Xian, China
Yong Qi , Sch. of Electron. & Inf. Eng., Xi'an Jiaotong Univ., Xian, China
Dou Hui , Sch. of Electron. & Inf. Eng., Xi'an Jiaotong Univ., Xian, China
Lei Rao , Gen. Motors Res. Lab., Gen. Motors Corp., Palo Alto, CA, USA
Xue Liu , Sch. of Comput. Sci., McGill Univ., Montreal, QC, Canada
pp. 410-419

SmartDPSS: Cost-Minimizing Multi-source Power Supply for Datacenters with Arbitrary Demand (Abstract)

Wei Deng , Services Comput. Technol. & Syst. Lab., Huazhong Univ. of Sci. & Technol., Wuhan, China
Fangming Liu , Services Comput. Technol. & Syst. Lab., Huazhong Univ. of Sci. & Technol., Wuhan, China
Hai Jin , Services Comput. Technol. & Syst. Lab., Huazhong Univ. of Sci. & Technol., Wuhan, China
Chuan Wu , Dept. of Comput. Sci., Univ. of Hong Kong, Hong Kong, China
pp. 420-429

Longer Is Better: Exploiting Path Diversity in Data Center Networks (Abstract)

Fung Po Tso , Sch. of Comput. Sci., Univ. of Glasgow, Glasgow, UK
Gregg Hamilton , Sch. of Comput. Sci., Univ. of Glasgow, Glasgow, UK
Rene Weber , Dept. of Comput. Sci., Chemnitz Univ. of Technol., Chemnitz, Germany
Colin S. Perkins , Sch. of Comput. Sci., Univ. of Glasgow, Glasgow, UK
Dimitrios P. Pezaros , Sch. of Comput. Sci., Univ. of Glasgow, Glasgow, UK
pp. 430-439

Signal-Aware Green Wireless Relay Network Design (Abstract)

Chenfei Gao , Dept. of Electr. Eng. & Comput. Sci., Syracuse Univ., Syracuse, NY, USA
Jian Tang , Dept. of Electr. Eng. & Comput. Sci., Syracuse Univ., Syracuse, NY, USA
Xiang Sheng , Dept. of Electr. Eng. & Comput. Sci., Syracuse Univ., Syracuse, NY, USA
Weiyi Zhang , AT&T Labs. Res., Middletown, NJ, USA
Chonggang Wang , InterDigital Commun., King of Prussia, PA, USA
pp. 440-449

Ease the Queue Oscillation: Analysis and Enhancement of DCTCP (Abstract)

Wen Chen , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Peng Cheng , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Fengyuan Ren , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Ran Shu , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Chuang Lin , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
pp. 450-459

Efficient Geo-distributed Data Processing with Rout (Abstract)

Chamikara Jayalath , Purdue Univ., West Lafayette, IN, USA
Patrick Eugster , Purdue Univ., West Lafayette, IN, USA
pp. 470-480

Towards an Efficient Online Causal-Event-Pattern-Matching Framework (Abstract)

Sukanta Pramanik , David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
David Taylor , David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
Bernard Wong , David R. Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
pp. 481-490

S3: Characterizing Sociality for User-Friendly Steady Load Balancing in Enterprise WLANs (Abstract)

Chaoqun Yue , Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
Guangtao Xue , Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
Hongzi Zhu , Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
Jiadi Yu , Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
Minglu Li , Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
pp. 491-499

On Server Provisioning for Distributed Interactive Applications (Abstract)

Hanying Zheng , Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore, Singapore
Xueyan Tang , Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore, Singapore
pp. 500-509

Harmony: Dynamic Heterogeneity-Aware Resource Provisioning in the Cloud (Abstract)

Qi Zhang , Univ. of Waterloo, Waterloo, ON, Canada
Mohamed Faten Zhani , Univ. of Waterloo, Waterloo, ON, Canada
Raouf Boutaba , Univ. of Waterloo, Waterloo, ON, Canada
pp. 510-519

Recursive Fact-Finding: A Streaming Approach to Truth Estimation in Crowdsourcing Applications (Abstract)

Dong Wang , Dept. of Comput. Sci., Univ. of Illinois, Urbana, IL, USA
Tarek Abdelzaher , Dept. of Comput. Sci., Univ. of Illinois, Urbana, IL, USA
Lance Kaplan , Networked Sensing & Fusion Branch, US Army Res. Lab., Adelphi, MD, USA
Charu C. Aggarwal , IBM Res., Yorktown Heights, NY, USA
pp. 530-539

Least Cost Rumor Blocking in Social Networks (Abstract)

Lidan Fan , Dept. of Comput. Sci., Univ. of Texas at Dallas Dallas, Dallas, TX, USA
Zaixin Lu , Dept. of Comput. Sci., Univ. of Texas at Dallas Dallas, Dallas, TX, USA
Weili Wu , Dept. of Comput. Sci., Univ. of Texas at Dallas Dallas, Dallas, TX, USA
Bhavani Thuraisingham , Dept. of Comput. Sci., Univ. of Texas at Dallas Dallas, Dallas, TX, USA
Huan Ma , Sch. of Inf., Renmin Univ. of China, Beijing, China
Yuanjun Bi , Dept. of Comput. Sci., Univ. of Texas at Dallas Dallas, Dallas, TX, USA
pp. 540-549

Identifying and Addressing Protocol Manipulation Attacks in "Secure" BGP (Abstract)

Yang Song , Univ. of Massachusetts, Amherst, MA, USA
Arun Venkataramani , Univ. of Massachusetts, Amherst, MA, USA
Lixin Gao , Univ. of Massachusetts, Amherst, MA, USA
pp. 550-559

A Formal Framework for Network Security Design Synthesis (Abstract)

Mohammad Ashiqur Rahman , Dept. of Software & Inf. Syst., Univ. of North Carolina at Charlotte, Charlotte, NC, USA
Ehab Al-Shaer , Dept. of Software & Inf. Syst., Univ. of North Carolina at Charlotte, Charlotte, NC, USA
pp. 560-570

Peer Pressure: Exerting Malicious Influence on Routers at a Distance (Abstract)

Max Schuchard , Dept. of Comput. Sci. & Eng., Univ. of Minnesota, Minneapolis, MN, USA
Christopher Thompson , Dept. of Electr. Eng. & Comput. Sci., Univ. of California, Berkeley, Berkeley, CA, USA
Nicholas Hopper , Dept. of Comput. Sci. & Eng., Univ. of Minnesota, Minneapolis, MN, USA
Yongdae Kim , Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol. (KAIST), Daejeon, South Korea
pp. 571-580

Efficient Identification of Additive Link Metrics via Network Tomography (Abstract)

Liang Ma , Imperial Coll. London, London, UK
Ting He , IBM T. J. Watson Res. Center, Yorktown Heights, NY, USA
Kin K. Leung , Imperial Coll. London, London, UK
Don Towsley , Univ. of Massachusetts, Amherst, MA, USA
Ananthram Swami , Army Res. Lab., Adelphi, MD, USA
pp. 581-590

Parallel Consensus is Harder than Set Agreement in Message Passing (Abstract)

Zohir Bouzid , LIP6, UPMC, Paris, France
Corentin Travers , LaBRI, Univ. Bordeaux 1, Bordeaux, France
pp. 611-620

Author Index (PDF)

pp. 621-623
125 ms
(Ver 3.3 (11022016))