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

39 authors

proc time: 1.19