Learn More
The iPlant Collaborative (iPlant) is a United States National Science Foundation (NSF) funded project that aims to create an innovative, comprehensive, and foundational cyberinfrastructure in support of plant biology research (PSCIC, 2006). iPlant is developing cyberinfrastructure that uniquely enables scientists throughout the diverse fields that comprise(More)
The integration of heterogeneous data sources and software systems is a major issue in the biomed-ical community and several approaches have been explored: linking databases, on-the-y" integration through views, and integration through warehousing. In this paper we report on our experiences with two systems that were developed at the University o f(More)
Sharing structured data today requires standardizing upon a single schema, then mapping and cleaning all of the data. This results in a single queriable mediated data instance. However, for settings in which structured data is being collaboratively authored by a large community, e.g., in the sciences, there is often a lack of consensus about how it should(More)
Scientists are now faced with an explosion of information which must be rapidly analyzed to form hypotheses and create knowledge. A major challenge lies in how to effectively share information among collaborating, yet autonomous, biological partners. These partners are peers in the sense that they have a diversity of perspectives (and hence heterogeneous(More)
  • Val Tannen, Carl A Gunter, Andre Scedrov, Val Tannen, V Breazu-Tannen, C A Gunter +1 other
  • 2014
Inheritance in the form of subtyping is considered in the framework of a polymorphic type discipline with records, variants, and recursive types. We give a denotational semantics based on the paradigm that interprets subtyping as explicit coercion. The main technical result gives a coherent interpretation for a strong rule for deriving inheritances between(More)
1 Overview This report is the extended version of PT99] and while they are some overlapping parts (mainly the results) we don't repeat here some of the examples given in PT99], even though we frequently refer to them. The overview of this report is as follows. In section 2 we present some aspects of our internal framework, called CoDi 1. This is a language(More)
  • Wenchao Zhou, Jianbo Shi, Zachary G Ives, Val Tanner, Andreas Haeberlen, Margo Seltzer +17 others
  • 2014
Operators of distributed systems often find themselves needing to answer forensic questions, to perform a variety of managerial tasks including fault detection, system debugging, accountability enforcement, and attack analysis. In this dissertation, we present Secure Time-Aware Provenance (STAP), a novel approach that provides the fundamental functionality(More)