Filters








9,791 Hits in 4.1 sec

GoBench: A Benchmark Suite of Real-World Go Concurrency Bugs

Ting Yuan, Guangwei Li, Jie Lu, Chen Liu, Lian Li, Jingling Xue
2021 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)  
We believe GOBENCH will be instrumental in helping researchers understand concurrency bugs in Go and develop effective tools for their detection.  ...  We build GOBENCH, the first benchmark suite for Go concurrency bugs. Currently, GOBENCH consists of 82 real bugs from 9 popular open source applications and 103 bug kernels.  ...  To the best of our knowledge, GOBENCH is the first benchmark suite of real-world Go concurrency bugs, including real-world buggy applications and bug-triggering test functions in containers to ensure portability  ... 
doi:10.1109/cgo51591.2021.9370317 fatcat:gxjmy4kudfdw7cyzzogeeuqpoa

Understanding and generating high quality patches for concurrency bugs

Haopeng Liu, Yuxi Chen, Shan Lu
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
This paper first conducts an in-depth study of manual patches for 77 real-world concurrency bugs, which provides both assessments for existing techniques and actionable suggestions for future research.  ...  Concurrency bugs are time-consuming to fix correctly by developers and a severe threat to software reliability.  ...  This paper provides an in-depth understanding of this research direction, through a thorough study of manual patches for 77 real-world concurrency bugs.  ... 
doi:10.1145/2950290.2950309 dblp:conf/sigsoft/LiuCL16 fatcat:4augt7sasvdn5gr2kf2bqkbf54

How Amazon web services uses formal methods

Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
2015 Communications of the ACM  
This difference is important in practice; several of the real-world specifications we have written in TLA+ would have been infeasible in Alloy.  ...  That expressivity must cover real-world concurrency and fault tolerance. And, as we wish to build services quickly, we wanted a language that is simple to learn and apply, avoiding esoteric concepts.  ... 
doi:10.1145/2699417 fatcat:2t3z24u35rh5pgjoah6qzpkrty

ConAir

Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam
2013 Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems - ASPLOS '13  
We evaluated ConAir on 10 real-world concurrency bugs in widely used C/C++ open-source applications. These bugs cover different types of failure symptoms and root causes.  ...  Many concurrency bugs are hidden in deployed software and cause severe failures for end-users. When they finally manifest and become known by developers, they are difficult to fix correctly.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of NSF or other institutions.  ... 
doi:10.1145/2451116.2451129 dblp:conf/asplos/ZhangKLLS13 fatcat:tlw6b3dmkrgerblraunzbm2zwe

ConAir

Wei Zhang, Marc de Kruijf, Ang Li, Shan Lu, Karthikeyan Sankaralingam
2013 SIGPLAN notices  
We evaluated ConAir on 10 real-world concurrency bugs in widely used C/C++ open-source applications. These bugs cover different types of failure symptoms and root causes.  ...  Many concurrency bugs are hidden in deployed software and cause severe failures for end-users. When they finally manifest and become known by developers, they are difficult to fix correctly.  ...  Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of NSF or other institutions.  ... 
doi:10.1145/2499368.2451129 fatcat:5wdflyi7wffvpcngckpytssjai

Automated Verification of Go Programs via Bounded Model Checking

Nicolas Dilley, Julien Lange
2021 Zenodo  
The artifact of the ASE 2021 paper entitled "Automated Verification of Go Programs via Bounded Model Checking".  ...  Concurrency bugs in Go: We distinguish between blocking bugs and safety bugs.  ...  algorithm (Algorithm 1), and an evaluation of our approach on real-world Go code.  ... 
doi:10.5281/zenodo.5101556 fatcat:dms2wlvhfjefppyr2rvabl3tzm

A Study of Concurrency Bugs in an Open Source Software [chapter]

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
2016 IFIP Advances in Information and Communication Technology  
Similarly, to design effective tools and techniques for testing and debugging concurrent software understanding the differences between non-concurrency and concurrency bugs in real-word software would  ...  In aiming to increase efficiency and effectiveness of debugging and bug-fixing for concurrent software, a deep understanding of concurrency bugs, their frequency and fixing-times would be helpful.  ...  Hence, the main emphasis of this research is on concurrency bugs, and to explore the nature and extent of concurrency bugs in real-world software.  ... 
doi:10.1007/978-3-319-39225-7_2 fatcat:escwriggqbhajfnus2dbacmo6m

Concurrency bugs in open source software: a case study

Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
2017 Journal of Internet Services and Applications  
Similarly, to design effective tools and techniques for testing and debugging concurrent software, understanding the differences between non-concurrency and concurrency bugs in real-word software would  ...  In aiming to increase efficiency and effectiveness of debugging and bug-fixing for concurrent software, a deep understanding of concurrency bugs, their frequency and fixing-times would be helpful.  ...  Hence, the main emphasis of this research is on concurrency bugs, and on exploring the nature and extent of concurrency bugs in real-world software.  ... 
doi:10.1186/s13174-017-0055-2 fatcat:vuxqmvlu6jgqpgoo2vyc34plby

A study of the internal and external effects of concurrency bugs

P Fonseca, Cheng Li, V Singhal, R Rodrigues
2010 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN)  
While previous studies of real-world concurrency bugs exist, they have centered their attention on the causes of these bugs.  ...  Concurrency bugs are particularly difficult to avoid and diagnose, and therefore in order to improve methods for handling such bugs, we need a better understanding of their characteristics.  ...  The methodology adopted by the study was to ask programmers to write programs containing concurrency bugs, which arguably may not lead to bugs that are representative of real world problems.  ... 
doi:10.1109/dsn.2010.5544315 dblp:conf/dsn/FonsecaLSR10 fatcat:3yhugb7eovcgvftndcxbncuosm

Causal-Consistent Reversible Debugging [chapter]

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina
2014 Lecture Notes in Computer Science  
We also show how to apply CaReDeb to individuate common real-world concurrent bugs.  ...  In a concurrent setting, reversing actions in the exact reverse order in which they have been executed may lead to undo many actions that were not related to the bug under analysis.  ...  Assessment: Real-World Concurrency Bugs In this section we evaluate our debugging techniques against real world concurrency bugs as described in [16] .  ... 
doi:10.1007/978-3-642-54804-8_26 fatcat:tv6m6lvf4feppl462qwqxu6rge

Automated atomicity-violation fixing

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2011 Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11  
Our evaluation shows that patches automatically generated by AFix correctly eliminate six out of eight real-world bugs and significantly decrease the failure probability in the other two cases.  ...  Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era.  ...  Figure 1 shows an example of a real-world concurrency bug.  ... 
doi:10.1145/1993498.1993544 dblp:conf/pldi/JinSZLL11 fatcat:axff6gjlrfghxp7yvlx22mp6qu

Automated atomicity-violation fixing

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2011 SIGPLAN notices  
Our evaluation shows that patches automatically generated by AFix correctly eliminate six out of eight real-world bugs and significantly decrease the failure probability in the other two cases.  ...  Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era.  ...  Figure 1 shows an example of a real-world concurrency bug.  ... 
doi:10.1145/1993316.1993544 fatcat:kifgwfu2lvchbmgiq2kqovcmri

Automated atomicity-violation fixing

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
2012 SIGPLAN notices  
Our evaluation shows that patches automatically generated by AFix correctly eliminate six out of eight real-world bugs and significantly decrease the failure probability in the other two cases.  ...  Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era.  ...  Figure 1 shows an example of a real-world concurrency bug.  ... 
doi:10.1145/2345156.1993544 fatcat:3ety5z5spbakdmgq7bh6gbdop4

CTrigger

Soyeon Park, Shan Lu, Yuanyuan Zhou
2009 SIGARCH Computer Architecture News  
First, it studies the interleaving characteristics of the common practice in concurrent program testing (i.e., running a program over and over) to understand why atomicity violation bugs are hard to expose  ...  We evaluate CTrigger with real-world atomicity violation bugs from four sever/desktop applications (Apache, MySQL, Mozilla, and PBZIP2) and three SPLASH2 applications on 8-core machines.  ...  Many concurrency bugs skip the in-house checking, escape into production runs and cause catastrophic disasters in real world (e.g., the Northeastern Electricity Blackout Incident [21] ).  ... 
doi:10.1145/2528521.1508249 fatcat:ermrhx5nhjauhmmihe3aek2qqe

CTrigger

Soyeon Park, Shan Lu, Yuanyuan Zhou
2009 Proceeding of the 14th international conference on Architectural support for programming languages and operating systems - ASPLOS '09  
First, it studies the interleaving characteristics of the common practice in concurrent program testing (i.e., running a program over and over) to understand why atomicity violation bugs are hard to expose  ...  We evaluate CTrigger with real-world atomicity violation bugs from four sever/desktop applications (Apache, MySQL, Mozilla, and PBZIP2) and three SPLASH2 applications on 8-core machines.  ...  Many concurrency bugs skip the in-house checking, escape into production runs and cause catastrophic disasters in real world (e.g., the Northeastern Electricity Blackout Incident [21] ).  ... 
doi:10.1145/1508244.1508249 dblp:conf/asplos/ParkLZ09 fatcat:oinqcs5khzf67onlyblabb7gym
« Previous Showing results 1 — 15 out of 9,791 results