Publications 2013

Esmaeilsabzali, S.; Majumdar, R.; Wies, T.; Zufferey, D.;
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. CoRR abs/1311.4615, (2013)
Esmaeilsabzali, S.; Majumdar, R.; Wies, T.; Zufferey, D.;
Dynamic Package Interfaces - Extended Version. CoRR abs/1311.4934, (2013)
Esparza, J.; Ganty, P.; Majumdar, R.;
Parameterized Verification of Asynchronous Shared-Memory Systems. Computer Aided Verification : 25th International Conference, CAV 2013 8044, 124-140 (2013)
Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H.;
The First Workshop on Language Support for Privacy-enhancing Technologies (PETShop'13). CCS’13 : The Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 1085-1086 (2013)
Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H.;
PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. ACM, New York, NY. (2013)
Ghosh, S.; Zafar, M. B.; Bhattacharya, P.; Sharma, N.; Ganguly, N.; Gummadi, K.;
On Sampling the Wisdom of Crowds: Random vs. Expert Sampling of the Twitter Stream. CIKM’13 : Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, 1739-1744 (2013)
Gligoric, M.; Majumdar, R.;
Model Checking Database Applications. Tools and Algorithms for the Construction and Analysis of Systems 7795, 549-564 (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), 357-401 (2013)
Gujarati, A.; Cerqueira, F.; Brandenburg, B. B.;
Outstanding Paper Award: Schedulability Analysis of the Linux Push and Pull Scheduler with Arbitrary Processor Affinities. Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), 69-79 (2013)
Gupta, A.; Majumdar, R.; Rybalchenko, A.;
From Tests to Proofs. International Journal on Software Tools for Technology Transfer 15 (4), 291-303 (2013)
Gvero, T.; Kuncak, V.; Kuraj, I.; Piskac, R.;
Complete Completion Using Types and Weights. PLDI’13 : Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation, 27-38 (2013)
Henzinger, T. A.; Sezgin, A.; Vafeiadis, V.;
Aspect-Oriented Linearizability Proofs. CONCUR 2013 - Concurrency Theory 8052, 242-256 (2013)
Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.;
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics : Essays in Memory of Harald Ganzinger 7797, 169-193 (2013)
Hur, C.-K.; Neis, G.; Dreyer, D.; Vafeiadis, V.;
The Power of Parameterization in Coinductive Proof. POPL ’13 Proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 193-206 (2013)
Kloos, J.; Majumdar, R.;
Supervisor Synthesis for Controller Upgrades. DATE '13 : Proceedings of the Conference on Design, Automation and Test in Europe, 1105-1110 (2013)
Kloos, J.; Majumdar, R.; Niksic, F.; Pskac, R.;
Incremental, Inductive Coverability. Computer Aided Verification : 25th International Conference, CAV 2013 8044, 158-173 (2013)
Krishnaswami, N. R.; Dreyer, D.;
Internalizing Relational Parametricity in the Extensional Calculus of Constructions. Computer Science Logic 2013 (CSL 2013) 23, 432-451 (2013)
Kumar, A.; Rajani, V.; Janakiram, D.;
Psi-CAL : Foundations of a Programming Language for Services Computing. 2013 IEEE International Conference on Services Computing (SCC), 721-728 (2013)
LeBlond, S.; Choffnes, D.; Zhou, W.; Druschel, P.; Ballani, H.; Francis, P.;
Towards Efficient Traffic-analysis Resistant Anonymity Networks. SIGCOMM’13 : Proceedings of the ACM SIGCOMM 2013 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication, 303-314 (2013)
Majumdar, R.; Meyer, R.; Wang, Z.;
Provenance Verification. Reachability Problems : 7th International Workshop, RP 2013 8169, 21-22 (2013)
Go to Editor View