| 2013 | A Formal Framework for Network Security Design Synthesis. Mohammad Ashiqur Rahman, Ehab Al-Shaer |
| 2013 | A Scalable Conflict-Free Replicated Set Data Type. Andrei Deftu, Jan Griebsch |
| 2013 | AUTOVAC: Automatically Extracting System Resource Constraints and Generating Vaccines for Malware Immunization. Zhaoyan Xu, Jialong Zhang, Guofei Gu, Zhiqiang Lin |
| 2013 | Achieving High-Throughput State Machine Replication in Multi-core Systems. Nuno Santos, André Schiper |
| 2013 | Cache Privacy in Named-Data Networking. Gergely Ács, Mauro Conti, Paolo Gasti, Cesar Ghali, Gene Tsudik |
| 2013 | Cache Topology Aware Mapping of Stream Processing Applications onto CMPs. Fang Zheng, Chitra Venkatramani, Rohit Wagle, Karsten Schwan |
| 2013 | Characterizing Information Diffusion in Online Social Networks with Linear Diffusive Model. Feng Wang, Haiyan Wang, Kuai Xu, Jianhong Wu, Xiaohua Jia |
| 2013 | Content-Based Scheduling of Virtual Machines (VMs) in the Cloud. Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting |
| 2013 | Coordinating In-Network Caching in Content-Centric Networks: Model and Analysis. Yanhua Li, Haiyong Xie, Yonggang Wen, Zhi-Li Zhang |
| 2013 | Datacenters as Controllable Load Resources in the Electricity Market. Rui Wang, Nagarajan Kandasamy, Chika Nwankpa, David R. Kaeli |
| 2013 | Detecting Transient Bottlenecks in n-Tier Applications through Fine-Grained Analysis. Qingyang Wang, Yasuhiko Kanemasa, Jack Li, Deepal Jayasinghe, Toshihiro Shimizu, Masazumi Matsubara, Motoyuki Kawaba, Calton Pu |
| 2013 | Diagnosing Data Center Behavior Flow by Flow. Ahsan Arefin, Vishal K. Singh, Guofei Jiang, Yueping Zhang, Cristian Lumezanu |
| 2013 | Distributed Ranked Data Dissemination in Social Networks. Kaiwen Zhang, Mohammad Sadoghi, Vinod Muthusamy, Hans-Arno Jacobsen |
| 2013 | Dynamic Cloud Resource Reservation via Cloud Brokerage. Wei Wang, Di Niu, Baochun Li, Ben Liang |
| 2013 | Dynamic Energy Estimation of Query Plans in Database Systems. Zichen Xu, Yi-Cheng Tu, Xiaorui Wang |
| 2013 | Ease the Queue Oscillation: Analysis and Enhancement of DCTCP. Wen Chen, Peng Cheng, Fengyuan Ren, Ran Shu, Chuang Lin |
| 2013 | Efficient Geo-distributed Data Processing with Rout. Chamikara Jayalath, Patrick Eugster |
| 2013 | Efficient Identification of Additive Link Metrics via Network Tomography. Liang Ma, Ting He, Kin K. Leung, Don Towsley, Ananthram Swami |
| 2013 | Energy-Aware Web Browsing in 3G Based Smartphones. Bo Zhao, Qiang Zheng, Guohong Cao, Sateesh Addepalli |
| 2013 | FChain: Toward Black-Box Online Fault Localization for Cloud Systems. Hiep Nguyen, Zhiming Shen, Yongmin Tan, Xiaohui Gu |
| 2013 | Gathering of Mobile Robots Tolerating Multiple Crash Faults. Zohir Bouzid, Shantanu Das, Sébastien Tixeuil |
| 2013 | Harmony: Dynamic Heterogeneity-Aware Resource Provisioning in the Cloud. Qi Zhang, Mohamed Faten Zhani, Raouf Boutaba, Joseph L. Hellerstein |
| 2013 | Harnessing Mobile Multiple Access Efficiency with Location Input. Wan Du, Mo Li |
| 2013 | Hybrid Replication: State-Machine-Based and Deferred-Update Replication Schemes Combined. Tadeusz Kobus, Maciej Kokocinski, Pawel T. Wojciechowski |
| 2013 | HybridMR: A Hierarchical MapReduce Scheduler for Hybrid Data Centers. Bikash Sharma, Timothy Wood, Chita R. Das |
| 2013 | IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, USA |
| 2013 | Identifying and Addressing Protocol Manipulation Attacks in "Secure" BGP. Yang Song, Arun Venkataramani, Lixin Gao |
| 2013 | ImageElves: Rapid and Reliable System Updates in the Cloud. Deepak Jeswani, Akshat Verma, Praveen Jayachandran, Kamal Bhattacharya |
| 2013 | Least Cost Rumor Blocking in Social Networks. Lidan Fan, Zaixin Lu, Weili Wu, Bhavani Thuraisingham, Huan Ma, Yuanjun Bi |
| 2013 | Location Privacy Preserving Dynamic Spectrum Auction in Cognitive Radio Network. Sheng Liu, Haojin Zhu, Rong Du, Cailian Chen, Xinping Guan |
| 2013 | Longer Is Better: Exploiting Path Diversity in Data Center Networks. Fung Po Tso, Gregg Hamilton, Rene Weber, Colin Perkins, Dimitrios P. Pezaros |
| 2013 | Maximizing the Spread of Positive Influence in Online Social Networks. Huiyuan Zhang, Thang N. Dinh, My T. Thai |
| 2013 | Message in a Sealed Bottle: Privacy Preserving Friending in Social Networks. Lan Zhang, Xiang-Yang Li, Yunhao Liu |
| 2013 | Mindicators: A Scalable Approach to Quiescence. Yujie Liu, Victor Luchangco, Michael F. Spear |
| 2013 | MoLoc: On Distinguishing Fingerprint Twins. Wei Sun, Junliang Liu, Chenshu Wu, Zheng Yang, Xinglin Zhang, Yunhao Liu |
| 2013 | Mobility-Assisted Energy-Aware User Contact Detection in Mobile Social Networks. Wenjie Hu, Guohong Cao, Srikanth V. Krishnamurthy, Prasant Mohapatra |
| 2013 | No Hot Spot Non-blocking Skip List. Tyler Crain, Vincent Gramoli, Michel Raynal |
| 2013 | Non-blocking Patricia Tries with Replace Operations. Niloufar Shafiei |
| 2013 | On Server Provisioning for Distributed Interactive Applications. Hanying Zheng, Xueyan Tang |
| 2013 | On the k-Atomicity-Verification Problem. Wojciech M. Golab, Jeremy Hurwitz, Xiaozhou Li |
| 2013 | Optimistic Atomic Multicast. Carlos Eduardo Benevides Bezerra, Fernando Pedone, Benoît Garbinato, Cláudio F. R. Geyer |
| 2013 | Order-Preserving Renaming in Synchronous Systems with Byzantine Faults. Oksana Denysyuk, Luís E. T. Rodrigues |
| 2013 | Parallel Consensus is Harder than Set Agreement in Message Passing. Zohir Bouzid, Corentin Travers |
| 2013 | Peer Pressure: Exerting Malicious Influence on Routers at a Distance. Max Schuchard, Christopher Thompson, Nicholas Hopper, Yongdae Kim |
| 2013 | Pilot: Passive Device-Free Indoor Localization Using Channel State Information. Jiang Xiao, Kaishun Wu, Youwen Yi, Lu Wang, Lionel M. Ni |
| 2013 | Present or Future: Optimal Pricing for Spot Instances. Peijian Wang, Yong Qi, Dou Hui, Lei Rao, Xue Liu |
| 2013 | Proteus: Power Proportional Memory Cache Cluster in Data Centers. Shen Li, Shiguang Wang, Fan Yang, Shaohan Hu, Fatemeh Saremi, Tarek F. Abdelzaher |
| 2013 | RAC: A Freerider-Resilient, Scalable, Anonymous Communication Protocol. Sonia Ben Mokhtar, Gautier Berthou, Amadou Diarra, Vivien Quéma, Ali Shoker |
| 2013 | RBFT: Redundant Byzantine Fault Tolerance. Pierre-Louis Aublin, Sonia Ben Mokhtar, Vivien Quéma |
| 2013 | Recursive Fact-Finding: A Streaming Approach to Truth Estimation in Crowdsourcing Applications. Dong Wang, Tarek F. Abdelzaher, Lance M. Kaplan, Charu C. Aggarwal |
| 2013 | Ring Exploration by Oblivious Agents with Local Vision. Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit |
| 2013 | Ripple: Improved Architecture and Programming Model for Bulk Synchronous Parallel Style of Analytics. Mike Spreitzer, Malgorzata Steinder, Ian Whalley |
| 2013 | S3: Characterizing Sociality for User-Friendly Steady Load Balancing in Enterprise WLANs. Chaoqun Yue, Guangtao Xue, Hongzi Zhu, Jiadi Yu, Minglu Li |
| 2013 | Safety of Deferred Update in Transactional Memory. Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi |
| 2013 | Signal-Aware Green Wireless Relay Network Design. Chenfei Gao, Jian Tang, Xiang Sheng, Weiyi Zhang, Chonggang Wang |
| 2013 | SmartDPSS: Cost-Minimizing Multi-source Power Supply for Datacenters with Arbitrary Demand. Wei Deng, Fangming Liu, Hai Jin, Chuan Wu |
| 2013 | Storing Shared Data on the Cloud via Security-Mediator. Boyang Wang, Sherman S. M. Chow, Ming Li, Hui Li |
| 2013 | Towards an Efficient Online Causal-Event-Pattern-Matching Framework. Sukanta Pramanik, David Taylor, Bernard Wong |
| 2013 | Volley: Violation Likelihood Based State Monitoring for Datacenters. Shicong Meng, Arun Iyengar, Isabelle Rouvellou, Ling Liu |
| 2013 | Watchmen: Scalable Cheat-Resistant Support for Distributed Multi-player Online Games. Amir Yahyavi, Kévin Huguenin, Julien Gascon-Samson, Jörg Kienzle, Bettina Kemme |
| 2013 | Zigzag: Local-Information-Based Self-Optimizing Routing in Virtual Grid Networks. Shusuke Takatsu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
| 2013 | pVOCL: Power-Aware Dynamic Placement and Migration in Virtualized GPU Environments. Palden Lama, Yan Li, Ashwin M. Aji, Pavan Balaji, James Dinan, Shucai Xiao, Yunquan Zhang, Wu-chun Feng, Rajeev Thakur, Xiaobo Zhou |