Proceedings of an ACM conference on Language design for reliable software