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.14