Kumar, A.; Rajani, V.; Janakiram, D.: Psi-CAL: Foundations of a Programming Language for Services Computing. In: SCC 2013, pp. 721 - 728. IEEE 10th International Conference on Services Computing , Santa Clara, CA, USA, June 28, 2013 - July 03, 2013. IEEE, Piscataway, NJ (2013)

LeBlond, S.; Choffnes, D.; Zhou, W.; Druschel, P.; Ballani, H.; Francis, P.: Towards Efficient Traffic-analysis Resistant Anonymity Networks. In: SIGCOMM'13, pp. 303 - 314. SIGCOMM 2013, Hong Kong, China, August 12, 2013 - August 16, 2013. ACM, New York, NY (2013)

Majumdar, R.; Meyer, R.; Wang, Z.: Provenance Verification. In: Reachability Problems, pp. 21 - 22 (Eds. Abdulla, P. A.; Potapov, I.). 7th International Workshop on Reachability Problems, Uppsala, Sweden, September 24, 2013 - September 26, 2013. Springer, Berlin (2013)

Majumdar, R.; Meyer, R.; Wang, Z.: Static Provenance Verification for Message Passing Programs. In: Static Analysis, pp. 366 - 387 (Eds. Logozzo, F.; Fähndrich, M.). 20th International Static Analysis Symposium, Seattle, WA, USA, June 20, 2013 - June 22, 2013. Springer, Berlin (2013)

Majumdar, R.; Saha, I.; Ueda, K.; Yazarel, H.: Compositional Equivalence Checking for Models and Code of Control Systems. In: 2013 IEEE 52nd Annual Conference on Decision and Control, pp. 1564 - 1571. 52nd IEEE Conference on Decision and Control, Firenze, Italy, December 10, 2013 - December 13, 2013. IEEE, PIscataway, NJ (2013)

Majumdar, R.; Wang, Z.: Expand, Enlarge, and Check for Branching Vector Addition Systems. In: CONCUR 2013 -- Concurrency Theory, pp. 152 - 166 (Eds. D'Argenio, P. R.; Melgratti, H.). 24th Conference on Concurrency Theory, Buenos Aires, Argentina, August 27, 2013 - August 30, 2013. Springer, Berlin (2013)

Piskac, R.; Wies, T.; Zufferey, D.: Automating Separation Logic Using SMT. In: Computer Aided Verification, pp. 773 - 789 (Eds. Sharygina, N.; Veith, H.). 25th International Conference on Computer Aided Verification , Saint Petersburg, Russia, July 13, 2013 - July 19, 2013. Springer, Berlin (2013)

Reacasens, M.; Danescu-Niculescu-Mizil, C.; Jurafsky, D.: Linguistic Models for Analyzing and Detecting Biased Language. In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, P13-1162, pp. 1650 - 1659. 51st Annual Meeting of the Association for Computational Linguistics, Sofia, Bulgaria, August 04, 2013 - August 09, 2013. ACL, [s.l.] (2013)

Tetali, S. D.; Lesani, M.; Majumdar, R.; Millstein, T.: MrCrypt: Static Analysis for Secure Cloud Computations. In: OOPSLA’13, pp. 271 - 286. International Conference on Object Oriented Programming Systems Languages & Applications, Indianapolis, IN, USA, October 29, 2013 - October 31, 2013. ACM, New York, NY (2013)

Turon, A.; Dreyer, D.; Birkedal, L.: Unifying Refinement and Hoare-style Reasoning in a Logic for Higher-order Concurrency. In: ICFP'13, pp. 377 - 390. ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, September 25, 2013 - September 27, 2013. ACM, New York, NY (2013)

Turon, A.; Thamsborg, J.; Ahmed, A.; Birkedal, L.; Dreyer, D.: Logical Relations for Fine-grained Concurrency. In: POPL'13, pp. 343 - 356. 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Rome, Italy, January 23, 2013 - January 25, 2013. ACM, New York, NY (2013)

Vafeiadis, V.: Adjustable References. In: Interactive Theorem Proving, pp. 328 - 337 (Eds. Blazy, S.; Paulin-Mohring, C.; Pichardie, D.). 4th International Conference on Interactive Theorem Proving, Rennes, France, July 22, 2013 - July 26, 2013. Springer, Berlin (2013)

Vafeiadis, V.; Narayan, C.: Relaxed Separation Logic: A Program Logic for C11 Concurrency. In: OOPSLA'13, pp. 867 - 884. International Conference on Object Oriented Programming Systems Languages & Applications, Indianapolis, IN, USA, October 29, 2013 - October 31, 2013. ACM, New York, NY (2013)

Wieder, A.; Brandenburg, B.: Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks. In: 8th IEEE International Symposium on Industrial Embedded Systems, pp. 49 - 58. 8th IEEE International Symposium on Industrial Embedded Systems, Porto, Portugal, June 19, 2013 - June 21, 2013. IEEE, Los Alamitos, CA (2013)

Wieder, A.; Brandenburg, B.: On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. In: Proceedings IEEE 34th Real-Time Systems Symposium, pp. 45 - 56. 34th Real-Time Systems Symposium, Vancouver, Canada, December 03, 2013 - December 06, 2013. IEEE, Piscataway, NJ (2013)

Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Bisimilar Finite Abstractions of Stochastic Control Systems. In: 2013 IEEE 52nd Annual Conference on Decision and Control, pp. 3926 - 3931. 52nd IEEE Conference on Decision and Control, Firenze, Italy, December 10, 2013 - December 13, 2013. IEEE, Piscataway, NJ (2013)

Zengin, M.; Vafeiadis, V.: A Programming Language Approach to Fault Tolerance for Fork-join Parallelism. In: TASE 2013, pp. 105 - 112. International Symposium on Theoretical Aspects of Software Engineering , Birmingham; UK, July 01, 2013 - July 03, 2013. IEEE, Piscataway, NJ (2013)

Zhao, M.; Aditya, P.; Chen, A.; Lin, Y.; Haeberlen, A.; Druschel, P.; Maggs, B.; Wishon, B.; Ponec, M.: Peer-assisted Content Distribution in Akamai Netsession. In: IMC'13, pp. 31 - 42. 13th ACM Internet Measurement Conference, Barcelona, Spain, October 23, 2013 - October 25, 2013. ACM, New York, NY (2013)

Ziliani, B.; Dreyer, D.; Krishnaswami, N.; Nanevski, A.; Vafeiadis, V.: Mtac: A Monad for Typed Tactic Programming in Coq. In: ICFP'13, pp. 377 - 390. ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, September 25, 2013 - September 27, 2013. ACM, New York, NY (2013)

Acar, U. A.; Ahmed, A.; Cheney, J.; Perera, R.: A Core Calculus for Provenance. In: Principles of Security and Trust: First International Conference, POST 2012, pp. 410 - 429 (Eds. Degano, P.; Guttman, J. D.). POST 2012, Tallinn, Estonia, March 24, 2012 - April 01, 2012. Springer, New York, NY (2012)