Powered by
Conference Publishing Consulting

2016 7th ACM SIGPLAN Scala Symposium (SCALA 2016), October 30–31, 2016, Amsterdam, Netherlands

SCALA 2016 – Author Index

Contents - Abstracts - Authors

B C D E G H K L M N O P R S V W

Buckley, Scott SCALA'16: "The sbt-rats Parser Generator ..."
Cassez, Franck SCALA'16: "The sbt-rats Parser Generator ..."
De Meuter, Wolfgang SCALA'16: "Building a Modular Static ..."
De Roover, Coen SCALA'16: "Building a Modular Static ..."
Doeraene, Sébastien SCALA'16: "Semantics-Driven Interoperability ..."
Eichberg, Michael SCALA'16: "Reactive Async: Expressive ..."
Eugster, Patrick SCALA'16: "SecureScala: Scala Embedding ..."
Geries, Simon SCALA'16: "Reactive Async: Expressive ..."
Haller, Philipp SCALA'16: "Reactive Async: Expressive ..."
Hauck, Markus SCALA'16: "SecureScala: Scala Embedding ..."
Kuncak, Viktor SCALA'16: "SMT-Based Checking of Predicate-Qualified ..."
Lippe, Tim van der SCALA'16: "A Scalable Infrastructure ..."
Liu, Fengyun SCALA'16: "A Generic Algorithm for Checking ..."
Madhavan, Ravichandhran SCALA'16: "A Scala Library for Testing ..."
Martres, Guillaume SCALA'16: "Implementing Higher-Kinded ..."
Mayer, Mikaël SCALA'16: "A Scala Library for Testing ..."
Mehta, Farhad SCALA'16: "Scaps: Type-Directed API Search ..."
Mezini, Mira SCALA'16: "SecureScala: Scala Embedding ..."
Nicolay, Jens SCALA'16: "Building a Modular Static ..."
Odersky, Martin SCALA'16: "Implementing Higher-Kinded ..."
Ofenbeck, Georg SCALA'16: "RandIR: Differential Testing ..."
Pelsmaeker, Daniël SCALA'16: "A Scalable Infrastructure ..."
Petrashko, Dmitry SCALA'16: "Implementing Higher-Kinded ..."
Püschel, Markus SCALA'16: "RandIR: Differential Testing ..."
Rompf, Tiark SCALA'16: "RandIR: Differential Testing ..." SCALA'16: "Reflections on LMS: Exploring ..."
Salvaneschi, Guido SCALA'16: "Reactive Async: Expressive ..." SCALA'16: "SecureScala: Scala Embedding ..."
Savvides, Savvas SCALA'16: "SecureScala: Scala Embedding ..."
Schlatter, Tobias SCALA'16: "Semantics-Driven Interoperability ..."
Schmid, Georg Stefan SCALA'16: "SMT-Based Checking of Predicate-Qualified ..."
Sloane, Anthony M. SCALA'16: "The sbt-rats Parser Generator ..."
Smith, Thomas SCALA'16: "A Scalable Infrastructure ..."
Sommerlad, Peter SCALA'16: "Scaps: Type-Directed API Search ..."
Stiévenart, Quentin SCALA'16: "Building a Modular Static ..."
Stocker, Mirko SCALA'16: "Scaps: Type-Directed API Search ..."
Stucki, Nicolas SCALA'16: "Semantics-Driven Interoperability ..."
Visser, Eelco SCALA'16: "A Scalable Infrastructure ..."
Wegmann, Lukas SCALA'16: "Scaps: Type-Directed API Search ..."

37 authors

proc time: 0.09