Garcia, R.; Rodrigues, R.; Preguiςa, N.: Efficient middleware for Byzantine fault tolerant database replication. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, S. 107 - 122. EuroSys '11, Salzburg, Austria, 10. April 2011 - 13. April 2011. ACM, New York, NY (2011)

Gonthier, G.; Ziliani, B.; Nanevski, A.; Dreyer, D.: How to Make Ad Hoc Proof Automation Less Ad Hoc. In: ICFP’11: proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, S. 163 - 175. ICFP’11, Tokyo, Japan, 19. September 2011 - 21. September 2011. ACM, New York, NY (2011)

Guha, S.; Cheng, B.; Francis, P.: Privad: Practical Privacy in Online Advertising. In: NSDI ’11: 8th USENIX Symposium on Networked Systems Design and Implementation, S. 169 - 182. NSDI'11, Boston, MA, USA, 30. März 2011 - 01. April 2011. USENIX, Berkeley, CA (2011)

Hammer, M. A.; Neis, G.; Chen, Y.; Acar, U. A.: Self-adjusting stack machines. OOPSLA '11, Portland, OR, 22. Oktober 2011 - 28. Oktober 2011. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, S. 753 - 772 (2011)

Hur, C.-K.; Dreyer, D.: A Kripke Logical Relation Between ML and Assembly. In: POPL’11 Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 133 - 146. POPL’11, Austin, Texas, 26. Januar 2011 - 28. Januar 2011. ACM, New York, NY (2011)

Hur, C.-K.; Dreyer, D.; Vafeiadis, V.: Separation Logic in the Presence of Garbage Collection. In: 26th Annual IEEE Symposium on Logic in Computer Science: proceedings, S. 247 - 256. LICS 2011, Toronto, Ontario, Canada, 21. Juni 2011 - 24. Juni 2011. IEEE Computer Society, Los Alamitos, CA (2011)

Jhala, R.; Majumdar, R.; Rybalchenko, A.; Qadeer, S.: HMC: Verifying Functional Programs Using Abstract Interpreters. In: Computer Aided Verification: 23rd International Conference, CAV 2011, S. 470 - 486 (Hg. Gopalakrishnan, G.; Qadeer, S.). CAV 2011, Snowbird, UT, USA,, 14. Juli 2011 - 20. Juli 2011. Springer, Berlin (2011)

Jose, M.; Majumdar, R.: Bug-Assist: Assisting Fault Localization in ANSI-C Programs. In: Computer Aided Verification: 23rd International Conference, CAV 2011, S. 504 - 509 (Hg. Gopalakrishnan, G.; Qadeer, S.). CAV 2011, Snowbird, UT, USA, 14. Juli 2011 - 20. Juli 2011. Springer, Berlin (2011)

Jose, M.; Majumdar, R.: Cause Clue Clauses:Error Localization using Maximum Satisfiability. In: PLDI’11: Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation, S. 437 - 446. PLDI'11, San Jose, CA, USA, 04. Juni 2011 - 08. Juni 2011. ACM, New York, NY (2011)

Liu, Y.; Gummadi, K. P.; Krishnamurthy, B.; Mislove, A.: Analyzing Facebook Privacy Settings:User Expectations vs. Reality. In: Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference, S. 61 - 70. IMC’11, Berlin, Germany, 02. November 2011 - 04. November 2011. ACM, New York, NY (2011)

Lua, E. K.; Chen, R.; Cai, Z.: Social Trust and Reputation in Online Social Networks. In: 2011 17th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2011), S. 811 - 816. ICPADS 2011, Tainan, Taiwan, 17. Dezember 2011 - 19. Dezember 2011. IEEE, Piscataway, NJ (2011)

Majumdar, R.; Render, E.; Tabuada, P.: Robust Discrete Synthesis against Unspecified Disturbances. In: HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, S. 211 - 220. HSCC'11, Chicago, IL, USA, 12. April 2011 - 14. April 2011. ACM, New York, NY (2011)

Majumdar, R.; Saha, I.; Zamani, M.: Performance-Aware Scheduler Synthesis for Control Systems. In: EMSOFT 2011: Proceedings of the Ninth ACM International Conference on Embedded Software, S. 299 - 308. EMSOFT 2011, Taipei, Taiwan, 09. Oktober 2011 - 14. Oktober 2011. ACM, New York, NY (2011)

Marcon, M.; Dischinger, M.; Gummadi, K. P.; Vahdat, A.: The Local and Global Effects of Traffic Shaping in the Internet. In: Third International Conference on Communication Systems and Networks (COMSNETS 2011), S. 1 - 10. COMSNETS 2011, Bangalore, India, 04. Januar 2011 - 08. Januar 2011. IEEE, Piscataway ,NJ (2011)

Marcon, M.; Viswanath, B.; Cha, M.; Gummadi, K. P.: Sharing Social Content from Home: A Measurement-driven Feasibility Study. In: NOSSDAV 2011: Proceedings of the 21st International Workshop on Network and Operating Systems Support for Digital Audio and Video, S. 45 - 50. NOSSDAV 2011, Vancouver, British Columbia, Canada, 01. Juni 2011 - 03. Juni 2011. ACM, New York, NY (2011)

Post, A.; Navarro, J.; Kuznetsov, P.; Druschel, P.: Autonomous Storage Management for Personal Devices with PodBase. In: 2011 USENIX Annual Technical Conference (USENIX ATC ’11): Conference Proceedings, S. 425 - 439. USENIX ATC ’11, Portland, OR, 15. Juni 2011 - 17. Juni 2011. USENIX, Berkeley, CA (2011)

Pritam, R.; Tabuada, P.; Majumdar, R.: Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems. In: HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, S. 315 - 316. HSCC'11, Chicago, IL, USA, 12. April 2011 - 14. April 2011. ACM, New York, NY (2011)

Reznichenko, A.; Guha, S.; Francis, P.: Auctions in Do-Not-Track Compliant Internet Advertising. In: CCS’11: Proceedings of the 18th ACM Conference on Computer & Communications Security, S. 667 - 676. CSS'11, Chicago, IL, USA, 17. Oktober 2011 - 21. Oktober 2011. ACM, New York, NY (2011)

Rodrigues, T.; Benevenuto, F.; Cha, M.; Gummadi, K. P.; Almeida, V.: On Word-of-Mouth Based Discovery of the Web. In: Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference, S. 381 - 396. IMC’11, Berlin, Germany, 02. November 2011 - 04. November 2011. ACM, New York, NY (2011)

Sevcik, J.; Vafeiadis, V.; Zappa Nardelli, F.; Jagannathan, S.; Sewell, P.: Relaxed-Memory Concurrency and Verified Compilation. In: POPL’11: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 43 - 54. POPL'11, Austin, TX, USA, 26. Januar 2011 - 28. Januar 2011. ACM, New York, NY (2011)