Dominance, the property that all paths to a given object must go through another object, is at the heart of ownership type disciplines. While ownership types have received abundant attention, ownership inference remains an open problem, and crucial questions about the practical impact of ownership remain unanswered. We argue that a static program analysis that infers dominance is a crucial firs...

In this research, we scrutinize the affect of ownership structure on company performance. The relationship between ownership structure and performance has always been the area under discussion in the literature of corporate finance. The discussion on this area was started with the thesis of Berle and Means (1932). They argued that defuse ownership is inversely correlated with performance of a c...

The global urban transition increasingly positions cities as important influencers in determining sustainability outcomes. Urban sustainability literature tends to focus on the built environment as a solution space for reducing energy and materials demand; however, equally important is the consumption characteristics of the people who occupy the city. While size of dwelling and motor vehicle ow...

VeriFast is a verifier for single-threaded and multithreaded C and Java programs. It takes a C or Java program annotated with preconditions and postconditions in a separation logic notation, and verifies statically that these preconditions and postconditions hold, using symbolic execution. In plain separation logic, a thread either has full ownership of a memory location and knows the value at ...

Ownership systems express hierarchical data structures well but can have difficulty expressing relationships between peers. Relationships systems, on the other hand, do not address ownership issues. This paper considers the recent work on relationship systems in the context of ownership, and presents ideas for adding ownership to relationship systems.

Programs to enhance nontimber services increasingly focus on nonindustrial private forest (NIPF) owners. These owners are believed to possess multiple objectives, causing them to respond to economic forces and policies in complex and unpredictable ways. We examine NIPF owners in western Oregon and western Washington, using a survey to document their forest ownership objectives and willingness t...

Parents of pediatric patients attending regional otologic medical clinics were given a questionnaire to document family risk factors predictive of poor appointment attendance, and to determine barriers which caused non-attendance of medical appointments. Family risk factors which affected clinic attendance were studied using univariate and multivariate analyses. Univariate analyses revealed all...

This paper proposes a new channel to explain the positive price-volume correlation in the housing market. I study a simple overlapping generations model in the presence of heterogeneous agents. In the model, (i) consumer investors are forward looking and heterogeneous both in their holding periods and in their ownership preference, (ii) the underlying time varying macro fundamental is persisten...

Auto ownership is a critical mediating link in the connection between the built environment and travel behavior: the built environment presumably influences auto ownership, which in turn impacts travel behavior. However, the way in which individual elements of the built environment affect auto-ownership choices is far from understood. Further, residential self-selection may confound the interac...