Darpa Assured Autonomy: Continual Assurance of Learning-Enabled Systems (2017)darpa.mil·2 pts·gkuan·0
A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf]mpi-sws.org·18 pts·gkuan·3
A Framework for Implementing and Formally Verifying Distributed Systems [pdf]homes.cs.washington.edu·15 pts·gkuan·1
Micro Virtual Machines as Solid Foundation for Language Developmentlambda-the-ultimate.org·63 pts·gkuan·5
Eve: the dev diary of a programming environment aimed at non-programmerslambda-the-ultimate.org·49 pts·gkuan·27