| 2013 | Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond. | Sanjit A. Seshia |
| 2013 | Fast Distributed PageRank Computation. | Atish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan, Eli Upfal |
| 2013 | Decentralized Erasure Coding for Efficient Data Archival in Distributed Storage Systems. | Lluis Pamies-Juarez, Frdrique E. Oggier, Anwitaman Datta |
| 2013 | Deployment and Evaluation of a Decentralised Runtime for Concurrent Rule-Based Programming Models. | Marko Obrovac, Cdric Tedeschi |
| 2013 | Robust Deployment of Wireless Sensor Networks Using Gene Regulatory Networks. | Azade Nazi, Mayank Raj, Mario Di Francesco, Preetam Ghosh, Sajal K. Das |
| 2013 | A Scalable Byzantine Grid. | Alexandre Maurer, Sbastien Tixeuil |
| 2013 | POSTER: Using Directional Antennas for Epidemic Routing in DTNs in Practice. | Rajib Ranjan Maiti, Niloy Ganguly, Arobinda Gupta |
| 2013 | Transport Protocol with Acknowledgement-Assisted Storage Management for Intermittently Connected Wireless Sensor Networks. | Ying Li, Radim Bartos, James Swan |
| 2013 | Sublinear Bounds for Randomized Leader Election. | Shay Kutten, Gopal Pandurangan, David Peleg, Peter Robinson, Amitabh Trehan |
| 2013 | On the Analysis of a Label Propagation Algorithm for Community Detection. | Kishore Kothapalli, Sriram V. Pemmaraju, Vivek Sardeshmukh |
| 2013 | Exploiting Partial-Packet Information for Reactive Jamming Detection: Studies in UWSN Environment. | Manas Khatua, Sudip Misra |
| 2013 | PeerVault: A Distributed Peer-to-Peer Platform for Reliable Data Backup. | Adnan Rahath Khan, Mehrab Shahriar, Sk. Kajal Arefin Imon, Mario Di Francesco, Sajal K. Das |
| 2013 | Compact TCAM: Flow Entry Compaction in TCAM for Power Aware SDN. | Kalapriya Kannan, Subhasis Banerjee |
| 2013 | Addressing the ZooKeeper Synchronization Inefficiency. | Babak Kalantari, Andr Schiper |
| 2013 | How to Survive and Thrive in a Private BitTorrent Community. | Adele Lu Jia, Xiaowei Chen, Xiaowen Chu, Johan A. Pouwelse, Dick H. J. Epema |
| 2013 | Optimal Migration Contracts in Virtual Networks: Pay-as-You-Come vs Pay-as-You-Go Pricing. | Xinhui Hu, Stefan Schmid, Andra W. Richa, Anja Feldmann |
| 2013 | Cellular Pulse Switching: An Architecture for Event Sensing and Localization in Sensor Networks. | Qiong Huo, Bo Dong, Subir Biswas |
| 2013 | POSTER: Approximation Algorithm for Minimizing the Size of Coverage Hole in Wireless Sensor Networks. | Barun Gorain, Partha Sarathi Mandal, Sandip Das |
| 2013 | Maximal Antichain Lattice Algorithms for Distributed Computations. | Vijay K. Garg |
| 2013 | POSTER: Broadcasting in Delay Tolerant Networks Using Periodic Contacts. | Prosenjit Dhole, Arobinda Gupta, Arindam Sharma |
| 2013 | Uniform Consensus with Homonyms and Omission Failures. | Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The |
| 2013 | Linear Space Bootstrap Communication Schemes. | Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum |
| 2013 | Dealing with Undependable Workers in Decentralized Network Supercomputing. | Seda Davtyan, Kishori M. Konwar, Alexander Russell, Alexander A. Shvartsman |
| 2013 | Fast Leader (Full) Recovery Despite Dynamic Faults. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore, Sbastien Tixeuil |
| 2013 | Self-stabilizing Silent Disjunction in an Anonymous Network. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |