Phase II Archaeological Excavations at 99 Main Street, 18AP21 (Sign of the Whale), Annapolis, Maryland

Historical Annapolis Foundation (HAF) conducted terrestrial archaeological investigations at site 18AP21 in the city of Annapolis, Maryland. Excavations were carried out at this National Register site ostensibly as a Phase II project to evaluate the site and assess the need for further work. The site is at 99 Main Street in the center of downtown Annapolis, near the Annapolis waterfront. The project was carried out as part of the advanced work for the Annapolis History Center project, to be built in the adjoining buildings of 99 Main and 196 Green Streets. The buildings are the property of the Historic Annapolis Foundation and located in Maryland Research Unit 7. The excavations were undertaken by HAF, and funded by HAFF. The work was conducted for HAF and MHT, who holds an archaeological easement on the property. This preliminary phase of work included stratigraphic excavation of two testpit units. These two units revealed that the site of the existing 99 Main Street building was the location of three previous constructions. The current building at 99 Main Street, built in 1791, was preceded by an earlier brick dwelling, evidenced by a stout pier of bricks, which was attached to a wooden-sided structure that stood on a foundation of brick and stone. Ceramics indicate that these buildings date to the early-middle of the 18th century. A third structure of post-in-ground construction, evidenced by recovery of burned posts and wood fragments, likely existed prior to these, but evidence was scant. These excavations reveal that the site of 18AP21 holds potential for understanding Annapolis's early cultural developments, especially in the area of initial settlement and the origins of waterfront commerce. The assemblage of artifacts recovered includes a broad sample of common 18th century pottery such as creamware and Chinese export porcelain, and also includes some early colonial types such as tin-glazed earthenware and various red-bodied slipwares. The excavations do not provide conclusive evidence of the construction sequence. Consultation with MHT representatives indicates that further work at the site will likely be needed before modifications to the floor of the building can progress.

Three Hundred Years in Annapolis: Phase III Archaeological Investigations of the Anne Arundel County Courthouse Site (18AP63), Annapolis, Maryland

During the summer of 1994, Archaeology in Annapolis conducted archaeological investigations of the city block bounded by Franklin, South and Cathedral Streets in the city of Annapolis. This Phase III excavation was conducted as a means to identify subsurface cultural resources in the impact area associated with the proposed construction of the Anne Arundel County Courthouse addition. This impact area included both the upper and lower parking lots used by Courthouse employees. Investigations were conducted in the form of mechanical trenching and hand excavated units. Excavations in the upper lot area yielded significant information concerning the interior area of the block. Known as Bellis Court, this series of rowhouses was constructed in the late nineteenth century and was used as rental properties by African-Americans. The dwellings remained until the middle of the twentieth century when they were demolished in preparation for the construction of a Courthouse addition. Portions of the foundation of a house owned by William H. Bellis in the 1870s were also exposed in this area. Construction of this house was begun by William Nicholson around 1730 and completed by Daniel Dulany in 1732/33. It was demolished in 1896 by James Munroe, a Trustee for Bellis. Excavations in the upper lot also revealed the remains of a late seventeenth/early eighteenth century wood-lined cellar, believed to be part of the earliest known structure on Lot 58. After an initially rapid deposition of fill around 1828, this cellar was gradually covered with soil throughout the remainder of the nineteenth century. The fill deposit in the cellar feature yielded a mixed assemblage of artifacts that included sherds of early materials such as North Devon gravel-tempered earthenware, North Devon sgraffito and Northem Italian slipware, along with creamware, pearlware and whiteware. In the lower parking lot, numerous artifacts were recovered from yard scatter associated with the houses that at one time fronted along Cathedral Street and were occupied by African- Americans. An assemblage of late seventeenth century/early eighteenth century materials and several slag deposits from an early forge were recovered from this second area of study. The materials associated with the forge, including portions of a crucible, provided evidence of some of the earliest industry in Annapolis. Investigations in both the upper and lower parking lots added to the knowledge of the changing landscape within the project area, including a prevalence of open space in early periods, a surprising survival of impermanent structures, and a gradual regrading and filling of the block with houses and interior courts. Excavations at the Anne Arundel County Courthouse proved this to be a multi-component site, rich in cultural resources from Annapolis' Early Settlement Period through its Modern Period (as specified by Maryland's Comprehensive Historic Preservation Plan (Weissman 1986)). This report provides detailed interpretations of the archaeological findings of these Phase III investigations.

Archaeological Investigation at Slayton House, 18AP74, Annapolis, Maryland

Archaeological investigation at the Slayton House site in Annapolis revealed evidence of occupation of the lot since the early 18th century. The intact late 18th century ground surfaces on which John Ridout built the row houses, and subsequent changes in the landscape and use of the yard as work space in the 19th century were discovered. There was ample visible evidence of the early 20th century landscape and use of the yard as a pleasure garden when excavation was started. Deposits inside the house were quite disturbed, but there was evidence of the work done by the African Americans who lived there. A number of artifacts were found which may indicate the slaves and free African Americans were practicing African-related folk beliefs. No further investigations are recommended for the site. However, if severe or deep ground-disturbing activities were to take place on the property, they should be monitored by a qualified archaeologist.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.

A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

Prioritizing Purposes: Two American History Teachers' Choices Among Subject Matter and Classroom-Related Purposes

This study explores how two American history teachers - one novice and one experienced – make in-the-moment choices among their history subject matter and classroom-related purposes during the teaching of an American history unit. Using classroom observations, lesson artifacts, student work products, and deep, retrospective interviews with the teachers as they watched videos of their teaching, this study maps out in detail the teachers’ purposes, both within and across different lesson activity structures. This study finds that the novice and the experienced teacher navigated among their purposes differently from each other, and that the characteristics of each teacher’s purposes navigation aligned with student outcomes in that teacher’s class. The novice teacher acted more like a juggler, with visible, reactive navigation among each purpose operational throughout his teaching; student outcomes in his class were similarly fragmented and discrete. The experienced teacher presented more like an orchestra conductor, interweaving his purposes and anticipating the navigation decisions that would create a more seamless whole; student outcomes in his class were aligned with his holistic navigation of purposes. Findings from this study have important implications for education research and teacher practice, including the relationship between teachers’ navigation among purposes and desired student outcomes, the integral role of classroom-related purposes interwoven with history subject matter purposes in teachers’ decision-making, and the differences in purposes navigation between a novice and an experienced history teacher.

A Figured Worlds Perspective on Middle School Learners' Climate Literacy Development

The purpose of this study was to investigate the nature of the relationship between middle school science learners’ conditions and their developing understandings of climate change. I applied the anthropological theoretical perspective of figured worlds (Holland, Lachicotte, Skinner, & Cain, 1998) to examine learners’ views of themselves and their capacities to act in relation to climate change. My overarching research question was: How are middle school science learners’ figured worlds of climate change related to the conditions in which they are embedded? I used a descriptive single-case study design to examine the climate change ideas of eight purposefully selected 6th grade science learners. Data sources included: classroom observations, curriculum documents, interviews, focus groups, and written assessments and artifacts, including learners’ self- generated drawings. I identified six analytic lenses with which to explore the data. Insights from the application of these analytic lenses provided information about the elements of participants’ climate change stories, which I reported through the use of a storytelling heuristic. I then synthesized elements of participants’ collective climate change story, which provided an “entrance” (Kitchell, Hannan, & Kempton, 2000, p. 96) into their figured world of climate change. Aspects of learners’ conditions—such as their worlds of school, technology and media use, and family—appeared to shape their figured world of climate change. Within their figured world of climate change, learners saw themselves—individually and as members of groups—as inhabiting a variety of climate change identities, some of which were in conflict with each other. I posited that learners’ enactment of these identities – or the ways in which they expressed their climate change agency – had the potential to reshape or reinforce their conditions. Thus, learners’ figured worlds of climate change might be considered “spaces of authoring” (Holland et al., 1998, p. 45) with potential for inciting social and environmental change. The nature of such change would hinge on the extent to which these nascent climate change identities become salient for these early adolescent learners through their continued climate change learning experiences. Implications for policy, curriculum and instruction, and science education research related to climate change education are presented.

Controlled Vocabulary Enhancement through Crowdsourcing: Project Andvari, Micropasts, and Public Quality Assurance

Proceedings paper published by Society of American Archivists. Presented at conference in 2015 in Cleveland, OH (http://www2.archivists.org/proceedings/research-forum/2015/agenda#papers). Published by SAA in 2016.