Conference Paper (30)
21.
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)
22.
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)
23.
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)
24.
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)
25.
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)
26.
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)
27.
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)
28.
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)
29.
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)
30.
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)
31.
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)
32.
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)
33.
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)
34.
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)
35.
Conference Paper
On the evolution of user interaction in facebook. In: SIGCOMM 09: Proceedings of the 2009 SIGCOMM Conference and Co-Located Workshops MobiHeld’09, PRESTO’09, VISA’09, WOSN’09, & WREN’09, pp. 37 - 42. 2nd ACM Workshop on Online Social Networks, Barcelon, August 17, 2009 - August 21, 2009. ACM, New York, NY (2009)
Report (4)
36.
Report
Privad: Rearchitecting online advertising for privacy. Max Planck Institute for Software Systems, Kaiserlautern (2009), 30 pp.
37.
Report
The fault detection problem. MPI for Software Systems, Saarbrücken (2009), 20 pp.
38.
Report
The local and global effects of traffic shaping. Max Planck Institute for Software Systems, Saarbrücken (2009), 40 pp.
39.
Report
Understanding the design tradeoffs for cooperative streaming multicast. Max Planck Institute for Software Systems, Saarbrücken (2009), 17 pp.