Paper selection

Please select at least 5 options for the paper that you would like to present. Record your choice using the web page to which you got a link via email. You must submit your preferences by Friday, 22 February 2013 at 12:00.

By the end of 22 February 2013, 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 20 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. Leveraging test generation and specification mining for automated bug detection without false positives. Michael Pradel, Thomas R. Gross, In ICSE, 2012. [pdf]
2. MagicFuzzer: Scalable deadlock detection for large-scale applications. Yan Cai, W. K. Chan, In ICSE, 2012. [pdf]
3. Static detection of resource contention problems in server-side scripts. Yunhui Zheng, Xiangyu Zhang, In ICSE, 2012. [pdf]
4. DTAM: dynamic taint analysis of multi-threaded programs for relevancy. Malay K. Ganai, Dongyoon Lee, Aarti Gupta, In SIGSOFT FSE, 2012. [pdf]
5. Predicting null-pointer dereferences in concurrent programs. Azadeh Farzan, P. Madhusudan, Niloofar Razavi, Francesco Sorrentino, In SIGSOFT FSE, 2012. [pdf]
6. Asynchronous programs with prioritized task-buffers. Michael Emmi, Akash Lal, Shaz Qadeer, In SIGSOFT FSE, 2012. [pdf]
7. How do developers use parallel libraries?. Semih Okur, Danny Dig, In SIGSOFT FSE, 2012. [pdf]
8. Execution privatization for scheduler-oblivious concurrent programs. Jeff Huang, Charles Zhang, In OOPSLA, 2012. [pdf]
9. Work-stealing without the baggage. Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu, In OOPSLA, 2012. [pdf]
10. Exploring multi-threaded Java application performance on multicore hardware. Jennifer B. Sartor, Lieven Eeckhout, In OOPSLA, 2012. [pdf]
11. Molecule: using monadic and streaming I/O to compose process networks on the JVM. Sébastien Bocq, Koen Daenen, In OOPSLA, 2012. [pdf]
12. Integrating task parallelism with actors. Shams Mahmood Imam, Vivek Sarkar, In OOPSLA, 2012. [pdf]
13. Improving Dynamic Partial Order Reductions for Concolic Testing. Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, In ACSD, 2012. [pdf]
14. Linearizability with Ownership Transfer. Alexey Gotsman, Hongseok Yang, In CONCUR, 2012. [pdf]
15. Detecting Fair Non-termination in Multithreaded Programs. Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal, In CAV, 2012. [pdf]
16. Lock Removal for Concurrent Trace Programs. Vineet Kahlon, Chao Wang, In CAV, 2012. [pdf]
17. How to Prove Algorithms Linearisable. Gerhard Schellhorn, Heike Wehrheim, John Derrick, In CAV, 2012. [pdf]
18. An Axiomatic Memory Model for POWER Multiprocessors. Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams, In CAV, 2012. [pdf]
19. Regression Verification for Multi-threaded Programs. Sagar Chaki, Arie Gurfinkel, Ofer Strichman, In VMCAI, 2012. [pdf]
20. Synchronizability for Verification of Asynchronously Communicating Systems. Samik Basu, Tevfik Bultan, Meriem Ouederni, In VMCAI, 2012. [pdf]
21. Testing concurrent programs to achieve high synchronization coverage. Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold, In ISSTA, 2012. [pdf]
22. 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 ISSTA, 2012. [pdf]
23. Cooperative types for controlling thread interference in Java. Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan, In ISSTA, 2012. [pdf]
24. Finding errors in multithreaded GUI applications. Sai Zhang, Hao Lü, Michael D. Ernst, In ISSTA, 2012. [pdf]
25. A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. Granville Barnett, Shengchao Qin, In ICFEM, 2012. [pdf]
26. Compositional Reasoning about Shared Futures. Crystal Chang Din, Johan Dovland, Olaf Owe, In SEFM, 2012. [pdf]
27. Analysis of recursively parallel programs. Ahmed Bouajjani, Michael Emmi, In POPL, 2012. [pdf]
28. Verification of parameterized concurrent programs by modular reasoning about data and control. Azadeh Farzan, Zachary Kincaid, In POPL, 2012. [pdf]
29. Resource-sensitive synchronization inference by abduction. Matko Botincan, Mike Dodds, Suresh Jagannathan, In POPL, 2012. [pdf]
30. Syntactic control of interference for separation logic. Uday S. Reddy, John C. Reynolds, In POPL, 2012. [pdf]
31. Clarifying and compiling C/C++ concurrency: from C++11 to POWER. Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell, In POPL, 2012. [pdf]
32. Multicore acceleration of priority-based schedulers for concurrency bug detection. Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi, In PLDI, 2012. [pdf]
33. Fully automatic and precise detection of thread safety violations. Michael Pradel, Thomas R. Gross, In PLDI, 2012. [pdf]
34. Eventually Consistent Transactions. Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv, In ESOP, 2012. [pdf]
35. Concurrent Library Correctness on the TSO Memory Model. Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, In ESOP, 2012. [pdf]
36. Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. Kento Emoto, Sebastian Fischer, Zhenjiang Hu, In ESOP, 2012. [pdf]
37. Reasoning about Lock Placements. Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv, In ESOP, 2012. [pdf]
38. On the Correctness of the SIMT Execution Model of GPUs. Axel Habermaier, Alexander Knapp, In ESOP, 2012. [pdf]
39. Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. Andreas Lochbihler, In ESOP, 2012. [pdf]
40. A Type and Effect System for Determinism in Multithreaded Programs. Yi Lu, John Potter, Chenyi Zhang, Jingling Xue, In ESOP, 2012. [pdf]
41. PQL: A Purely-Declarative Java Extension for Parallel Programming. Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman, In ECOOP, 2012. [pdf]
42. Object Initialization in X10. Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat, In ECOOP, 2012. [pdf]
43. Practical Permissions for Race-Free Parallelism. Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar, In ECOOP, 2012. [pdf]
44. Verification of Snapshot Isolation in Transactional Memory Java Programs. Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenco, In ECOOP, 2012. [pdf]
45. Remote Core Locking: migrating critical-section execution to improve the performance of multithreaded applications. Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller, In Proceedings of the Usenix Annual Technical Conference, USENIX ATC '12, USENIX Association, 2012. [pdf]
46. Data races vs. data race bugs: telling the difference with portend. Baris Kasikci, Cristian Zamfir, George Candea, In ASPLOS, 2012. [pdf]
47. Applying transactional memory to concurrency bugs. Haris Volos, Andres Jaan Tack, Michael M. Swift, Shan Lu, In ASPLOS, 2012. [pdf]
48. 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]