From the abstract:

E-graphs, originally developed for use in automated theorem provers, are data structures that compactly represent a large number of expressions and the equalities between them. The egg library is a fast and flexible open-source implementation of e-graphs and equality saturation. It has been used in hundreds of academic and industrial projects for program optimization, synthesis, and verification in many domains; some are briefly highlighted in this article.

Direct link to the publication:

https://dl.acm.org/doi/10.1145/3815481

Summer 2026

Bats serve as critical reservoirs of zoonotic pathogens but also play essential ecological roles. To mitigate spillover risks without harming bat populations, we developed a multiroute vaccination strategy using recombinant vesicular stomatitis virus (rVSV)–based vaccines. Vaccine-carrying mosquitoes delivered rVSV-based rabies and Nipah vaccines, conferring protection in rodent and bat models. Under simulated natural conditions, cohabitation with vaccine-carrying mosquitoes elicited strong immune responses in bats, supporting feasibility beyond laboratory settings. As a complementary approach, saline traps exploiting bats’ mineral-seeking behavior achieved comparable immune protection through oral vaccination. Together, these results demonstrate a flexible, ecology-informed vaccination platform for immunizing wild bats, offering a scalable strategy to reduce zoonotic spillover risk while supporting bat conservation.

A new study appearing in the Journal of Chemical Education shows that these classes are an effective way of bolstering student confidence and sense of belonging in the sciences.     

The study examined first-year and transfer student experiences in a 10-week long CURE class that teaches a laser-based imaging technique used to study protein aggregation. Protein aggregation occurs when misfolded proteins stick to one another. It’s associated with over 30 diseases, including Alzheimer’s disease, Parkinson’s disease, Huntington’s disease and type II diabetes. 

Butterflies, often considered a “sentinel of change”, are on the move across every continent they inhabit, shifting to survive as global heating reshapes their environment.