Paper selection

Please choose at least 5 preferences for the paper that you would like to present. Record your preferences using the web page that we sent you via email. You must submit your preferences by Friday, 20 February 2015 at 12:00.

By the end of 20 February 2015, we will assign you a paper and a slot in one of the Wednesday seminars of the course. We will try to assign papers according to your preferences but cannot guarantee that this is possible in every case. Please email the assistants if you have a conflict, e.g. military service, with one of the Wednesdays this semester.

If you miss the paper selection phase in the first week, please just talk to an assistant as soon as possible to make sure that you are assigned a paper for presentation (presenting a paper is mandatory for passing the course).

All papers should be accessible from within the ETH network using the links provided. If you have trouble accessing a paper, please email one of the assistants.

List of papers

1. CARE: Cache Guided Deterministic Replay for Concurrent Java Programs. Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu, In Proceedings of the 36th International Conference on Software Engineering, ACM, 2014. [pdf]
2. Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight. Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, In Proceedings of the 36th International Conference on Software Engineering, ACM, 2014. [pdf]
3. Unleashing Concurrency for Irregular Data Structures. Peng Liu, Charles Zhang, In Proceedings of the 36th International Conference on Software Engineering, ACM, 2014. [pdf]
4. ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs. Yan Cai, Shangru Wu, W. K. Chan, In Proceedings of the 36th International Conference on Software Engineering, ACM, 2014. [pdf]
5. MagicFuzzer: Scalable Deadlock Detection for Large-scale Applications. Yan Cai, W. K. Chan, In Proceedings of the 34th International Conference on Software Engineering, IEEE Press, 2012. [pdf]
6. aComment: Mining Annotations from Comments and Code to Detect Interrupt Related Concurrency Bugs. Lin Tan, Yuanyuan Zhou, Yoann Padioleau, In Proceedings of the 33rd International Conference on Software Engineering, ACM, 2011. [pdf]
7. Coverage Guided Systematic Concurrency Testing. Chao Wang, Mahmoud Said, Aarti Gupta, In Proceedings of the 33rd International Conference on Software Engineering, ACM, 2011. [pdf]
8. Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language. Wladimir Araujo, Lionel C. Briand, Yvan Labiche, In Proceedings of the 33rd International Conference on Software Engineering, ACM, 2011. [pdf]
9. Grail: Context-aware Fixing of Concurrency Bugs. Peng Liu, Omer Tripp, Charles Zhang, In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2014. [pdf]
10. AI: A Lightweight System for Tolerating Concurrency Bugs. Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, Weimin Zheng, In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2014. [pdf]
11. Retrofitting Concurrency for Android Applications Through Refactoring. Yu Lin, Cosmin Radoi, Danny Dig, In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2014. [pdf]
12. Sherlock: Scalable Deadlock Detection for Concurrent Programs. Mahdi Eslamimehr, Jens Palsberg, In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2014. [pdf]
13. Predicting Null-pointer Dereferences in Concurrent Programs. Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino, In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012. [pdf]
14. Localization of Concurrency Bugs Using Shared Memory Access Pairs. Wenwen Wang, Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew, Xipeng Shen, Xiang Yuan, Jianjun Li, Xiaobing Feng, Yong Guan, In Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ACM, 2014. [pdf]
15. Bita: Coverage-guided, automatic testing of actor programs. Samira Tasharofi, Michael Pradel, Yu Lin, Ralph Johnson, In 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), 2013. [pdf]
16. Safe Asynchronous Multicore Memory Operations. Matko Botincan, Mike Dodds, Alastair F. Donaldson, Matthew J. Parkinson, In Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, IEEE Computer Society, 2011. [pdf]
17. Multithreaded Test Synthesis for Deadlock Detection. Malavika Samak, Murali Krishna Ramanathan, In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2014. [pdf]
18. Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts. Tom Bergan, Dan Grossman, Luis Ceze, In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2014. [pdf]
19. Turning Nondeterminism into Parallelism. Omer Tripp, Eric Koskinen, Mooly Sagiv, In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2013. [pdf]
20. Integrating Task Parallelism with Actors. Shams M. Imam, Vivek Sarkar, In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, ACM, 2012. [pdf]
21. SOS: Saving Time in Dynamic Race Detection with Stationary Analysis. Du Li, Witawas Srisa-an, Matthew B. Dwyer, In Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, ACM, 2011. [pdf]
22. Testing Atomicity of Composed Concurrent Operations. Ohad Shacham, Nathan Bronson, Alex Aiken, Mooly Sagiv, Martin Vechev, Eran Yahav, In Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, ACM, 2011. [pdf]
23. Composable, Nestable, Pessimistic Atomic Statements. Zachary Anderson, David Gay, In Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, ACM, 2011. [pdf]
24. Runtime Prevention of Concurrency Related Type-state Violations in Multithreaded Applications. Lu Zhang, Chao Wang, In Proceedings of the 2014 International Symposium on Software Testing and Analysis, ACM, 2014. [pdf]
25. Performance Regression Testing of Concurrent Classes. Michael Pradel, Markus Huggler, Thomas R. Gross, In Proceedings of the 2014 International Symposium on Software Testing and Analysis, ACM, 2014. [pdf]
26. Verifying Atomicity via Data Independence. Ohad Shacham, Eran Yahav, Guy Golan Gueta, Alex Aiken, Nathan Bronson, Mooly Sagiv, Martin Vechev, In Proceedings of the 2014 International Symposium on Software Testing and Analysis, ACM, 2014. [pdf]
27. EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs. Qingzhou Luo, Grigore Ro\csu, In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ACM, 2013. [pdf]
28. CARISMA: A Context-sensitive Approach to Race-condition Sample-instance Selection for Multithreaded Applications. Ke Zhai, Boni Xu, W. K. Chan, T. H. Tse, In Proceedings of the 2012 International Symposium on Software Testing and Analysis, ACM, 2012. [pdf]
29. PQL: A Purely-declarative Java Extension for Parallel Programming. Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman, In Proceedings of the 26th European Conference on Object-Oriented Programming, Springer-Verlag, 2012. [pdf]
30. Automated concurrency-bug fixing. Guoliang Jin, Wei Zhang, Dongdong Deng, Ben Liblit, Shan Lu, In Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, USENIX Association, 2012. [pdf]