Paper selection

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

By the end of 21 February 2014, we will assign you a paper, chosen from your preferences, and a slot in one of the Wednesday seminars of the course. Please email the assistants if you have a conflict, e.g. military service, with one of the Wednesdays this semester. Note that the first presentations will take place on 12 March.

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. Detecting Deadlock in Programs with Data-centric Synchronization. Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek, In Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, 2013. [pdf]
2. Automatic Testing of Sequential and Concurrent Substitutability. Michael Pradel, Thomas R. Gross, In Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, 2013. [pdf]
3. Con2Colic Testing. Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith, In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ACM, 2013. [pdf]
4. Finding Incorrect Compositions of Atomicity. Peng Liu, Julian Dolby, Charles Zhang, In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ACM, 2013. [pdf]
5. 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]
6. Constraint-based automatic symmetry detection. Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong, In 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), 2013. [pdf]
7. Proving MCAPI executions are correct using SMT. Yu Huang, Eric Mercer, Jay McCarthy, In 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), 2013. [pdf]
8. Fully Concurrent Garbage Collection of Actors on Many-core Machines. Sylvan Clebsch, Sophia Drossopoulou, In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2013. [pdf]
9. 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]
10. Input-covering Schedules for Multithreaded Programs. Tom Bergan, Luis Ceze, Dan Grossman, In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2013. [pdf]
11. OCTET: Capturing and Controlling Cross-thread Dependences Efficiently. Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang, In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2013. [pdf]
12. River Trail: A Path to Parallelism in JavaScript. Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram, In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2013. [pdf]
13. Bounded Partial-order Reduction. Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley, In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, ACM, 2013. [pdf]
14. Testing with Inputs and Outputs in CSP. Ana Cavalcanti, Robert M. Hierons, In Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, Springer-Verlag, 2013. [pdf]
15. An Epistemic Perspective on Consistency of Concurrent Computations. Klaus von Gleissenthall, Andrey Rybalchenko, In Proceedings of the 24th International Conference on Concurrency Theory, Springer-Verlag, 2013. [pdf]
16. Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao, In Proceedings of the 24th International Conference on Concurrency Theory, Springer-Verlag, 2013. [pdf]
17. Causality-Based Verification of Multi-threaded Programs. Andrey Kupriyanov, Bernd Finkbeiner, In Proceedings of the 24th International Conference on Concurrency Theory, Springer-Verlag, 2013. [pdf]
18. Aspect-Oriented Linearizability Proofs. Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis, In Proceedings of the 24th International Conference on Concurrency Theory, Springer-Verlag, 2013. [pdf]
19. An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. Parosh Aziz Abdulla, Frédéric Haziza, Luká\vs Hol\'\ik, Bengt Jonsson, Ahmed Rezine, In Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, 2013. [pdf]
20. Debugging Non-deadlock Concurrency Bugs. Sangmin Park, In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ACM, 2013. [pdf]
21. Griffin: Grouping Suspicious Memory-access Patterns to Improve Understanding of Concurrency Bugs. Sangmin Park, Mary Jean Harrold, Richard Vuduc, In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ACM, 2013. [pdf]
22. Selective Mutation Testing for Concurrent Code. Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam, In Proceedings of the 2013 International Symposium on Software Testing and Analysis, ACM, 2013. [pdf]
23. 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]
24. Plan B: A Buffered Memory Model for Java. Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek, In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2013. [pdf]
25. Subjective Auxiliary State for Coarse-grained Concurrency. Ruy Ley-Wild, Aleksandar Nanevski, In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2013. [pdf]
26. AutoSynch: An Automatic-signal Monitor Based on Predicate Tagging. Wei-Lun Hung, Vijay K. Garg, In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013. [pdf]
27. Concurrent Libraries with Foresight. Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav, In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013. [pdf]
28. Software Verification for Weak Memory via Program Transformation. Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig, In Proceedings of the 22Nd European Conference on Programming Languages and Systems, Springer-Verlag, 2013. [pdf]
29. Verifying Concurrent Programs Against Sequential Specifications. Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza, In Proceedings of the 22Nd European Conference on Programming Languages and Systems, Springer-Verlag, 2013. [pdf]
30. Structural Lock Correlation with Ownership Types. Yi Lu, John Potter, Jingling Xue, In Proceedings of the 22Nd European Conference on Programming Languages and Systems, Springer-Verlag, 2013. [pdf]
31. Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. Olivier Gruber, Fabienne Boyer, In Proceedings of the 27th European Conference on Object-Oriented Programming, Springer-Verlag, 2013. [pdf]
32. RedCard: Redundant Check Elimination for Dynamic Race Detectors. Cormac Flanagan, Stephen N. Freund, In Proceedings of the 27th European Conference on Object-Oriented Programming, Springer-Verlag, 2013. [pdf]
33. Parrot: A Practical Runtime for Deterministic, Stable, and Reliable Threads. Heming Cui, Jiri Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant, In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, ACM, 2013. [pdf]
34. RaceMob: Crowdsourced Data Race Detection. Baris Kasikci, Cristian Zamfir, George Candea, In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, ACM, 2013. [pdf]
35. Cooperative Empirical Failure Avoidance for Multithreaded Programs. Brandon Lucia, Luis Ceze, In Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ACM, 2013. [pdf]
36. ConAir: Featherweight Concurrency Bug Recovery via Single-threaded Idempotent Execution. Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam, In Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ACM, 2013. [pdf]
37. FastLane: Improving Performance of Software Transactional Memory for Low Thread Counts. Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber, Etienne Rivière, Gilles Muller, In Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, 2013. [pdf]
38. The Tasks with Effects Model for Safe Concurrency. Stephen T. Heumann, Vikram S. Adve, Shengjie Wang, In Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, 2013. [pdf]
39. Gunther: Search-based Auto-tuning of Mapreduce. Guangdeng Liao, Kushal Datta, Theodore L. Willke, In Proceedings of the 19th International Conference on Parallel Processing, Springer-Verlag, 2013. [pdf]
40. Algorithmic Skeleton Framework for the Orchestration of GPU Computations. Ricardo Marques, Hervé Paulino, Fernando Alexandre, Pedro D. Medeiros, In Proceedings of the 19th International Conference on Parallel Processing, Springer-Verlag, 2013. [pdf]