Systems and language support for building correct, high performance distributed systems. - Charles Edwin Killian Jr (2008)