Search results for "Heisenbugs"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer	Deconstructing concurrency heisenbugs.	ICSE Companion	2009	DBLP DOI BibTeX RDF
36	Sarah Sallinger, Georg Weissenbacher, Florian Zuleger	A Formalization of Heisenbugs and Their Causes.	SEFM	2023	DBLP DOI BibTeX RDF
36	Shiyou Huang, Bowen Cai 0006, Jeff Huang 0001	Towards Production-Run Heisenbugs Reproduction on Commercial Hardware.	USENIX Annual Technical Conference	2017	DBLP BibTeX RDF
36	Tanakorn Leesatapornwongsa, Haryadi S. Gunawi	SAMC: a fast model checker for finding heisenbugs in distributed systems (demo).	ISSTA	2015	DBLP DOI BibTeX RDF
36	Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu	Finding and Reproducing Heisenbugs in Concurrent Programs.	OSDI	2008	DBLP BibTeX RDF
36	Marianne Winslett	Bruce Lindsay speaks out: on System R, benchmarking, life as an IBM fellow, the power of DBAs in the old days, why performance still matters, Heisenbugs, why he still writes code, singing pigs, and more.	SIGMOD Rec.	2005	DBLP DOI BibTeX RDF	System R
33	Olga Brukman, Shlomi Dolev, Elliot K. Kolodner	Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software.	SwSTE	2003	DBLP DOI BibTeX RDF	Heisenbugs, monitors, safety, self-stabilization, liveness, restarters, automatic recovery
33	Subhachandra Chandra, Peter M. Chen	Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software.	DSN	2000	DBLP DOI BibTeX RDF	Heisenbugs, Software, Recovery, Faults, Transient
23	Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse	Macrodebugging: global views of distributed program execution.	SenSys	2009	DBLP DOI BibTeX RDF	wireless embedded networks, macroprogramming, source-level debugging
23	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
23	Armando Fox	Addressing software dependability with statistical and machine learning techniques.	ICSE	2005	DBLP DOI BibTeX RDF
23	Hironori Washizaki, Yuhki Sakai, Yoshiaki Fukazawa	Conditional Test for JavaBeans Components.	XP	2004	DBLP DOI BibTeX RDF
23	Giuliano Mega, Fabio Kon	Debugging distributed object applications with the Eclipse platform.	eTX	2004	DBLP DOI BibTeX RDF
23	Raissa Medeiros, Walfredo Cirne, Francisco Vilar Brasileiro, Jacques Philippe Sauvé	Faults in Grids: Why are they so bad and What can be done about it?	GRID	2003	DBLP DOI BibTeX RDF
23	Michiel Ronsse, Mark Christiaens, Koenraad De Bosschere	Cyclic Debugging Using Execution Replay.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
23	George Candea, Armando Fox	Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel.	HotOS	2001	DBLP DOI BibTeX RDF
23	Michiel Ronsse, Koenraad De Bosschere	RecPlay: A Fully Integrated Practical Record/Replay System.	ACM Trans. Comput. Syst.	1999	DBLP DOI BibTeX RDF	binary code modification, race detection, multithreaded programming