Jia, L.; Sen, S.; Garg, D.; Datta, A.: A Logic of Programs with Interface-Confined Code. In: CSF 2015, S. 512 - 525. 28th Computer Security Foundations Symposium, Verona, Italy, 13. Juli 2015 - 17. Juli 2015. IEEE, Piscataway, NJ (2015)

Jung, R.; Swasey, D.; Sieczkowski, F.; Svendsen, K.; Turon, A.; Birkedal, L.; Dreyer, D.: Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. In: POPL'15, S. 637 - 650. 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, 12. Januar 2015 - 18. Januar 2015. ACM, New York, NY (2015)

Kang, J.; Hur, C.-K.; Mansky, W.; Garbuzov, D.; Zdancewic, S.; Vafeiadis, V.: A Formal C Memory Model Supporting Integer-Pointer Casts. In: PLDI'15, S. 326 - 335 (Hg. Grove, D.; Blackburn, S.). 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 13. Juni 2015 - 17. Juni 2015. ACM, New York, NY (2015)

Kloos, J.; Majumdar, R.; Vafeiadis, V.: Asynchronous Liquid Separation Types. In: 29th European Conference on Object-Oriented Programming, S. 396 - 420 (Hg. Boyland, J. T.). 29th European Conference on Object-Oriented Programming, 01. September 2015 - 04. September 2015. Schloss Dagstuhl, Wadern (2015)

Kulshrestha, J.; Zafar, M. B.; Espin Noboa, L. E.; Gummadi, K.; Gosh, S.: Characterizing Information Diets of Social Media Users. In: Proceedings of the 9th International AAAI Conference on Web and Social Media. 9th International AAAI Conference on Web and Social Media, Oxford, UK, 26. Mai 2015 - 29. Mai 2015. AAAI, Palo Alto, CA (2015)

Lahav, O.; Vafeiadis, V.: Owicki-Gries Reasoning for Weak Memory Models. In: Automata, Languages, and Programming, S. 311 - 323 (Hg. Halldorsson, M.; Iwama, K.; Kobayashi, N.; Speckmann, B.). 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, 06. Juli 2015 - 10. Juli 2015. Springer, Berlin (2015)

Majumdar, R.; Prabhu, V.: Computing the Skorokhod Distance between Polygonal Traces. In: HSCC'15, S. 199 - 208. 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, USA, 14. April 2015 - 16. April 2015. ACM, New York, NY (2015)

Majumdar, R.; Wang, Z.: BBS: A Phase-bounded Model Checker for Asynchronous Programs. In: Computer Aided Verification, S. 496 - 503 (Hg. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, 18. Juli 2015 - 24. Juli 2015. Springer, Berlin (2015)

Neis, G.; Hur, C.-K.; Kaiser, J.-O.; McLaughlin, C.; Dreyer, D.; Vafeiadis, V.: Pilsner: A Compositionally Verified Compiler for a Higher-order Imperative Language. In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, S. 166 - 178. 20th ACM SIGPLAN International Conference on Functional Programming, Vancouver, BC, Canada, 01. September 2015 - 03. September 2015. ACM, New York, NY (2015)

Rajani, V.; Bichhawat, A.; Garg, D.; Hammer, C.: Information Flow Control for Event Handling and the DOM in Web Browsers. In: CSF 2015, S. 366 - 379. 28th Computer Security Foundations Symposium, Verona, Italy, 13. Juli 2015 - 17. Juli 2015. IEEE, Piscataway, NJ (2015)

Saha, I.; Baruah, S.; Majumdar, R.: Dynamic Scheduling for Networked Control Systems. In: HSCC'15, S. 98 - 107. 18th International Conference on Hybrid Systems, Seattle, WA, USA, 14. April 2015 - 16. April 2015. ACM, New York, NY (2015)

Simeonovski, M.; Bendun, F.; Rizwan Ashgar, M.; Backes, M.; Marnau, N.; Druschel, P.: Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. In: Applied Cryptography and Network Security, S. 431 - 453 (Hg. Malkin, T.; Kolesnikov, V.; Bishop Lewko, A.; Polychronakis, M.). 13th International Conference on Applied Cryptography and Network Security, New York, NY, USA, 02. Juni 2015 - 05. Juni 2015. Springer, Berlin (2015)

Soudjani, S.; Abate, A.; Majumdar, R.: Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. In: 26th International Conference on Concurrency Theory, S. 169 - 183 (Hg. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, 01. September 2015 - 04. September 2015. Schloss Dagstuhl, Wadern (2015)

Tassarotti, J.; Dreyer, D.; Vafeiadis, V.: Verifying Read-copy-update in a Logic for Weak Memory. In: PLDI'15, S. 110 - 120 (Hg. Grove, D.; Blackburn, S.). 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 13. Juni 2015 - 17. Juni 2015. ACM, New York, NY (2015)

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)