• Login
    Search 
    •   MINDS@UW Home
    • MINDS@UW Madison
    • College of Letters and Science, University of Wisconsin–Madison
    • Department of Computer Sciences, UW-Madison
    • CS Technical Reports
    • Search
    •   MINDS@UW Home
    • MINDS@UW Madison
    • College of Letters and Science, University of Wisconsin–Madison
    • Department of Computer Sciences, UW-Madison
    • CS Technical Reports
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-4 of 4

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    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 ...
    Thumbnail

    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 ...
    Thumbnail

    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 ...
    Thumbnail

    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 ...

    Contact Us | Send Feedback
     

     

    Browse

    All of MINDS@UWCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    Discover

    AuthorLiblit, Ben (4)Ohmann, Peter (3)Brooks, Alexander (1)Brown, David Bingham (1)D'Antoni, Loris (1)de Supinski, Bronis R. (1)Linderoth, Jeff (1)Neelakandan, Naveen (1)Ravitch, Tristan (1)Subject
    debugging (4)
    program coverage (2)automata theory (1)core dumps (1)deployed software (1)dynamic analysis (1)failure reporting (1)formal languages (1)mixed integer linear optimization (1)postmortem program analysis (1)... View MoreDate Issued2013 (1)2015 (1)2016 (1)2017 (1)Has File(s)Yes (4)

    Contact Us | Send Feedback