Capability Myths Demolished [pdf]
2019-06-08
Patterns of Software (1996) [pdf]
2019-06-08
The Saddest Moment (2013) [pdf]
2019-06-06
Report on the Economic Well-Being of U.S. Households in 2018 [pdf]
2019-06-02
Inductive Consensus Tree Protocol: A Scalable Blockchain [pdf]
2019-06-02
RedLeaf: Towards an Operating System for Safe and Verified Firmware [pdf]
2019-06-02
Muddled Information [pdf]
2019-06-02
Muddled Information
2019-06-02
Technological Convergence: Regulatory, Digital Privacy, and Data Security Issues
2019-06-02
Verified Compilation on a Verified Processor [pdf]
2019-06-02