Conference Paper (918)
1181.
Conference Paper
PeerReview: practical accountability for distributed systems. In: SOSP’07: proceedings of the 21st ACM Symposium on, pp. 175 - 188. ACM, New York, NY (2007)
1182.
Conference Paper
Exploiting Social Interactions in Mobile Systems. In: UbiComp 2007: 9th International Conference, UbiComp 2007, pp. 409 - 428 (Eds. Krumm, J.; Abowd, G. D.; Seneviratne, A.; Strang, T.). Springer, Berlin, Germany (2007)
1183.
Conference Paper
Measurement and Analysis of Online Social Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, pp. 29 - 42. ACM, New York, NY, USA (2007)
1184.
Conference Paper
SAAR: A Shared Control Plane for Overlay Multicast. In: Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI'07), pp. 57 - 72. USENIX, Berkeley, USA (2007)
1185.
Conference Paper
Synchronizing without Locks is Inherently Expensive. In: Twenty-Fifth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2006), pp. 300 - 307. ACM, New York, USA (2006)
1186.
Conference Paper
Efficient Replica Maintenance for Distributed Storage Systems. In: 3rd Symposium on Networked Systems Design & Implementation, pp. 45 - 58. USENIX, Berkeley, CA (2006)
1187.
Conference Paper
The Weakest Failure Detectors to Boost Obstruction-Freedom. In: 20th International Symposium on Distributed Computing (DISC 2006), pp. 399 - 412. Springer, Berlin (2006)
1188.
Conference Paper
Monarch: A Tool to Emulate Transport Protocol Flows over the Internet at Large. In: 2006 ACM SIGCOMM Internet Measurement Conference, pp. 105 - 118. ACM, New York, USA (2006)
1189.
Conference Paper
The Case for Byzantine Fault Detection. In: 2nd Workshop on Hot Topics in System Dependability, pp. 1 - 6. USENIX, Berkeley, CA (2006)
1190.
Conference Paper
Fallacies in evaluating decentralized systems. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), pp. 19 - 24. (2006)
1191.
Conference Paper
Thread-modular verification is Cartesian abstract interpretation. In: Theoretical Aspects of Computing -- ICTAC 2006, pp. 183 - 197 (Eds. Barkaoui, K.; Cavalcanti, A.; Cerone, A.). Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunesia, November 20, 2006 - November 24, 2006. Springer, Berlin (2006)
1192.
Conference Paper
Model Checking Duration Calculus: A Practical Approach. In: Theoretical Aspects of Computing -- ICTAC 2006, pp. 332 - 346 (Eds. Barkaoui, K.; Cavalcanti, A.; Cerone, A.). Third International Colloquium on Theoretical Aspects of Computing, Tunis, Tunesia, November 20, 2006 - November 24, 2006. Springer, Berlin (2006)
1193.
Conference Paper
Exploiting Social Networks for Internet Search. In: Record of the Fifth Workshop on Hot Topics in Networks, pp. 79 - 84. Fifth Workshop on Hot Topics in Networks, Irvine, CA, USA, November 29, 2006 - November 30, 2006. ACM, New York, NY (2006)
1194.
Conference Paper
Experiences in Building and Operating ePOST, a Reliable Peer-to-Peer Application. In: Proceedings of EuroSys 2006, pp. 147 - 160. ACM, New York, USA (2006)
1195.
Conference Paper
Eclipse Attacks on Overlay Networks: Threats and Defenses. In: 25th IEEE International Conference on Computer Communications (INFOCOM 2006). IEEE, Barcelona, Spain (2006)
1196.
Conference Paper
Using Queries for Distributed Monitoring and Forensics. In: Proceedings of EuroSys 2006, pp. 389 - 402. ACM, New York, USA (2006)
1197.
Conference Paper
Proactive replication for data durability. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), pp. 43 - 48. (2006)
1198.
Conference Paper
Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space. In: Proceedings of the 6th ACM SIGCOMM Conference on Internet Measurement 2006, pp. 85 - 98. ACM, New York, USA (2006)
Conference Report (1)
1199.
Conference Report
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation. In: ICFP'14, pp. 227 - 240. ACM SIGPLAN International Conference on Functional Programming, Gothenburg, Sweden, September 01, 2014 - September 03, 2014. ACM, New York, NY (2014)
Poster (2)
1200.
Poster
Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)