Software model checking has become a popular tool for verifying programs' behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. However, even state-of-the-art model checkers are limited in use when they report an overwhelming number of false positives, or when their lengthy running time dwarfs other software… (More)
Realizing the theoretical promise of quantum computers will require overcoming decoherence. Here we demonstrate numerically that high fidelity quantum gates are possible within a framework of quantum dynamical decoupling. Orders of magnitude improvement in the fidelities of a universal set of quantum gates, relative to unprotected evolution, is achieved… (More)
As part of this special issue on static analysis, guest editor Brian Chess put together a roundtable discussion with leaders in the field. Here, they discuss their views on where static analysis is today and what's required to make it an effective part of creating secure and reliable software.
among five populations of the southern pine beetle. Annals of Entomo logical Society of America 72: 323-327. in response of southern pine beetle (Coleoptera: Scolytidae) to aggregat ing pheromones in laboratory assays. and evolution of unique satellite-DNA families in two parasitic wasp species: Diadromus pulchellus and Eupelmus vuilleti (Hymenoptera).… (More)