Li, C.; Leitão, J.; Clement, A.; Preguiça, N.; Rodrigues, R.; Vafeiadis, V.: Automating the Choice of Consistency Levels in Replicated Systems. In: Proceedings of USENIX ATC ’14, S. 281 - 292. 2014 USENIX Annual Technical Conference, Philadelphia, PA, 19. Juni 2014 - 20. Juni 2014. USENIX (2014)

Maiya, P.; Kanade, A.; Majumdar, R.: Race Detection for Android Applications. In: PLDI '14, S. 316 - 325. 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, UK, 09. Juni 2014 - 11. Juni 2014. ACM, New York, NY (2014)

Majumdar, R.; Tetali, S. D.; Wang, Z.: Kuai: A Model Checker for Software-defined Networks. In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014, S. 163 - 170. 2014 Formal Methods in Computer-Aided Desig, Lausanne, Switzerland, 21. Oktober 2014 - 24. Oktober 2014. IEEE, Piscataway, NJ (2014)

Manuel, G.; Gummadi, K.; Schoelkopf, B.: Quantifying Information Overload in Social Media and its Impact on Social Contagions. In: ICSWM '14, S. 170 - 179. 8th International AAAI Conference on Weblogs and Social Media, Ann Arbor, MI, USA, 01. Juni 2014 - 04. Juni 2014. AAAI Press, Palo Alto, CA (2014)

Mondal, M.; Druschel, P.; Gummadi, K.; Mislove, A.: Beyond Access Control: Managing Online Privacy via Exposure. In: Workshop on Usable Security, S. 1 - 6. Workshop on Usable Security, San Diego, CA, USA, 23. Februar 2014. Internet Society, Reston, VA (2014)

Mondal, M.; Liu, Y.; Viswanath, B.; Gummadi, K.; Mislove, A.: Understanding and Specifying Social Access Control Lists. In: Tenth Symposium on Usable Privacy and Security, S. 271 - 283. Tenth Symposium on Usable Privacy and Security, Menlo Park, CA, USA, 09. Juli 2014 - 11. Juli 2014. USENIX, Berkeley, CA (2014)

Oh, S. E.; Chun, Y. Y.; Jia, L.; Garg, D.; Gunter, C. A.; Datta, A.: Privacy-preserving Audit for Broker-based Health Information Exchange. In: CODASPY'14, S. 313 - 320. 4th ACM Conference on Data and Application Security and Privacy, San Antonio, TX, USA, 03. März 2014 - 05. März 2014. ACM, New York, NY (2014)

Reznichenko, A.; Francis, P.: Private-by-design Advertising Meets the Real World. In: CCS'14, S. 116 - 128. 21st ACM Conference on Computer and Communications Security, Scottsdale, AR, USA, 03. November 2014 - 07. November 2014. ACM, New York, NY (2014)

Spliet, R.; Vanga, M.; Brandenburg, B.; Dziadek, S.: Fast on Average, Predictable in the Worst Case: Exploring Real-time Futexes in LITMUS RT. In: IEEE 35th Real-Time Systems Symposium, S. 96 - 105. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)

Turon, A.; Vafeiadis, V.; Dreyer, D.: GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation. In: OOPSLA'14, S. 691 - 707. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Portland, OR, USA, 20. Oktober 2014 - 24. Oktober 2014. ACM, New York, NY (2014)

Valera, I.; Gomez-Rodriguez, M.; Gummadi, K.: Modeling Diffusion of Competing Products and Conventions in Social Media. In: NIPS Workshop in Networks: From Graphics to Rich Data. 2014 NIPS Workshop in Networks, Montreal, Canada, 13. Dezember 2014. (angenommen)

Viswanath, B.; Bashir, M. A.; Crovella, M.; Guha, S.; Gummadi, K.; Krishnamurthy, B.; Mislove, A.: Towards Detecting Anomalous User Behavior in Online Social Networks. In: Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., S. 223 - 238. 23rd USENIX Security Symposium, San Diego, CA, USA, 20. August 2014 - 22. August 2014. USENEX, Berkeley, CA (2014)

Wieder, A.; Brandenburg, B.: On the Complexity of Worst-case Blocking Analysis of Nested Critical Section. In: IEEE 35th Real-Time Systems Symposium, S. 106 - 117. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)

Ziliani, B.; Sozeau, M.: Towards a Better-behaved Unification Algorithm for Coq. In: The 28th International Workshop on Unification, S. 74 - 87 (Hg. Kutsia, T.; Ringeissen, C.). 28th International Workshop on Unification, Vienna, Austria, 13. Juli 2014. Johannes Kepler University, Linz (2014)

Ziliani, B.; Sozeau, M.: Towards a Better-behaved Unification Algorithm for Coq. In: The 6th Coq Workshop, S. 1 - 2. The 6th Coq Workshop, Vienna, Austria, 18. Juli 2014. (2014)

Acar, U. A.; Chargueraud, A.; Rainey, M.: Scheduling Parallel Programs by Work Stealing with Private Deques. In: PPoPP'13, S. 219 - 228. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, 23. Februar 2013 - 27. Februar 2013. ACM, New York, NY (2013)

Alvisi, L.; Clement, A.; Epasto, A.; Lattanzi, S.; Panconesi, A.: SoK: The Evolution of Sybil Defense via Social Networks. In: 2013 IEEE Symposium on Security and Privacy, S. 382 - 396. IEEE Symposium on Security and Privacy, Berkeley, CA, USA, 19. Mai 2013 - 22. Mai 2013. IEEE, Los Alamitos, CA (2013)

An, J.; Quercia, D.; Cha, M.; Gummadi, K.; Crowcroft, J.: Traditional Media Seen from Social Media. In: WebSci '13, S. 11 - 14. 5th Annual ACM Web Science Conference, Paris, France, 02. Mai 2013 - 04. Mai 2013. ACM, New York, NY (2013)

Backstrom, L.; Kleinberg, J.; Lee, L.; Danescu-Niculescu-Mizil, C.: Characterizing and Curating Conversation Threads: Expansion, Focus, Volume, Re-entry. In: Proceedings of the 6th ACM International Conference on Web Search and Data Mining, S. 13 - 22. 6th ACM International Conference on Web Search and Data Mining, Rome, Italy, 04. Februar 2013 - 08. Februar 2013. ACM, New York, NY (2013)

Baruah, S.; Brandenburg, B.: Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. In: Proceedings IEEE 34th Real-Time Systems Symposium, S. 160 - 169. 34th Real-Time Systems Symposium, Vancouver, Canada, 03. Dezember 2013 - 06. Dezember 2013. IEEE, Piscataway, NJ (2013)