Pursuing Energy-Efficient Behavior in a Regulatory Environment: Motivating Policymakers, Program Administrators, and Program Implementers

This white paper examines how policymakers, program administrators, and program implementers can be motivated to pursue behavioral change in a regulatory environment. For the purposes of this report, behavior change is defined rather broadly, encompassing both behaviors associated with the purchase and installation of energy efficiency technologies as well as behaviors, decisions, and actions that might be thought of as more independent of technology. These include energy use habits, lifestyle choices, and consumption patterns. The insights and lessons discussed in this paper are drawn from a wide variety of sources including interviews with representatives from the energy and utility communities, and program documentation for energy-related programs and projects

Blazes: Coordination Analysis for Distributed Programs

Distributed consistency is perhaps the most discussed topic in distributed systems today. Coordination protocols can ensure consistency, but in practice they cause undesirable performance unless used judiciously. Scalable distributed architectures avoid coordination whenever possible, but under-coordinated systems can exhibit behavioral anomalies under fault, which are often extremely difficult to debug. This raises significant challenges for distributed system architects and developers. In this paper we present Blazes, a cross-platform program analysis framework that (a) identifies program locations that require coordination to ensure consistent executions, and (b) automatically synthesizes application-specific coordination code that can significantly outperform general-purpose techniques. We present two case studies, one using annotated programs in the Twitter Storm system, and another using the Bloom declarative language.Comment: Updated to include additional materials from the original technical report: derivation rules, output stream label