Now showing items 1-4 of 4

    • Cores, Debugging, and Coverage 

      Ohmann, Peter; Liblit, Ben (2015-06-04)
      Debugging is difficult and costly, especially for production failures. To aid developers, we enhance core memory dumps produced by crashing applications with lightweight, tunable tracing. We propose two complementary ...
    • Encoding Optimal Customized Coverage Instrumentation 

      Ohmann, Peter; Brown, David Bingham; Neelakandan, Naveen; Linderoth, Jeff; Liblit, Ben (2016-08-26)
      Program coverage is an important software quality metric. Coverage is most commonly gathered in the testing lab during development. However, developers also sometimes use inexpensive forms of program coverage in ...
    • Statistically Debugging Massively-Parallel Applications 

      de Supinski, Bronis R.; Liblit, Ben; Ravitch, Tristan (2013-02-18)
      Statistical debugging identifies program behaviors that are highly correlated with failures. Traditionally, this approach has been applied to desktop software on which it is effective in identifying the causes ...
    • Supporting Proofs for Control-Flow Recovery from Partial Failure Reports 

      Ohmann, Peter; Brooks, Alexander; D'Antoni, Loris; Liblit, Ben (2017-04-28)
      Debugging post-deployment failures is difficult, in part because failure reports from these applications usually provide only partial information about what occurred during the failing execution. We introduce approaches ...