Speed scaling to manage energy and temperature.
Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem.
Polymorphic higher-order recursive path orderings.
The complexity of homomorphism and constraint satisfaction problems seen from the other side.