Publications
Measuring the impact of Spectre and Meltdown
Summary
Summary
The Spectre and Meltdown flaws in modern microprocessors represent a new class of attacks that have been difficult to mitigate. The mitigations that have been proposed have known performance impacts. The reported magnitude of these impacts varies depending on the industry sector and expected workload characteristics. In this paper, we...
Linear and rotational microhydraulic actuators driven by electrowetting
Summary
Summary
Microhydraulic actuators offer a new way to convert electrical power to mechanical power on a microscale with an unmatched combination of power density and efficiency. Actuators work by combining surface tension force contributions from a large number of droplets distorted by electrowetting electrodes. This paper reports on the behavior of...
Neural network topologies for sparse training
Summary
Summary
The sizes of deep neural networks (DNNs) are rapidly outgrowing the capacity of hardware to store and train them. Research over the past few decades has explored the prospect of sparsifying DNNs before, during, and after training by pruning edges from the underlying topology. The resulting neural network is known...
Don't even ask: database access control through query control
Summary
Summary
This paper presents a vision and description for query control, which is a paradigm for database access control. In this model, individual queries are examined before being executed and are either allowed or denied by a pre-defined policy. Traditional view-based database access control requires the enforcer to view the query...
Human-machine collaborative optimization via apprenticeship scheduling
Summary
Summary
Coordinating agents to complete a set of tasks with intercoupled temporal and resource constraints is computationally challenging, yet human domain experts can solve these difficult scheduling problems using paradigms learned through years of apprenticeship. A process for manually codifying this domain knowledge within a computational framework is necessary to scale...
Valleytronics: opportunities, challenges, and paths forward
Summary
Summary
A lack of inversion symmetry coupled with the presence of time-reversal symmetry endows 2D transition metal dichalcogenides with individually addressable valleys in momentum space at the K and K' points in the first Brillouin zone. This valley addressability opens up the possibility of using the momentum state of electrons, holes...
Fuel production systems for remote areas via an aluminum energy vector
Summary
Summary
Autonomous fuel synthesis in remote locations remains the Holy Grail of fuel delivery logistics. The burdened cost of delivering fuel to remote locations is often significantly more expensive than the purchase price. Here it is shown that newly developed solid aluminum metal fuel is suited for remote production of liquid...
Modeling and validation of a mm-wave shaped dielectric lens antenna
Summary
Summary
The modeling and validation of a 33 GHz shaped dielectric antenna design is investigated. The electromagnetic modeling was performed in both WIPL-D and FEKO, and was used to validate the antenna design prior to fabrication of the lens. It is shown that both WIPL-D and FEKO yield similarly accurate results...
Colorization of H&E stained tissue using deep learning
Summary
Summary
Histopathology is a critical tool in the diagnosis and stratification of cancer. Digital Pathology involves the scanning of stained and fixed tissue samples to produce high-resolution images that can be used for computer-aided diagnosis and research. A common challenge in digital pathology related to the quality and characteristics of staining...
Detecting intracranial hemorrhage with deep learning
Summary
Summary
Initial results are reported on automated detection of intracranial hemorrhage from CT, which would be valuable in a computer-aided diagnosis system to help the radiologist detect subtle hemorrhages. Previous work has taken a classic approach involving multiple steps of alignment, image processing, image corrections, handcrafted feature extraction, and classification. Our...