Conference Paper (913)

1161.
Conference Paper
Backes, M.; Unruh, D.: Limits of Constructive Security Proofs. In: Advances in Cryptology - ASIACRYPT 2008: 14th International Conference on the Theory and Application of Cryptology and Information Security, pp. 290 - 307 (Ed. Pieprzyk, J.). Springer, Berlin (2008)
1162.
Conference Paper
Cha, M.; Mislove, A.; Adams, B.; Gummadi, K. P.: Characterizing Social Cascades in Flickr. In: Compilation E-Proceedings of the SIGCOMM 2008 Conference & the co-located workshops: WOSN'08 Proceedings, pp. 13 - 18. ACM, New York, NY (2008)
1163.
Conference Paper
Cha, M.; Rodriguez, P.; Crowcroft, J.; Moon, S.; Amatrianin, X.: Watching Television Over an IP Network. In: IMC’08: proceedings of the 2008 ACM SIGCOMM Internet Measurement Conference, pp. 71 - 84. ACM, New York, NY (2008)
1164.
Conference Paper
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)
1165.
Conference Paper
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)
1166.
Conference Paper
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)
1167.
Conference Paper
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)
1168.
Conference Paper
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)
1169.
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)
1170.
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)
1171.
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)
1172.
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)
1173.
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)
1174.
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)
1175.
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)
1176.
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)
1177.
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)
1178.
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)
1179.
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)
1180.
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)
Go to Editor View