The end of classical transistor scaling laws (i.e. Dennard Scaling) means that radical new approaches to computing systems are desperately needed.  Professor Sherwood and his lab have been developing systems for this new era which use application-customization to achieve efficiency, exploit new devices and materials for new computational abilities, and attempt to provide functionality beyond performance such as provable security properties.  In 2010, his team built the first full hardware/software system with gate-level verifiable information flow properties.  Other recent work includes software profiling/debugging peripherals, nanophotonic and plasmonic interconnect architectures, networks on-chip, information flow visualization, low-power and mobile processing, sketch based software interfaces, high throughput streaming analysis architectures, and MEMS sensor closed-loop control architectures.