_id,doi,title
1498,10.4230/LIPIcs.SNAPL.2015.90,The need for language support for fault-tolerant distributed systems