Filters








351 Hits in 7.1 sec

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs

To Tsui, Shangru Wu, W. K. Chan
2014 Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices - InnoSWDev 2014  
A modified version of such a program, which the exposed concurrency bug is deemed fixed, should be subject to further testing to validate whether the concurrency bug may only be partially fixed.  ...  Many multithreaded programs incur concurrency bugs.  ...  We propose to use this observation to expose partially-fixed concurrency bugs in a modified version of a program. Our methodology is iterative in nature.  ... 
doi:10.1145/2666581.2666592 dblp:conf/sigsoft/TsuiWC14 fatcat:baw6qrkywnfcxfyiuztvyuigpu

Concurrency Debugging with Differential Schedule Projections

Nuno Machado, Daniel Quinta, Brandon Lucia, Luís Rodrigues
2016 ACM Transactions on Software Engineering and Methodology  
To build a DSP, Symbiosis first generates a full, failing, multithreaded schedule via thread path profiling and symbolic constraint solving.  ...  We also conducted a user study that shows that, by allowing developers to focus on only a few events, DSPs reduce the amount of time required to understand the bug's root cause and find a valid fix.  ...  Finally, a special thank you to all the participants for their help with the user study.  ... 
doi:10.1145/2885495 fatcat:77lubcftobbknk2ac55urpsnm4

Finding and Reproducing Heisenbugs in Concurrent Programs

Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
2008 USENIX Symposium on Operating Systems Design and Implementation  
CHESS scales to large concurrent programs and has found numerous bugs in existing systems that had been tested extensively prior to being tested by CHESS.  ...  Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate.  ...  We would also like to thank Chris Hawblitzel for helping with the integration of CHESS into the Singularity operating system.  ... 
dblp:conf/osdi/MusuvathiQBBNN08 fatcat:woqyt2dmdrh5das5xesa3f2dby

ConMem

Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas Reps
2013 ACM Transactions on Software Engineering and Methodology  
Our study of the error-propagation process of real-world concurrency bugs reveals a common pattern (50% in our non-deadlock concurrency bug set) that is highly correlated with program crashes.  ...  Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable.  ...  ACKNOWLEDGMENTS We would like to thank anonymous reviewers for their invaluable feedback.  ... 
doi:10.1145/2430545.2430546 fatcat:idebb546w5ecdewwqpk7jlarhu

An empirical analysis of flaky tests

Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, Darko Marinov
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
We study in detail a total of 201 commits that likely fix flaky tests in 51 open-source projects.  ...  We classify the most common root causes of flaky tests, identify approaches that could manifest flaky behavior, and describe common strategies that developers use to fix flaky tests.  ...  F.12 Some fixes to flaky tests (24%) modify the CUT, and most of these cases (94%) fix a bug in the CUT.  ... 
doi:10.1145/2635868.2635920 dblp:conf/sigsoft/LuoHEM14 fatcat:xtns47tymbeqfavcn5p4uc7s7q

ConMem

Wei Zhang, Chong Sun, Shan Lu
2010 SIGARCH Computer Architecture News  
Our study of the error-propagation process of realworld concurrency bugs reveals a common pattern (50% in our non-deadlock concurrency bug set) that is highly correlated with program crashes.  ...  Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable.  ...  This research is partially supported by a Claire Boothe Luce faculty fellowship.  ... 
doi:10.1145/1735970.1736041 fatcat:eznfy4fgxnhtpetvovan6z4bhu

ConMem

Wei Zhang, Chong Sun, Shan Lu
2010 Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems - ASPLOS '10  
Our study of the error-propagation process of realworld concurrency bugs reveals a common pattern (50% in our non-deadlock concurrency bug set) that is highly correlated with program crashes.  ...  Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable.  ...  This research is partially supported by a Claire Boothe Luce faculty fellowship.  ... 
doi:10.1145/1736020.1736041 dblp:conf/asplos/ZhangSL10 fatcat:3msfnlwgavg2faxhyka2jvnv3i

ConMem

Wei Zhang, Chong Sun, Shan Lu
2010 SIGPLAN notices  
Our study of the error-propagation process of realworld concurrency bugs reveals a common pattern (50% in our non-deadlock concurrency bug set) that is highly correlated with program crashes.  ...  Approaches to making the best use of the limited resources and exposing severe concurrency bugs before software release would be desirable.  ...  This research is partially supported by a Claire Boothe Luce faculty fellowship.  ... 
doi:10.1145/1735971.1736041 fatcat:k7pinzusp5eb3azprjjl3w6hym

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)

Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
2016 USENIX Conference on File and Storage Technologies  
Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed.  ...  These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques.  ...  We acknowledge that this research was partially supported by a gift from Intel Corporation.  ... 
dblp:conf/fast/DeligiannisMTCD16 fatcat:3bsfer5vijghbfktkrtsujqhte

Fair stateless model checking

Madanlal Musuvathi, Shaz Qadeer
2008 Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08  
Before this work, nonterminating programs had to be manually modified in order to apply CHESS to them.  ...  However, realistic concurrent programs are nonterminating, a property that significantly reduces the efficacy of stateless model checking in testing them.  ...  We also thank Patrice Godefroid, Andreas Podelski, Mihalis Yannakakis, and the reviewers for valuable comments on a prior version of the paper.  ... 
doi:10.1145/1375581.1375625 dblp:conf/pldi/MusuvathiQ08 fatcat:gl5vmodvsbaj5ef4wcferavv5m

Fair stateless model checking

Madanlal Musuvathi, Shaz Qadeer
2008 SIGPLAN notices  
Before this work, nonterminating programs had to be manually modified in order to apply CHESS to them.  ...  However, realistic concurrent programs are nonterminating, a property that significantly reduces the efficacy of stateless model checking in testing them.  ...  We also thank Patrice Godefroid, Andreas Podelski, Mihalis Yannakakis, and the reviewers for valuable comments on a prior version of the paper.  ... 
doi:10.1145/1379022.1375625 fatcat:pbjutnwasndpleitdqdub26vmq

Recipe

Se Kwon Lee, Jayashree Mohan, Sanidhya Kashyap, Taesoo Kim, Vijay Chidambaram
2019 Proceedings of the 27th ACM Symposium on Operating Systems Principles - SOSP '19  
The main insight behind Recipe is that isolation provided by a certain class of concurrent in-memory indexes can be translated with small changes to crash-consistency when the same index is used in PM.  ...  We present Recipe, a principled approach for converting concurrent DRAM indexes into crash-consistent indexes for persistent memory (PM).  ...  Acknowledgments We would like to thank our shepherd, Peter Chen, the anonymous reviewers, and members of Systems and Storage Lab and LASR group for their feedback and guidance. We are also  ... 
doi:10.1145/3341301.3359635 dblp:conf/sosp/LeeMKKC19 fatcat:gxbpwvv7tnecfaorv7wyv7tx2i

Software verification with VeriFast: Industrial case studies

Pieter Philippaerts, Jan Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
2014 Science of Computer Programming  
In this article we give a detailed description of the VeriFast approach to software verification based on two of the above case studies, one in Java and one in C.  ...  In this article we present a series of four industrial case studies in software verification.  ...  This research is partially funded by IWT, by the Research Fund KU Leuven, and by the EU FP7 projects SecureChange and NESSoS.  ... 
doi:10.1016/j.scico.2013.01.006 fatcat:y26xzprluzgppblaavsh3ydsju

On whether and how D-RISC and Microgrids can be kept relevant (self-assessment report) [article]

Raphael Poss
2013 arXiv   pre-print
In the reconstruction phase, I start by identifying the merits of the current D-RISC/Microgrids technology and know-how taken at face value, re-motivate its existence from a different angle, and suggest  ...  This report is structed in two parts: deconstruction and reconstruction.  ...  Moreover, many high-level constructs to expose concurrency in programming languages have been designed, e.g. in C/C++ (in the new 2011 standards), Scala, Haskell, etc.  ... 
arXiv:1303.4892v1 fatcat:rlzlsdttxvenjoj3hk4gtmzof4

RACEZ

Tianwei Sheng, Neil Vachharajani, Stephane Eranian, Robert Hundt, Wenguang Chen, Weimin Zheng
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
Concurrency bugs, particularly data races, are notoriously difficult to debug and are a significant source of unreliability in multithreaded applications.  ...  Many tools to catch data races rely on program instrumentation to obtain memory instruction traces.  ...  In order to expose all bugs during testing, developers must construct representative testing input to cover all the code in the program. This has been proven to be very challenging. 2.  ... 
doi:10.1145/1985793.1985848 dblp:conf/icse/ShengVEHCZ11 fatcat:wd5rusevnfh7hawdrz4hcifoom
« Previous Showing results 1 — 15 out of 351 results