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

• Aleksandar Prokopec

Distributed programming in Scala with APGAS

• Philippe Suter
• Olivier Tardieu
• Josh Milthorpe

SESSION: Types and Verification

Counter-example complete verification for higher-order functions

• Nicolas Voirol
• Etienne Kneuss
• Viktor Kuncak

Referential integrity with Scala types

• Patrick Prémont

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

• Régis Blanc
• Viktor Kuncak

SESSION: Generative Programming

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

• Manohar Jonnalagedda
• Sandro Stucki

ESPeciaL: an embedded systems programming language

• Christopher Métrailler
• Pierre-André Mudry