Tassarotti, J.; Dreyer, D.; Vafeiadis, V.: Verifying Read-copy-update in a Logic for Weak Memory. In: PLDI'15, pp. 110 - 120 (Eds. Grove, D.; Blackburn, S.). 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 13, 2015 - June 17, 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, pp. 209 - 220. 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, January 15, 2015 - January 17, 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, April 21, 2015 - April 24, 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, pp. 409 - 418 (Eds. Aggarwal, C.; Zhou, Z.-H.; Tuzhilin, A.; Xiong, H.; Wu, X.). 15th International Conference on Data Mining, Atlantic City, NJ, USA, November 14, 2015 - November 17, 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, pp. 1657 - 1665 (Eds. 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, December 07, 2015 - December 12, 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, pp. 2766 - 2770. 23rd European Signal Processing Conference, Nice, France, August 31, 2015 - September 04, 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, pp. 113 - 124. 3rd ACM Conference on Social Networks, Palo Alto, CA, USA, November 02, 2015 - November 03, 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, pp. 1 - 12. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, December 01, 2015 - December 04, 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, July 11, 2015. (2015)

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

Mavroforakis, C.; Valera, I.; Gomez Rodriguez, M.: Hierarchical Dirichlet Hawkes Process for modeling the Dynamics of Online Learning Activity. Workshop on Networks in the Social and Information Sciences, Montréal, Quebec, Canada (2015)

Bhatotia, P. K.: Incremental Parallel and Distributed Systems. Dissertation, XVII, 176 pp., Universität des Saarlandes, Saarbrücken (2015)

Bhatotia, P.: Incremental Parallel and Distributed Systems. Dissertation, 193 pp., Universität des Saarlandes, Saarbrücken (2015)

Sousa da Fonseca, P. J.: Effective Testing for Concurrency Bugs. Dissertation, 152 pp., Universität des Saarlandes, Saarbrücken (2015)

Ziliani, B.: Interactive Typed Tactic Programming in the Coq Proof Assistant. Dissertation, XVI, 197 pp., Universität des Saarlandes, Saarbrücken (2015)

Schmuck, A.-K.; Tabuada, P.; Raisch, J.: Comparing Asynchronous l-Complete Approximations and Quotient Based Abstractions. (2015), 22 pp.