Vafeiadis, V.; Balabonski, T.; Chakraborty, S.; Morisset, R.; Nardelli, F. Z.: Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. In: POPL'15, S. 209 - 220. 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 15. Januar 2015 - 17. Januar 2015. ACM, New York, NY (2015)

Vahldiek-Oberwagner, A.; Elnikety, E.; Mehta, A.; Garg, D.; Druschel, P.; Rodrigues, R.; Gehrke, J.; Post, A.: Guardat: Enforcing Data Policies at the Storage Layer. In: EuroSys 2015, 13. Tenth European Conference on Computer Systems, Bordeaux, France, 21. April 2015 - 24. April 2015. ACM, New York, NY (2015)

Valera, I.; Gomez Rodriguez, M.: Modeling Adoption and Usage of Competing Products. In: 15th IEEE International Conference on Data Mining, S. 409 - 418 (Hg. Aggarwal, C.; Zhou, Z.-H.; Tuzhilin, A.; Xiong, H.; Wu, X.). 15th International Conference on Data Mining, Atlantic City, NJ, USA, 14. November 2015 - 17. November 2015. IEEE, Piscataway, NJ (2015)

Valera, I.; Ruiz, F. J. R.; Svennson, L.; Perez-Cruz, F.: Infinite Factorial Dynamical Model. In: Advances in Neural Information Processing Systems 29, S. 1657 - 1665 (Hg. Cortes, C.; Lawrence, N. D.; Lee, D. D.; Sugiyama, M.; Garnett, R. et al.). Twenty-ninth Annual Conference on Neural Information Processing Systems, Montréal, Canada, 07. Dezember 2015 - 12. Dezember 2015. Curran, New York, NY (2015)

Valera, I.; Ruiz, F. J. R.; Svensson, L.; Perez-Cruz, F.: A Bayesian Nonparametric Approach for Blind Multiuser Channel Estimation. In: 23rd European Signal Processing Conference, S. 2766 - 2770. 23rd European Signal Processing Conference, Nice, France, 31. August 2015 - 04. September 2015. IEEE, Piscataway, NJ (2015)

Viswanath, B.; Bashir, M. A.; Zafar, M. B.; Bouget, S.; Guha, S.; Gummadi, K.; Kate, A.; Mislove, A.: Strength in Numbers: Robust Tamper Detection in Crowd Computations. In: COSN'15, S. 113 - 124. 3rd ACM Conference on Social Networks, Palo Alto, CA, USA, 02. November 2015 - 03. November 2015. ACM, New York, NY (2015)

Yang, M.; Wieder, A.; Brandenburg, B.: Global Real-time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. In: IEEE 36th Real-Time Systems Symposium, S. 1 - 12. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, 01. Dezember 2015 - 04. Dezember 2015. IEEE Computer Society, Los Alamitos, CA (2015)

Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.: Fairness Constraints: A Mechanism for Fair Classification. In: 2nd Workshop on Fairness, Accountability, and Transparency in Machine Learning. 2nd Workshop on Fairness, Accountability, and Transparency in Machine Learning, Lille, France, 11. Juli 2015. (2015)

Ҫiҫek, E.; Garg, D.; Acar, U.: Refinement Types for Incremental Computational Complexity. In: Programming Languages and Systems, S. 406 - 431 (Hg. Vitek, J.). 24th European Symposium on Programming, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)

Chistikov, D.: Notes on Counting with Finite Machines. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, S. 339 - 350 (Hg. Raman, V.; Suresh, S. P.). 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, New Delhi, India, 15. Dezember 2014 - 17. Dezember 2014. Schloß Dagstuhl, Wadern (2014)

Aditya, P.; Bhattacharjee, B.; Druschel, P.; Erdélyi, V.; Lentz, M.: Brave New World: Privacy Risks for Mobile Users. In: SPME'14, S. 7 - 11. ACM MobiCom Workshop on Security and Privacy in Mobile Environments, Maui, HI, USA, 11. September 2014. ACM, New York, NY (2014)

Aditya, P.; Erdélyi, V.; Lentz, M.; Shi, E.; Bhattacharjee, B.; Druschel, P.: EnCore: Private, Context-based Communication for Mobile Social Apps. In: MobiSys'14, S. 135 - 148. 12th Annual International Conference on Mobile Systems, Applications, and Services, Bretton Woods, NH, USA, 16. Juni 2014 - 19. Juni 2014. ACM, New York, NY (2014)

Alvin, C.; Gulwani, S.; Majumdar, R.; Mukhopadhyay, S.: Synthesis of Geometry Proof Problems. In: AAAI'14, S. 245 - 252. Twenty-Eighth AAAI Conference on Artificial Intelligence, Québec City, Québec, Canada, 27. Juli 2014 - 31. Juli 2014. ACM, New York, NY (2014)

Backes, M.; Clark, J.; Kate, A.; Simeonovski, M.; Druschel, P.: BackRef: Accountability in Anonymous Communication Networks. In: Applied Cryptography and Network Security, S. 380 - 400 (Hg. Boureanu, I.; Owesarski, P.). 12th International Conference on Applied Cryptography and Network Security, Lausanne, Switzerland, 10. Juni 2014 - 13. Juni 2014. Springer, Berlin (2014)

Bhattacharya, P.; Ghosh, S.; Kulshrestha, J.; Mondal, M.; Zafar, M. B.; Ganguly, N.; Gummadi, K.: Deep Twitter diving: Exploring Topical Groups in Microblogs at Scale. In: Computer Supported Cooperative Work, S. 197 - 210. 17th ACM conference on Computer Supported Cooperative Work, Baltimore, MD, USA, 15. Februar 2014 - 19. Februar 2014. ACM, New York, NY (2014)

Bhattacharya, P.; Zafar, M. B.; Ganguly, N.; Ghosh, S.; Gummadi, K.: Inferring User interests in the Twitter Social Network. In: RecSys '14, S. 357 - 360. Eighth ACM Conference on Recommender Systems, Foster City, Silicon Valley, CA, USA , 06. Oktober 2014 - 10. Oktober 2014. ACM, New York, NY (2014)

Bichhawat, A.; Rajani, V.; Garg, D.; Hammer, C.: Generalizing Permissive-upgrade in Dynamic Information Flow Analysis. In: PLAS'14, 15, S. 15 - 24. ACM Ninth Workshop on Programming Languages and Analysis for Security, Uppsala, Sweden, 28. Juli 2014 - 01. August 2014. ACM, New York, NY (2014)

Bichhawat, A.; Rajani, V.; Garg, D.; Hammer, C.: Information Flow Control in WebKit’s JavaScript Bytecode. In: Principles of Security and Trust, S. 159 - 178 (Hg. Abadi, M.; Kremer, S.). 3rd Conference on Principles of Security and Trust, Grenoble, France, 05. April 2014 - 13. April 2014. Springer, Berlin (2014)

Brandenburg, B.: A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-criticality Systems. In: IEEE 35th Real-Time Systems Symposium, S. 196 - 206. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)

Brandenburg, B.: The FMLP+: An Asymptotically Optimal Real-time Locking Protocol for Suspension-aware Analysis. In: ECRTS 2014, S. 61 - 71. 26th Euromicro Conference on Real-Time Systems, Madrid, Spain, 08. Juli 2014 - 11. Juli 2014. IEEE Computer Society, Los Alamitos, CA (2014)