Conference Paper (760)

941.
Conference Paper
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)
942.
Conference Paper
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)
943.
Conference Paper
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)
944.
Conference Paper
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)
945.
Conference Paper
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)
946.
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)
947.
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)
948.
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)
949.
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)
950.
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)
951.
Conference Paper
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)
952.
Conference Paper
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)
953.
Conference Paper
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)
954.
Conference Paper
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)
955.
Conference Paper
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)
956.
Conference Paper
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)
957.
Conference Paper
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)
958.
Conference Paper
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)
959.
Conference Paper
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)
960.
Conference Paper
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)
Go to Editor View