Benjamin Chambers

Learn More
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encoded using arbitrary Boolean expressions, but to use modern SAT solvers, one has to generate expressions in Conjunctive Normal Form (CNF). This process can significantly affect SAT(More)
The trans-translation pathway for protein tagging and ribosome release plays a critical role for viability and virulence in a wide range of pathogens but is not found in animals. To explore the use of trans-translation as a target for antibiotic development, a high-throughput screen and secondary screening assays were used to identify small molecule(More)
Influenza viruses typically cause the most severe disease in children and elderly individuals. However, H1N1 viruses disproportionately affected middle-aged adults during the 2013-2014 influenza season. Although H1N1 viruses recently acquired several mutations in the hemagglutinin (HA) glycoprotein, classic serological tests used by surveillance(More)
Prior to serological testing, influenza viruses are typically propagated in eggs or cell culture. Recent human H3N2 strains bind to cells with low avidity. Here, we isolated nine primary H3N2 viral isolates from respiratory secretions of children. Upon propagation in vitro, five of these isolates acquired hemagglutinin or neuraminidase mutations that(More)
Influenza vaccines must be updated regularly because influenza viruses continuously acquire mutations in antibody binding sites of hemagglutinin (HA). The majority of H3N2 strains circulating in the Northern Hemisphere during the 2014-2015 season are antigenically mismatched to the A/Texas/50/2012 H3N2 vaccine strain. Recent H3N2 strains possess several new(More)
We present and discuss techniques for performing and improving the model-checking of higher-order, functional programs based upon abstract interpretation [4]. We use continuation-passing-style conversion to produce an abstractable state machine, and then utilize abstract garbage collection and abstract counting [9] to indirectly prune false branches in the(More)
Influenza virus infections are responsible for more than 250,000 deaths annually. Influenza virus isolation, propagation, and characterization protocols are critical for completing reproducible basic research studies and for generating vaccine seed stocks. Detailed protocols for the isolation and identification of influenza virus have been recently reported(More)
Viral infections are a major cause of human disease, but many require molecular assays for conclusive diagnosis. Current assays typically rely on RT-PCR or ELISA; however, these tests often have limited speed, sensitivity or specificity. Here, we demonstrate that rapid RNA FISH is a viable alternative method that could improve upon these limitations. We(More)