Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Subject Debugging in computer science Remove constraint Subject: Debugging in computer science

Search Results

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    Groce, Prasad Tadepalli, and Eric Walkingshaw, offered a lot of support during my study here. Thank

  • Eliciting informal specifications from scientific modelers for evaluation and debugging

    Creator:
    Bogart, Christopher
    Abstract:
    Professional software engineers have an arsenal of techniques such as unit testing and assertions to check their specifications, but these techniques require tools, motivation, experience and training that programmers without professional software engineering training may not have. As a result, professionals in other fields, such as scientific modelers, face greater...
    Resource Type:
    Dissertation
    Full Text:
    Bahmani, Joey Lawrance, Laura Beckwith, Kyle Rector, Chris Chambers, Eric Walkingshaw, Chris Scaffidi

  • Personalizing machine learning systems with explanatory debugging

    Creator:
    Kulesza, Todd
    Abstract:
    How can end users efficiently influence the predictions that machine learning systems make on their behalf? Traditional systems rely on users to provide examples of how they want the learning system to behave, but this is not always practical for the user, nor efficient for the learning system. This dissertation...
    Resource Type:
    Dissertation
    Full Text:
    , Scott Fleming, Irwin Kwan, Chris Bogart, and Eric Walkingshaw for the pleasure of working with and