Cha, M.; Rodriguez, P.; Moon, S.; Crowcroft, J.: On Next-Generation Telco-Managed P2P TV Architectures. In: 7th International Workshop on Peer-to-Peer Systems (IPTPS2008), pp. 475 - 505. ACM, New York, NY, USA (2008)

Cook, B.; Gulwani, S.; Lev-Ami, T.; Rybalchenko, A.; Sagiv, M.: Proving Conditional Termination. In: Computer Aided Verification: 20th International Conference, CAV 2008, pp. 328 - 340 (Eds. Gupta, A.; Malik, S.). Springer, New York, USA (2008)

Dischinger, M.; Haeberlen, A.; Beschastnikh, I.; Gummadi, K. P.; Saroiu, S.: SatelliteLab: Adding Heterogeneity to Planetary-Scale Testbeds. In: SIGCOMM 2008, pp. 315 - 326. ACM, New York, NY (2008)

Dischinger, M.; Mislove, A.; Haeberlen, A.; Gummadi, K. P.: Detecting BitTorrent Blocking. In: IMC’08: proceedings of the 2008 ACM SIGCOMM Internet Measurement Conference, pp. 3 - 8. ACM, New York, NY (2008)

Dreyer, D.; Rossberg, A.: Mixin' Up the ML Module System. In: ICFP’08: proceedings of the 2008 SIGPLAN International Conference on Functional Programming, pp. 307 - 320. ACM, New York, NY (2008)

Ford, B.; Iyengar, J.: Breaking Up the Transport Logjam. In: Seventh ACM Workshop on Hot Topics in Networks (HotNets-VII), pp. 15.1 - 6. ACM, New York, NY (2008)

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.: Residential Broadband Networks: Characteristics and Implications. (2008)

Santos, N.; Mislove, A.; Dischinger, M.; Gummadi, K.: Anonymity in the Personalized Web, (2008)