Search Constraints

Start Over
Filtering by: Creator Smith, Martin D. Remove constraint Creator: Smith, Martin D. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    Language for Probabilistic Programming Abstract approved: Martin Erwig Functional programming is

  • Domain-specific language support for experimental game theory

    Creator:
    Walkingshaw, Eric
    Abstract:
    Experimental game theory is the use of game theoretic abstractions—games, players, and strategies—in experiments and simulations. It is often used in cases where traditional, analytical game theory fails or is difficult to apply. This thesis collects three previously published papers that provide domain-specific language (DSL) support for defining and executing...
    Resource Type:
    Masters Thesis
    Full Text:
    Language Support for Experimental Game Theory Abstract approved: Martin Erwig Experimental game theory

  • Automatic Explanations of Computation Results with Value Decompositions and Dominating Sets

    Creator:
    Kumar, Prashant
    Abstract:
    In an increasingly computation-driven world, algorithms and mathematical models significantly impact decision making across various fields. To foster trust and understanding, it is crucial to provide users with clear and concise explanations of the reasoning behind the results produced by computational tools, especially when recommendations appear counterintuitive. Legal frameworks in...
    Resource Type:
    Dissertation
    Full Text:
    approved: Martin Erwig In an increasingly computation-driven world, algorithms and mathematical models

  • FoXQ : a visual query language for XML

    Creator:
    Abraham, Robin
    Abstract:
    XML is a very versatile data format that has been used to represent many different kinds of data, including web pages, books, business and accounting data, programming interfaces, vector graphics, system logs, and games. In a short span of time, it has gained wide acceptance as the document and data...
    Resource Type:
    Masters Thesis
    Full Text:
    . Title: FoXQ: A Visual Query Language for XML Abstract approved: Dr. Martin Erwig XML is a very

  • Type-correct changes — a safe approach to version control implementation

    Creator:
    Dagit, Jason
    Abstract:
    Ensuring correctness of real-world software applications is a challenging task. Testing can be used to find many bugs, but is typically not sufficient for proving correctness or even eliminating entire classes of bugs. However, formal proof and verification techniques tend to be very heavy weight and are simply not available...
    Resource Type:
    Masters Thesis
    Full Text:
    Implementation Abstract approved: David Roundy Martin Erwig Ensuring correctness of real-world software

  • Update programming -- a safe approach to software maintenance

    Creator:
    Ren, Deling
    Abstract:
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and...
    Resource Type:
    Dissertation
    Full Text:
    ,$:9;$/+43<$/$!1=0>#%1@?A58143.1=0>BC7;(D&)14E<14F;7HG ()*JIK14L�F;M,5N$/3 OP?/(D$/*;?'$ F;3<$/EN

  • Customizable Visual Traces for Program Explanations

    Creator:
    Bajaj, Divya
    Abstract:
    Correctness and efficiency are important properties of programs. However, to support maintenance and debugging, the programs should also be understandable. Program explanations also play a vital role in educational settings, enhancing the understanding of programs among students. Proof trees provide a sound basis for generating dynamic explanations of programs. But...
    Resource Type:
    Masters Thesis
    Full Text:
    Visual Traces for Program Explanations Abstract approved: Martin Erwig Correctness and efficiency are

  • Structured representation of composite software changes

    Creator:
    Chabra, Aarti
    Abstract:
    In a software development cycle, programs go through many iterations. Identifying and understanding program changes is a tedious but necessary task for programmers, especially when software is developed in a collaborative environment. Existing tools used by the programmers either lack in finding the structural differences, or report the differences as...
    Resource Type:
    Masters Thesis
    Full Text:
    Composite Software Changes Abstract approved: Martin Erwig In a software development cycle, programs go

  • Representing Program Edits with the Choice Calculus

    Creator:
    Xu, Keying
    Abstract:
    The problem of supporting more advanced selective undo operations has received a lot of attention. However, selective undo is generally missing in commonly used editors. Moreover, partial selective undo, the ability of undoing just part of some edit so that other edits may be undone, is not supported at all....
    Resource Type:
    Capstone Project
    Full Text:
    Program Edits with the Choice Calculus Abstract approved: Martin Erwig The problem of supporting more

  • Dimension checking tools for spreadsheets

    Creator:
    Chambers, Chris (Christopher Willie)
    Abstract:
    We present the evolution of a reasoning system for inferring dimension information in spreadsheets. The three papers included in this thesis show how the initial system can be used to check the consistency of spreadsheet formulas and thus is able to detect errors in spreadsheets, and the evolution to a...
    Resource Type:
    Masters Thesis
    Full Text:
    for Spreadsheets Abstract approved: Martin Erwig We present the evolution of a reasoning system for