SCALA 2015- Proceedings of the 6th ACM SIGPLAN Symposium on Scala

Full Citation in the ACM Digital Library

SESSION: Concurrency and Distribution

SnapQueue: lock-free queue with constant time snapshots

Distributed programming in Scala with APGAS

SESSION: Types and Verification

Counter-example complete verification for higher-order functions

Referential integrity with Scala types

Sound reasoning about integral data types with a reusable SMT solver interface

SESSION: Generative Programming

Fold-based fusion as a library: a generative programming pearl

ESPeciaL: an embedded systems programming language