Bed bugs, Cimex lectularius L., are one of the most difficult urban pests to control. Pest management professionals rely heavily on insecticide sprays and dusts to control bed bugs. Dust formulations are considered to provide longer residual control than sprays. However, there are no scientific data available on the comparative efficacy of the commonly used insecticide dusts. We evaluated the e...

T he most annoying aspect of software development, for me, is debugging. I don’t mind the kinds of bugs that yield to a few minutes’ inspection. The bugs I hate are the ones that show up only after hours of successful operation, under unusual circumstances, or whose stack traces lead to dead ends. Fortunately, there’s a simple technique that will dramatically reduce the number of these bugs in ...

While most debugging techniques focus on patching implementations, there are bugs whose most appropriate corrections consist in fixing the specification to prevent invalid executions—such as to define the correct input domain of a function. In this paper, we present a fully automatic technique that fixes bugs by proposing changes to contracts (simple executable specification elements such as pr...

Populations of the common bed bug, Cimex lectularius, have recently undergone explosive growth. Bed bugs share many important traits with triatomine insects, but it remains unclear whether these similarities include the ability to transmit Trypanosoma cruzi, the etiologic agent of Chagas disease. Here, we show efficient and bidirectional transmission of T. cruzi between hosts and bed bugs in a ...