Explores transactional memory and hardware simplification for concurrency control in software, emphasizing the benefits of hardware speculation and declarative concurrency.
Covers the software system Channelflow for numerical analysis of incompressible fluid flow in channel geometries, including spectral methods and invariant solutions.
