Scientific Publications

Brandenburg, B.; Anderson, J. H.: The OMLP Family of Optimal Multiprocessor Real-time Locking Protocols. Design Automation for Embedded Systems 17 (2), pp. 277 - 342 (2013)

Chatterjee, K.; de Alfaro, L.; Faella, M.; Majumdar, R.; Raman, V.: Code Aware Resource Management. Formal Methods in System Design 42 (2), pp. 146 - 174 (2013)

Chatterjee, K.; de Alfaro, L.; Majumdar, R.: The Complexity of Coverage. International Journal of Foundations of Computer Science 24 (2), pp. 165 - 185 (2013)

Chistikov, D. V.: Using Relevance Queries for Identification of Read-once Functions. Journal of Mathematical Sciences 192 (3), pp. 359 - 374 (2013)

Gonthier, G.; Ziliani, B.; Nanevski, A.; Dreyer, D.: How to Make Ad Hoc Proof Automation Less Ad Hoc. Journal of Functional Programming 23 (4), pp. 357 - 401 (2013)

Gupta, A.; Majumdar, R.; Rybalchenko, A.: From Tests to Proofs. International Journal on Software Tools for Technology Transfer 15 (4), pp. 291 - 303 (2013)

Majumdar, R.; Render, E.; Pabuada, P.: A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems 13 (3), 48, pp. 1 - 27 (2013)

Nanevski, A.; Benerjee, A.; Garg, D.: Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Transactions on Programming Languages and Systems 35 (2), 6, pp. 1 - 41 (2013)

Rossberg, A.; Dreyer, D.: Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems 35 (1), 2, pp. 2:1 - 2:84 (2013)

Sevcik, J.; Vafeiadis, V.; Zappa Nardelli, F.; Jagannathan, S.; Sewell, P.: CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Journal of the ACM 60 (3), 22, pp. 1 - 50 (2013)

Zamania, M.; van de Wouw, N.; Majumdar, R.: Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters 62 (10), pp. 949 - 962 (2013)

Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.: From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics: Essays in Memory of Harald Ganzinger, pp. 169 - 193 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Eds.): PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, November 04, 2013. ACM, New York, NY (2013), 30 pp.

Papagiannaki, K.; Gummadi, K.; Partridge, C. (Eds.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, October 23, 2013 - October 25, 2013. ACM, New York, NY (2013), 470 pp.

Acar, U. A.; Chargueraud, A.; Rainey, M.: Scheduling Parallel Programs by Work Stealing with Private Deques. In: PPoPP'13, pp. 219 - 228. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Shenzhen, China, February 23, 2013 - February 27, 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, pp. 382 - 396. IEEE Symposium on Security and Privacy, Berkeley, CA, USA, May 19, 2013 - May 22, 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, pp. 11 - 14. 5th Annual ACM Web Science Conference, Paris, France, May 02, 2013 - May 04, 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, pp. 13 - 22. 6th ACM International Conference on Web Search and Data Mining, Rome, Italy, February 04, 2013 - February 08, 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, pp. 160 - 169. 34th Real-Time Systems Symposium, Vancouver, Canada, December 03, 2013 - December 06, 2013. IEEE, Piscataway, NJ (2013)

Baumann, A.; Lee, D.; Fonseca, P.; Glendenning, L.; Lorch, J. R.; Bond, B.; Olinsky, R.; Hunt, G. C.: Composing OS Extensions Safely and Efficiently with Bascule. In: EuroSys'13, pp. 239 - 252. 8th ACM European Conference on Computer Systems, Prague, Czech Republic, April 14, 2013 - April 17, 2013. ACM, New York, NY (2013)