Search Constraints

Start Over
Filtering by: Contributor Walkingshaw, Eric Remove constraint Contributor: Walkingshaw, Eric Degree Name Master of Science (M.S.) Remove constraint Degree Name: Master of Science (M.S.)

Search Results

  • A Formal Foundation for Variational Programming Using the Choice Calculus

    Creator:
    Hubbard, Spencer
    Abstract:
    In this thesis, we present semantic equivalence rules for an extension of the choice calculus and sound operations for an implementation of variational lists. The choice calculus is a calculus for describing variation and the formula choice calculus is an extension with formulas. We prove semantic equivalence rules for the...
    Resource Type:
    Masters Thesis
    Full Text:
    for Variational Programming Using the Choice Calculus Abstract approved: Eric T. Walkingshaw In this

  • Integrating Side Effects in Variational Programs Using Algebraic Effects

    Creator:
    Alkubaish, Ghadeer
    Abstract:
    Variational programming supports efficiently executing many related programs at once by encoding all of the programs in one "variational program" that captures the differences among them statically and explicitly. An open problem in variational programming is how to handle side effects—if two program variants perform different side effects, we cannot...
    Resource Type:
    Masters Thesis
    Full Text:
    Effects in Variational Programs Using Algebraic Effects Abstract approved: Eric Walkingshaw Variational

  • Imperative Programming with Variational Effects

    Creator:
    Grasley, Alexander B.
    Abstract:
    Variation is a commonly encountered element of modern software systems. Recent research into variation has led to increasing interest in the development of variational programming languages and corresponding variational models of execution. Variational imperative languages pose a particular challenge due to the complex interactions between side effects and variation. The...
    Resource Type:
    Masters Thesis
    Full Text:
    Variational Effects Abstract approved: Eric T. Walkingshaw Variation is a commonly encountered element of

  • Application of the Variational Database Management System to Schema Evolution and Software Product Lines

    Creator:
    Li, Qiaoran
    Abstract:
    As a general solution to the problem of managing structural and content variability in relational databases, in previous work we have introduced the Variational Database Management System (VDBMS). VDBMS consists of a representation of a variational database (VDB) and a corresponding typed query language (v-query). However, since this is a...
    Resource Type:
    Capstone Project
    Full Text:
    : Eric Walkingshaw As a general solution to the problem of managing structural and content variability

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis
    Full Text:
    Variational Database Management System Abstract approved: Eric Walkingshaw Variation in data is abundant

  • ScaleIO Storage Driver: A Template Driver for CoprHD

    Creator:
    Shujin, Wu and Wu, Shujin
    Abstract:
    CoprHD is an open source software-defined storage and API platform which creates an abstraction layer over multi-vendor heterogeneous storage systems. It offers the ability to discover, pool and automate the management of the storage ecosystem with the help of storage drivers establishing connections between CoprHD and storage systems. On the...
    Resource Type:
    Capstone Project
    Full Text:
    Template Driver for CoprHD Abstract approved: Eric Walkingshaw CoprHD is an open source software-defined

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    Abstract approved: Eric Walkingshaw The Rust programming language is a systems programming language with

  • 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:
    AN ABSTRACT OF THE THESIS OF Eric Walkingshaw for the degree

  • Implementation Techniques for Variational Data Structures

    Creator:
    Meng, Meng
    Abstract:
    Many applications require not only representing variability in software and data, butalso computing with it. To do so efficiently requires variational data structures thatmake variability explicit in the underlying data and the operations used to manipulate it.Variational data structures have been developed ad hoc for many applications, but thereis little...
    Resource Type:
    Masters Thesis
    Full Text:
    Techniques for Variational Data Structures Abstract approved: Eric T. Walkingshaw Many applications require

  • Formative Work Toward a Mixed-Initiative Programming Language

    Creator:
    Abbott, Keeley
    Abstract:
    Mixed-initiative programming entails collaboration between a computer system, and a human to achieve some desired goal or set of goals. Often these goals change or are amended in real time during the course of program execution. As such, the plans these programs are based on must adapt and evolve to...
    Resource Type:
    Masters Thesis
    Full Text:
    Mixed-Initiative Programming Language Abstract approved: Eric T. Walkingshaw Mixed-initiative