Gupta, A.; Henzinger, T. A.; Majumdar, R.; Rybalchenko, A.; Xu, R.-G.: Proving non-termination. In: POPL’08: proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 147 - 158 (Eds. Necula, G. C.; Wadler, P.). ACM, New York, NY (2008)

Haeberlen, A.; Rodrigues, R.; Gummadi, K. P.; Druschel, P.: Pretty Good Packet Authentication. In: HotDep '08: 4th Workshop on Hot Topics in System Dependability, pp. 1 - 5. USENIX, Berkeley, CA (2008)

Podelski, A.; Rybalchenko, A.; Wies, T.: Heap Assumptions on Demand. In: Computer Aided Verification: 20th International Conference, CAV 2008, pp. 314 - 327 (Eds. Gupta, A.; Malik, S.). Springer, New York, USA (2008)

Rossberg, A.: Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. In: Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), pp. 313 - 336 (Eds. Bauer, A.; Mislove, M.). Elsevier, New York, USA (2008)

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)

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)

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)

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)

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)

Attiya, H.; Guerraoui, R.; Hendler, D.; Kouznetsov, P.: 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)

Chun, B.-G.; Dabek, F.; Haeberlen, A.; Sit, E.; Weatherspoon, H.; Kaashoek, M. F.; Kubiatowicz, J.; Morris, R.: Efficient Replica Maintenance for Distributed Storage Systems. In: 3rd Symposium on Networked Systems Design & Implementation, pp. 45 - 58. USENIX, Berkeley, CA (2006)

Guerraoui, R.; Kapałka, M.; Kouznetsov, P.: The Weakest Failure Detectors to Boost Obstruction-Freedom. In: 20th International Symposium on Distributed Computing (DISC 2006), pp. 399 - 412. Springer, Berlin (2006)

Haeberlen, A.; Dischinger, M.; Gummadi, K. P.; Saroiu, S.: 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)

Haeberlen, A.; Kouznetsov, P.; Druschel, P.: The Case for Byzantine Fault Detection. In: 2nd Workshop on Hot Topics in System Dependability, pp. 1 - 6. USENIX, Berkeley, CA (2006)

Haeberlen, A.; Mislove, A.; Post, A.; Druschel, P.: Fallacies in evaluating decentralized systems. In: 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), pp. 19 - 24. (2006)

Malkis, A.; Podelski, A.; Rybalchenko, A.: 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)

Meyer, R.; Faber, J.; Rybalchenko, A.: 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)

Mislove, A.; Gummadi, K. P.; Druschel, P.: 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)

Mislove, A.; Post, A.; Haeberlen, A.; Druschel, P.: 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)

Singh, A.; Ngan, T.-W. ".; Druschel, P.; Wallach, D. S.: Eclipse Attacks on Overlay Networks: Threats and Defenses. In: 25th IEEE International Conference on Computer Communications (INFOCOM 2006). IEEE, Barcelona, Spain (2006)