Powered by

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)

Title Page
Article: pldiws15scalaforeword-fm000-p (type: Frontmatter) doi:

Chairs' Welcome
Article: pldiws15scalaforeword-fm001-p (type: Frontmatter) doi:

SnapQueue: Lock-Free Queue with Constant Time Snapshots
Aleksandar Prokopec
(EPFL, Switzerland)
Article: pldiws15scalamain-scalamainid14-p (type: Full Paper (up to 12 pages)) doi:

Distributed Programming in Scala with APGAS
Philippe Suter, Olivier Tardieu, and Josh Milthorpe
(IBM Research, USA)
Article: pldiws15scalamain-scalamainid8-p (type: Short Paper (5 pages)) doi:

Counter-Example Complete Verification for Higher-Order Functions
Nicolas Voirol, Etienne Kneuss, and Viktor Kuncak
(EPFL, Switzerland)
Article: pldiws15scalamain-scalamainid5-p (type: Full Paper (up to 12 pages)) doi:

Referential Integrity with Scala Types
Patrick Prémont
(BoldRadius Solutions, Canada)
Article: pldiws15scalamain-scalamainid9-p (type: Short Paper (5 pages)) doi:

Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface
Régis Blanc and Viktor Kuncak
(EPFL, Switzerland)
Article: pldiws15scalamain-scalamainid7-p (type: Short Paper (6 pages)) doi:

Fold-Based Fusion as a Library: A Generative Programming Pearl
Manohar Jonnalagedda and Sandro Stucki
(EPFL, Switzerland)
Article: pldiws15scalamain-scalamainid13-p (type: Full Paper (up to 12 pages)) doi:

ESPeciaL: An Embedded Systems Programming Language
Christopher Métrailler and Pierre-André Mudry
(University of Applied Sciences Western Switzerland, Switzerland)
Article: pldiws15scalamain-scalamainid3-p (type: Short Paper (5 pages)) doi:

proc time: 0.01