Scientific Publications
Journal Article (1)
1.
Journal Article
29, 15, pp. 15.1 - 15.31 (2007)
Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems Conference Paper (5)
2.
Conference Paper
Characterizing Residential Broadband Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, pp. 43 - 56. ACM, New York, USA (2007)
3.
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)
4.
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)
5.
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)
6.
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)