Publications in bibfile.bib [rss]
  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]
Powered by bibtexbrowser