publication venue for Safe Stream-Based Programming with Refinement Types 2018 Social Trust: a Major Challenge for the Future of Autonomous Systems 2016 Symbolic Deadlock Analysis in Concurrent Libraries and their Clients 2009