William J. Bowman

  • Citations Per Year
Learn More
The dependency core calculus (DCC) is a framework for studying a variety of dependency analyses (e.g., secure information flow). The key property provided by DCC is noninterference, which guarantees that a low-level observer (attacker) cannot distinguish high-level (protected) computations. The proof of noninterference for DCC suggests a connection to(More)
Ionic heterostructures are used as a strain-modulated memristive device based on the model system Gd0.1 Ce0.9 O2-δ /Er2 O3 to set and tune the property of "memristance." The modulation of interfacial strain and the interface count is used to engineer the Roff /Ron ratio and the persistence of the system. A model describing the variation of mixed(More)
We describe a method to perform high spatial resolution measurement of the position and density of inter-band impurity states in non-stoichiometric oxides using ultra-high energy resolution electron energy-loss spectroscopy (EELS). This can be employed to study optical and electronic properties of atomic and nanoscale defects in electrically-conducting and(More)
Stress and strain in thin films of Pr0.1Ce0.9O2-δ, supported on yttria stabilized zirconia (YSZ) and sapphire substrates, induced by large deviations from oxygen stoichiometry (δ = 0) were investigated by in situ high temperature X-ray diffraction and wafer curvature studies. The measured stresses and strains were correlated with change in δ, measured in(More)
  • 1