Powered by
Conference Publishing Consulting

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

Workshop SCALA 2015 – Author Index

Contents - Abstracts - Authors

B J K M P S T V

Blanc, Régis SCALA'15: "Sound Reasoning about Integral ..."
Jonnalagedda, Manohar SCALA'15: "Fold-Based Fusion as a Library: ..."
Kneuss, Etienne SCALA'15: "Counter-Example Complete Verification ..."
Kuncak, Viktor SCALA'15: "Counter-Example Complete Verification ..." SCALA'15: "Sound Reasoning about Integral ..."
Métrailler, Christopher SCALA'15: "ESPeciaL: An Embedded Systems ..."
Milthorpe, Josh SCALA'15: "Distributed Programming in ..."
Mudry, Pierre-André SCALA'15: "ESPeciaL: An Embedded Systems ..."
Prémont, Patrick SCALA'15: "Referential Integrity with ..."
Prokopec, Aleksandar SCALA'15: "SnapQueue: Lock-Free Queue ..."
Stucki, Sandro SCALA'15: "Fold-Based Fusion as a Library: ..."
Suter, Philippe SCALA'15: "Distributed Programming in ..."
Tardieu, Olivier SCALA'15: "Distributed Programming in ..."
Voirol, Nicolas SCALA'15: "Counter-Example Complete Verification ..."

13 authors

proc time: 0.07