Learning from mistakes
作者： Shan Lu , Soyeon Park , Eunsoo Seo , Yuanyuan Zhou
关键词: Software engineering 、 Computer science
摘要: The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct is difficult. Addressing this challenge requires advances in multiple d...
acm.org
sci-hub.se 参考文章(30)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs ACM Transactions on Computer Systems. ,vol. 15, pp. 391- 411 ,(1997) , 10.1145/265924.265927
Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur, Applications of synchronization coverage Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05. pp. 206- 212 ,(2005) , 10.1145/1065944.1065972
O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, S. Ur, Multithreaded java program test generation Ibm Systems Journal. ,vol. 41, pp. 111- 125 ,(2002) , 10.1147/SJ.411.0111
Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha, Transactional programming in a multi-core environment Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '07. pp. 272- 272 ,(2007) , 10.1145/1229428.1229484
R.N. Taylor, D.L. Levine, C.D. Kelly, Structural testing of concurrent programs IEEE Transactions on Software Engineering. ,vol. 18, pp. 206- 215 ,(1992) , 10.1109/32.126769
J. Eliot B. Moss, Antony L. Hosking, Nested transactional memory: Model and architecture sketches Science of Computer Programming. ,vol. 63, pp. 186- 201 ,(2006) , 10.1016/J.SCICO.2006.05.010
Patrice Godefroid, Model checking for programming languages using VeriSoft symposium on principles of programming languages. pp. 174- 186 ,(1997) , 10.1145/263699.263717
Cormac Flanagan, Stephen N Freund, Atomizer: a dynamic atomicity checker for multithreaded programs symposium on principles of programming languages. ,vol. 39, pp. 256- 267 ,(2004) , 10.1145/964001.964023
Robert H. B. Netzer, Barton P. Miller, Improving the accuracy of data race detection acm sigplan symposium on principles and practice of parallel programming. ,vol. 26, pp. 133- 144 ,(1991) , 10.1145/109625.109640
C.S. Ananian, K. Asanovic, B.C. Kuszmaul, C.E. Leiserson, S. Lie, Unbounded transactional memory high-performance computer architecture. pp. 316- 327 ,(2005) , 10.1109/HPCA.2005.41