Techniques for Constructing Efficient Lock-free Data Structures

Building a library of concurrent data structures is an essential way to simplify the difficult task of developing concurrent software. Lock-free data structures, in which processes can help one another to complete operations, offer the following progress guarantee: If processes take infinitely many steps, then infinitely many operations are performed. Handcrafted lock-free data structures can be very efficient, but are notoriously difficult to implement. We introduce numerous tools that support the development of efficient lock-free data structures, and especially trees.Comment: PhD thesis, Univ Toronto (2017

Longitudinal photocurrent spectroscopy of a single GaAs/AlGaAs v-groove quantum wire

Modulation-doped GaAs v-groove quantum wires (QWRs) have been fabricated with novel electrical contacts made to two-dimensional electron-gas (2DEG) reservoirs. Here, we present longitudinal photocurrent (photoconductivity/PC) spectroscopy measurements of a single QWR. We clearly observe conductance in the ground-state one-dimensional subbands; in addition, a highly temperature-dependent response is seen from other structures within the v-groove. The latter phenomenon is attributed to the effects of structural topography and localization on carrier relaxation. The results of power-dependent PC measurements suggest that the QWR behaves as a series of weakly interacting localized states, at low temperatures

Access Control Synthesis for Physical Spaces

Access-control requirements for physical spaces, like office buildings and airports, are best formulated from a global viewpoint in terms of system-wide requirements. For example, "there is an authorized path to exit the building from every room." In contrast, individual access-control components, such as doors and turnstiles, can only enforce local policies, specifying when the component may open. In practice, the gap between the system-wide, global requirements and the many local policies is bridged manually, which is tedious, error-prone, and scales poorly. We propose a framework to automatically synthesize local access control policies from a set of global requirements for physical spaces. Our framework consists of an expressive language to specify both global requirements and physical spaces, and an algorithm for synthesizing local, attribute-based policies from the global specification. We empirically demonstrate the framework's effectiveness on three substantial case studies. The studies demonstrate that access control synthesis is practical even for complex physical spaces, such as airports, with many interrelated security requirements