Conference Paper (937)
1161.
Conference Paper
A measurement-driven analysis of information propagation in the flickr social network. In: WWW’09: proceedings of the 18th International World Wide Web Conference, pp. 721 - 730. 18th International World Wide Web Conference (WWW 2009), Madrid, April 20, 2009 - April 24, 2009. ACM, New York, NY (2009)
1162.
Conference Paper
Flash floods and ripples: The spread of media content through the blogosphere. In: ICWSM 2009 Data Challenge Workshop, pp. 1 - 8. 3rd International AAAI Conference on Weblogs and Social Media, San Jose, CA, May 17, 2009 - May 20, 2009. AAAI, Menlo Park, CA (2009)
1163.
Conference Paper
Finding heap-bounds for hardware synthesis. In: Proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design FMCAD 2009, pp. 205 - 212 (Ed. Hung, W. N. N.). FMCAD 2009, Austin, Texas, November 15, 2009 - November 18, 2009. IEEE, Piscataway, NJ (2009)
1164.
Conference Paper
Logical step-indexed logical relations. In: 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) proceedings, pp. 71 - 80. 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), Los Angelos, CA, August 11, 2009 - August 14, 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1165.
Conference Paper
Efficient cross-layer negotiation. In: Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), 123, pp. 1 - 6. Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), New York, NY, October 22, 2009 - October 23, 2009. ACM, New York, NY (2009)
1166.
Conference Paper
Verme: Worm containment in overlay networks. In: Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), pp. 155 - 164 (Eds. Carvalho, P.; Craveiro, J.; Kaaniche, M.; Reiser, H. P.). 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Estoril, Lisboa, June 29, 2009 - July 02, 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1167.
Conference Paper
Verifying liveness for asynchronous programs. In: POPL’09: proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 102 - 113. POPL'09, Savannah, GA, January 21, 2009 - January 23, 2009. ACM, New York, NY (2009)
1168.
Conference Paper
Serving ads from localhost for performance, privacy, and profit. In: Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), 27, pp. 1 - 6. Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), New York, NY, October 22, 2009 - October 23, 2009. ACM, New York, NY (2009)
1169.
Conference Paper
From tests to proofs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 262 - 276 (Eds. Kowalewski, S.; Philippou, A.). 15th International Conference, TACAS 2009, York, March 22, 2009 - March 29, 2009. Springer, Berlin (2009)
1170.
Conference Paper
InvGen: An efficient invariant generator. In: Computer Aided Verification: 21st International Conference, CAV 2009, pp. 634 - 640 (Eds. Bouajjani, A.; Maler, O.). 21st International Conference, CAV 2009, Grenoble, June 26, 2009 - July 02, 2009. Springer, Berlin (2009)
1171.
Conference Paper
Not all adware is badware: Towards privacy-aware advertising. In: Software Services for e-Business and e-Society, pp. 161 - 172 (Eds. Godart, C.; Gronau, N.; Sharma, S.; Canals, G.). 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, September 23, 2009 - September 25, 2009. Springer, Berlin (2009)
1172.
Conference Paper
NetReview: Detecting when interdomain routing goes wrong. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, pp. 437 - 452. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, April 22, 2009 - April 24, 2009. USENIX, Berkeley, CA (2009)
1173.
Conference Paper
The fault detection problem. In: Principles of distributed systems, pp. 99 - 114 (Eds. Abdelzaher, T.; Raynal, M.; Santoro, N.). 13th International Conference, OPODIS 2009, Nimes, December 15, 2009 - December 18, 2009. Springer, Berlin (2009)
1174.
Conference Paper
A provably secure and efficient countermeasure against timing attacks. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium CSF 2009, pp. 324 - 335. 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, NY, July 08, 2009 - July 10, 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1175.
Conference Paper
Operational semantics for declarative networking. In: Practical Aspects of Declarative Languages, pp. 76 - 90 (Eds. Gill, A.; Swift, T.). 11th International Symposium, PADL 2009, Savannah, GA, January 19, 2009 - January 20, 2009. Springer, Berlin (2009)
1176.
Conference Paper
Cardinality abstraction for declarative networking applications. In: Computer Aided Verification: 21st International Conference, CAV 2009, pp. 584 - 598 (Eds. Bouajjani, A.; Maler, O.). 21st International Conference, CAV 2009, Grenoble, June 26, 2009 - July 02, 2009. Springer, Berlin (2009)
1177.
Conference Paper
Non-parametric parametricity. In: ICFP’09: proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming, pp. 135 - 148. 2009 ACM SIGPLAN International Conference on Functional Programming, Edinburgh, August 31, 2009 - September 02, 2009. ACM, New York, NY (2009)
1178.
Conference Paper
Subsumer-First: Steering symbolic reachability analysis. In: Model Checking Software, pp. 192 - 204 (Ed. Pasareanu, C. S.). 16th International SPIN Workshop, Grenoble, June 26, 2009 - June 28, 2009. Springer, Berlin (2009)
1179.
Conference Paper
Towards trusted cloud computing. In: Workshop on Hot Topics in Cloud Computing (HotCloud '09), pp. 1 - 5. HotCloud 09 / Workshop on Hot Topics in Cloud Computing, San Diego, CA, June 15, 2009. USENIX, Berkeley, CA (2009)
1180.
Conference Paper
Zeno: Eventually consistent Byzantine fault tolerance. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, pp. 169 - 184. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, April 22, 2009 - April 24, 2009. USENIX, Berkeley, CA (2009)