Powered by
Conference Publishing Consulting

6th ACM SIGPLAN Scala Symposium 2015 (SCALA 2015), June 13, 2015, Portland, OR, USA

SCALA 2015 – Proceedings

Contents - Abstracts - Authors

6th ACM SIGPLAN Scala Symposium 2015 (SCALA 2015)

Frontmatter

Title Page
Chairs' Welcome

Concurrency and Distribution

SnapQueue: Lock-Free Queue with Constant Time Snapshots
Aleksandar Prokopec
(EPFL, Switzerland)
Publisher's Version Article Search
Distributed Programming in Scala with APGAS
Philippe Suter, Olivier Tardieu, and Josh Milthorpe
(IBM Research, USA)
Publisher's Version Article Search

Types and Verification

Counter-Example Complete Verification for Higher-Order Functions
Nicolas Voirol, Etienne Kneuss, and Viktor Kuncak
(EPFL, Switzerland)
Publisher's Version Article Search
Referential Integrity with Scala Types
Patrick Prémont
(BoldRadius Solutions, Canada)
Publisher's Version Article Search
Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface
Régis Blanc and Viktor Kuncak
(EPFL, Switzerland)
Publisher's Version Article Search

Generative Programming

Fold-Based Fusion as a Library: A Generative Programming Pearl
Manohar Jonnalagedda and Sandro Stucki
(EPFL, Switzerland)
Publisher's Version Article Search
ESPeciaL: An Embedded Systems Programming Language
Christopher Métrailler and Pierre-André Mudry
(University of Applied Sciences Western Switzerland, Switzerland)
Publisher's Version Article Search

proc time: 0.03