Scientific Publications

Journal Article (1)

Journal Article
Podelski, A.; Rybalchenko, A.: Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems 29, 15, pp. 15.1 - 15.31 (2007)

Conference Paper (5)

Conference Paper
Dischinger, M.; Haeberlen, A.; Gummadi, K. P.; Saroiu, S.: Characterizing Residential Broadband Networks. In: IMC'07: proceedings of the 2007 ACM SIGCOMM, pp. 43 - 56. ACM, New York, USA (2007)
Conference Paper
Haeberlen, A.; Kuznetsov, P.; Druschel, P.: PeerReview: practical accountability for distributed systems. In: SOSP’07: proceedings of the 21st ACM Symposium on, pp. 175 - 188. ACM, New York, NY (2007)
Conference Paper
Miklas, A. G.; Gollu, K. K.; Chan, K. K. W.; Saroiu, S.; Gummadi, K. P.; de Lara, E.: 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)
Conference Paper
Mislove, A.; Marcon, M.; Gummadi, K. P.; Druschel, P.; Bhattacharjee, B.: 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)
Conference Paper
Nandi, A.; Ganjam, A.; Druschel, P.; Ng, T.S.E.; Stoica, I.; Zhang, H.; Bhattacharjee, B.: 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)
Go to Editor View