any new books

Principles of Concurrent and Distributed Programming (2005)
Principles of the Spin Model Checker (2008)
Essentials of Programming Languages (3rd ed. was 2008)
The Linux Programming Interface (2010)
Cryptography Engineering (2010)
Engineering a Compiler (2011)
SSA book (2011)
Systems Performance: Enterprise and the Cloud (2014)
The Little Prover (2015)
The Little Typer (2018)
Certified Programming With Dependent Types (stable draft)
Algorithms Etc. (stable draft)