The paper "Message Safety in Dart" is accepted at DLS'15 10 August 2015 by Jan Rasul Frederiksen Read the abstract DLS'15 symposium website