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)
Distributed Programming in Scala with APGAS
Philippe Suter,
Olivier Tardieu
, and Josh Milthorpe
(IBM Research, USA)
Types and Verification
Counter-Example Complete Verification for Higher-Order Functions
Nicolas Voirol, Etienne Kneuss, and
Viktor Kuncak
(EPFL, Switzerland)
Referential Integrity with Scala Types
Patrick Prémont
(BoldRadius Solutions, Canada)
Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface
Régis Blanc and
Viktor Kuncak
(EPFL, Switzerland)
Generative Programming
Fold-Based Fusion as a Library: A Generative Programming Pearl
Manohar Jonnalagedda and Sandro Stucki
(EPFL, Switzerland)
ESPeciaL: An Embedded Systems Programming Language
Christopher Métrailler and Pierre-André Mudry
(University of Applied Sciences Western Switzerland, Switzerland)
proc time: 0.65
