Search Constraints

Start Over
Filtering by: Subject Communication in science Remove constraint Subject: Communication in science Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science Degree Name Doctor of Philosophy (Ph.D.) Remove constraint Degree Name: Doctor of Philosophy (Ph.D.)

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:
    ABSTRACT OF THE DISSERTATION OF Sheng Chen for the degree of Doctor of Philosophy in Computer Science

  • 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:
    degree of Doctor of Philosophy in Computer Science presented on June 7, 2013. Title: Eliciting

  • Information foraging in debugging

    Creator:
    Lawrance, Joseph A.
    Abstract:
    Programmers spend a substantial fraction of their debugging time by navigating through source code, yet little is known about how programmers navigate. With the continuing growth in size and complexity of software, this fraction of time is likely to increase, which presents challenges to those seeking both to understand and...
    Resource Type:
    Dissertation
    Full Text:
    Computer Science presented on June 12, 2009. Title: Information Foraging in Debugging

  • Information Foraging Theory as a Unifying Foundation for Software Engineering Research : Connecting the Dots

    Creator:
    Piorkowski, David
    Abstract:
    Empirical studies have shown that programmers spend up to one-third of their time navigating through code during debugging. Although researchers have conducted empirical studies to understand programmers’ navigation difficulties and developed tools to address those difficulties, the resulting findings tend to be loosely connected to each other. To address this...
    Resource Type:
    Dissertation
    Full Text:
    science students now routinely build them in their coursework [Aho et al., 1986]. Our choice of theory

  • 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:
    work presented in this dissertation lies at the intersection of two fields of computer science: human

  • Understanding and supporting end-user debugging strategies

    Creator:
    Grigoreanu, Valentina I.
    Abstract:
    End users' programs are fraught with errors, costing companies millions of dollars. One reason may be that researchers and tool designers have not yet focused on end-user debugging strategies. To investigate this possibility, this dissertation presents eight empirical studies and a new strategy-based end-user debugging tool for Excel, called StratCel....
    Resource Type:
    Dissertation
    Full Text:
    Valentina I. Grigoreanu for the degree of Doctor of Philosophy in Computer Science presented on December 1

  • The Architecture of a Reusable Built-In Self-Test for Link Training, IO and Memory Defect Detection and Auto Repair on 14nm Intel SOC

    Creator:
    Querbach, Bruce
    Abstract:
    The complexity of designing and testing today's system on chip (SOC) is increasing due to greater integrated circuit (IC) density and higher IO and memory frequencies. SOCs for the mobile phone and tablet market have the unique challenge of short product development windows, at times less than six months, and...
    Resource Type:
    Dissertation
    Full Text:
    Querbach for the degree of Doctor of Philosophy in Electrical and Computer Engineering presented on June