Publications 2013

Year
41.
Majumdar, R.; Meyer, R.; Wang, Z.;
Static Provenance Verification for Message Passing Programs. Static Analysis 7935, 366-387 (2013)
42.
Majumdar, R.; Render, E.; Pabuada, P.;
A Theory of Robust Omega-regular Software Synthesis. ACM Transactions on Embedded Computing Systems 13 (3), 1-27 (2013)
43.
Majumdar, R.; Saha, I.; Ueda, K.; Yazarel, H.;
Compositional Equivalence Checking for Models and Code of Control Systems. 2013 IEEE 52nd Annual Conference on Decision and Control (CDC), 1564-1571 (2013)
44.
Majumdar, R.; Wang, Z.;
Expand, Enlarge, and Check for Branching Vector Addition Systems. CONCUR 2013 – Concurrency Theory 8052, 152-166 (2013)
45.
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), 1-41 (2013)
46.
Piskac, R.; Wies, T.; Zufferey, D.;
Automating Separation Logic Using SMT. Computer Aided Verification : 25th International Conference, CAV 2013 8044, 773-789 (2013)
47.
Reacasens, M.; Danescu-Niculescu-Mizil, C.; Jurafsky, D.;
Linguistic Models for Analyzing and Detecting Biased Language. Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics, 1650-1659 (2013)
48.
Rossberg, A.; Dreyer, D.;
Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems 35 (1), 2:1-2:84 (2013)
49.
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), 1-50 (2013)
50.
Tetali, S. D.; Lesani, M.; Majumdar, R.; Millstein, T.;
MrCrypt: Static Analysis for Secure Cloud Computations. OOPSLA’13 : The Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages & Applications, 271-286 (2013)
51.
Turon, A.; Dreyer, D.; Birkedal, L.;
Unifying Refinement and Hoare-style Reasoning in a Logic for Higher-order Concurrency. ICFP’13 : Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming, 377-390 (2013)
52.
Turon, A.; Thamsborg, J.; Ahmed, A.; Birkedal, L.; Dreyer, D.;
Logical Relations for Fine-grained Concurrency. POPL ’13 Proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 343-356 (2013)
53.
Vafeiadis, V.;
Adjustable References. Interactive Theorem Proving 7998, 328-337 (2013)
54.
Vafeiadis, V.; Narayan, C.;
Relaxed Separation Logic: A Program Logic for C11 Concurrency. OOPSLA’13 : The Proceedings of the 2013 International Conference on Object Oriented Programming Systems Languages & Applications, 867-884 (2013)
55.
Wieder, A.; Brandenburg, B. B.;
Efficient Partitioning of Sporadic Real-Time Tasks with Shared Resources and Spin Locks. 8th IEEE International Symposium on Industrial Embedded Systems (SIES), 49-58 (2013)
56.
Wieder, A.; Brandenburg, B. B.;
On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. Proceedings IEEE 34th Real-Time Systems Symposium, 45-56 (2013)
57.
Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.;
Bisimilar Finite Abstractions of Stochastic Control Systems. 2013 IEEE 52nd Annual Conference on Decision and Control (CDC), 3926-3931 (2013)
58.
Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.;
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. CoRR abs/1302.3868, (2013)
59.
Zamania, M.; van de Wouw, N.; Majumdar, R.;
Backstepping Controller Synthesis and Characterizations of Incremental Stability. Systems & Control Letters 62 (10), 949-962 (2013)
60.
Zengin, M.; Vafeiadis, V.;
A Programming Language Approach to Fault Tolerance for Fork-join Parallelism. 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE), 105-112 (2013)
Go to Editor View