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 ..." The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Anthony M. Sloane, Franck Cassez, and Scott Buckley (Macquarie University, Australia) @InProceedings{SCALA16p111, author = {Anthony M. Sloane and Franck Cassez and Scott Buckley}, title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: scala16main-main5-p doi:
	Cassez, Franck	SCALA '16: "The sbt-rats Parser Generator ..." The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Anthony M. Sloane, Franck Cassez, and Scott Buckley (Macquarie University, Australia) @InProceedings{SCALA16p111, author = {Anthony M. Sloane and Franck Cassez and Scott Buckley}, title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: scala16main-main5-p doi:
	De Meuter, Wolfgang	SCALA '16: "Building a Modular Static ..." Building a Modular Static Analysis Framework in Scala (Tool Paper) Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover (Vrije Universiteit Brussel, Belgium) @InProceedings{SCALA16p106, author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover}, title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2016}, } Article: scala16main-main2-p doi:
	De Roover, Coen	SCALA '16: "Building a Modular Static ..." Building a Modular Static Analysis Framework in Scala (Tool Paper) Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover (Vrije Universiteit Brussel, Belgium) @InProceedings{SCALA16p106, author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover}, title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2016}, } Article: scala16main-main2-p doi:
	Doeraene, Sébastien	SCALA '16: "Semantics-Driven Interoperability ..." Semantics-Driven Interoperability between Scala.js and JavaScript Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki (EPFL, Switzerland) @InProceedings{SCALA16p86, author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki}, title = {Semantics-Driven Interoperability between Scala.js and JavaScript}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, } Article: scala16main-main28-p doi:
	Eichberg, Michael	SCALA '16: "Reactive Async: Expressive ..." Reactive Async: Expressive Deterministic Concurrency Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi (KTH, Sweden; TU Darmstadt, Germany) @InProceedings{SCALA16p11, author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi}, title = {Reactive Async: Expressive Deterministic Concurrency}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2016}, } Article: scala16main-main14-p doi:
	Eugster, Patrick	SCALA '16: "SecureScala: Scala Embedding ..." SecureScala: Scala Embedding of Secure Computations Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi (Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany) @InProceedings{SCALA16p76, author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi}, title = {SecureScala: Scala Embedding of Secure Computations}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2016}, } Article: scala16main-main25-p doi:
	Geries, Simon	SCALA '16: "Reactive Async: Expressive ..." Reactive Async: Expressive Deterministic Concurrency Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi (KTH, Sweden; TU Darmstadt, Germany) @InProceedings{SCALA16p11, author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi}, title = {Reactive Async: Expressive Deterministic Concurrency}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2016}, } Article: scala16main-main14-p doi:
	Haller, Philipp	SCALA '16: "Reactive Async: Expressive ..." Reactive Async: Expressive Deterministic Concurrency Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi (KTH, Sweden; TU Darmstadt, Germany) @InProceedings{SCALA16p11, author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi}, title = {Reactive Async: Expressive Deterministic Concurrency}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2016}, } Article: scala16main-main14-p doi:
	Hauck, Markus	SCALA '16: "SecureScala: Scala Embedding ..." SecureScala: Scala Embedding of Secure Computations Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi (Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany) @InProceedings{SCALA16p76, author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi}, title = {SecureScala: Scala Embedding of Secure Computations}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2016}, } Article: scala16main-main25-p doi:
	Kuncak, Viktor	SCALA '16: "SMT-Based Checking of Predicate-Qualified ..." SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA16p31, author = {Georg Stefan Schmid and Viktor Kuncak}, title = {SMT-Based Checking of Predicate-Qualified Types for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, } Article: scala16main-main17-p doi:
	Lippe, Tim van der	SCALA '16: "A Scalable Infrastructure ..." A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{SCALA16p66, author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser}, title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: scala16main-main24-p doi:
	Liu, Fengyun	SCALA '16: "A Generic Algorithm for Checking ..." A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Fengyun Liu (EPFL, Switzerland) @InProceedings{SCALA16p61, author = {Fengyun Liu}, title = {A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: scala16main-main23-p doi:
	Madhavan, Ravichandhran	SCALA '16: "A Scala Library for Testing ..." A Scala Library for Testing Student Assignments on Concurrent Programming Mikaël Mayer and Ravichandhran Madhavan (EPFL, Switzerland) @InProceedings{SCALA16p1, author = {Mikaël Mayer and Ravichandhran Madhavan}, title = {A Scala Library for Testing Student Assignments on Concurrent Programming}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: scala16main-main9-p doi:
	Martres, Guillaume	SCALA '16: "Implementing Higher-Kinded ..." Implementing Higher-Kinded Types in Dotty Martin Odersky, Guillaume Martres, and Dmitry Petrashko (EPFL, Switzerland) @InProceedings{SCALA16p51, author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko}, title = {Implementing Higher-Kinded Types in Dotty}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2016}, } Article: scala16main-main21-p doi:
	Mayer, Mikaël	SCALA '16: "A Scala Library for Testing ..." A Scala Library for Testing Student Assignments on Concurrent Programming Mikaël Mayer and Ravichandhran Madhavan (EPFL, Switzerland) @InProceedings{SCALA16p1, author = {Mikaël Mayer and Ravichandhran Madhavan}, title = {A Scala Library for Testing Student Assignments on Concurrent Programming}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: scala16main-main9-p doi:
	Mehta, Farhad	SCALA '16: "Scaps: Type-Directed API Search ..." Scaps: Type-Directed API Search for Scala Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker (1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland) @InProceedings{SCALA16p96, author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker}, title = {Scaps: Type-Directed API Search for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {96-95}, doi = {}, year = {2016}, } Article: scala16main-main29-p doi:
	Mezini, Mira	SCALA '16: "SecureScala: Scala Embedding ..." SecureScala: Scala Embedding of Secure Computations Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi (Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany) @InProceedings{SCALA16p76, author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi}, title = {SecureScala: Scala Embedding of Secure Computations}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2016}, } Article: scala16main-main25-p doi:
	Nicolay, Jens	SCALA '16: "Building a Modular Static ..." Building a Modular Static Analysis Framework in Scala (Tool Paper) Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover (Vrije Universiteit Brussel, Belgium) @InProceedings{SCALA16p106, author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover}, title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2016}, } Article: scala16main-main2-p doi:
	Odersky, Martin	SCALA '16: "Implementing Higher-Kinded ..." Implementing Higher-Kinded Types in Dotty Martin Odersky, Guillaume Martres, and Dmitry Petrashko (EPFL, Switzerland) @InProceedings{SCALA16p51, author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko}, title = {Implementing Higher-Kinded Types in Dotty}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2016}, } Article: scala16main-main21-p doi:
	Ofenbeck, Georg	SCALA '16: "RandIR: Differential Testing ..." RandIR: Differential Testing for Embedded Compilers Georg Ofenbeck, Tiark Rompf, and Markus Püschel (ETH Zurich, Switzerland; Purdue University, USA) @InProceedings{SCALA16p21, author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel}, title = {RandIR: Differential Testing for Embedded Compilers}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, } Article: scala16main-main16-p doi:
	Pelsmaeker, Daniël	SCALA '16: "A Scalable Infrastructure ..." A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{SCALA16p66, author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser}, title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: scala16main-main24-p doi:
	Petrashko, Dmitry	SCALA '16: "Implementing Higher-Kinded ..." Implementing Higher-Kinded Types in Dotty Martin Odersky, Guillaume Martres, and Dmitry Petrashko (EPFL, Switzerland) @InProceedings{SCALA16p51, author = {Martin Odersky and Guillaume Martres and Dmitry Petrashko}, title = {Implementing Higher-Kinded Types in Dotty}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2016}, } Article: scala16main-main21-p doi:
	Püschel, Markus	SCALA '16: "RandIR: Differential Testing ..." RandIR: Differential Testing for Embedded Compilers Georg Ofenbeck, Tiark Rompf, and Markus Püschel (ETH Zurich, Switzerland; Purdue University, USA) @InProceedings{SCALA16p21, author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel}, title = {RandIR: Differential Testing for Embedded Compilers}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, } Article: scala16main-main16-p doi:
	Rompf, Tiark	SCALA '16: "RandIR: Differential Testing ..." RandIR: Differential Testing for Embedded Compilers Georg Ofenbeck, Tiark Rompf, and Markus Püschel (ETH Zurich, Switzerland; Purdue University, USA) @InProceedings{SCALA16p21, author = {Georg Ofenbeck and Tiark Rompf and Markus Püschel}, title = {RandIR: Differential Testing for Embedded Compilers}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, } Article: scala16main-main16-p doi: SCALA '16: "Reflections on LMS: Exploring ..." Reflections on LMS: Exploring Front-End Alternatives Tiark Rompf (Purdue University, USA) @InProceedings{SCALA16p41, author = {Tiark Rompf}, title = {Reflections on LMS: Exploring Front-End Alternatives}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: scala16main-main18-p doi:
	Salvaneschi, Guido	SCALA '16: "Reactive Async: Expressive ..." Reactive Async: Expressive Deterministic Concurrency Philipp Haller, Simon Geries, Michael Eichberg, and Guido Salvaneschi (KTH, Sweden; TU Darmstadt, Germany) @InProceedings{SCALA16p11, author = {Philipp Haller and Simon Geries and Michael Eichberg and Guido Salvaneschi}, title = {Reactive Async: Expressive Deterministic Concurrency}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2016}, } Article: scala16main-main14-p doi: SCALA '16: "SecureScala: Scala Embedding ..." SecureScala: Scala Embedding of Secure Computations Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi (Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany) @InProceedings{SCALA16p76, author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi}, title = {SecureScala: Scala Embedding of Secure Computations}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2016}, } Article: scala16main-main25-p doi:
	Savvides, Savvas	SCALA '16: "SecureScala: Scala Embedding ..." SecureScala: Scala Embedding of Secure Computations Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, and Guido Salvaneschi (Codecentric, Germany; Purdue University, USA; TU Darmstadt, Germany) @InProceedings{SCALA16p76, author = {Markus Hauck and Savvas Savvides and Patrick Eugster and Mira Mezini and Guido Salvaneschi}, title = {SecureScala: Scala Embedding of Secure Computations}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {76-75}, doi = {}, year = {2016}, } Article: scala16main-main25-p doi:
	Schlatter, Tobias	SCALA '16: "Semantics-Driven Interoperability ..." Semantics-Driven Interoperability between Scala.js and JavaScript Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki (EPFL, Switzerland) @InProceedings{SCALA16p86, author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki}, title = {Semantics-Driven Interoperability between Scala.js and JavaScript}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, } Article: scala16main-main28-p doi:
	Schmid, Georg Stefan	SCALA '16: "SMT-Based Checking of Predicate-Qualified ..." SMT-Based Checking of Predicate-Qualified Types for Scala Georg Stefan Schmid and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA16p31, author = {Georg Stefan Schmid and Viktor Kuncak}, title = {SMT-Based Checking of Predicate-Qualified Types for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2016}, } Article: scala16main-main17-p doi:
	Sloane, Anthony M.	SCALA '16: "The sbt-rats Parser Generator ..." The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Anthony M. Sloane, Franck Cassez, and Scott Buckley (Macquarie University, Australia) @InProceedings{SCALA16p111, author = {Anthony M. Sloane and Franck Cassez and Scott Buckley}, title = {The sbt-rats Parser Generator Plugin for Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2016}, } Article: scala16main-main5-p doi:
	Smith, Thomas	SCALA '16: "A Scalable Infrastructure ..." A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{SCALA16p66, author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser}, title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: scala16main-main24-p doi:
	Sommerlad, Peter	SCALA '16: "Scaps: Type-Directed API Search ..." Scaps: Type-Directed API Search for Scala Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker (1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland) @InProceedings{SCALA16p96, author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker}, title = {Scaps: Type-Directed API Search for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {96-95}, doi = {}, year = {2016}, } Article: scala16main-main29-p doi:
	Stiévenart, Quentin	SCALA '16: "Building a Modular Static ..." Building a Modular Static Analysis Framework in Scala (Tool Paper) Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover (Vrije Universiteit Brussel, Belgium) @InProceedings{SCALA16p106, author = {Quentin Stiévenart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover}, title = {Building a Modular Static Analysis Framework in Scala (Tool Paper)}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {106-105}, doi = {}, year = {2016}, } Article: scala16main-main2-p doi:
	Stocker, Mirko	SCALA '16: "Scaps: Type-Directed API Search ..." Scaps: Type-Directed API Search for Scala Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker (1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland) @InProceedings{SCALA16p96, author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker}, title = {Scaps: Type-Directed API Search for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {96-95}, doi = {}, year = {2016}, } Article: scala16main-main29-p doi:
	Stucki, Nicolas	SCALA '16: "Semantics-Driven Interoperability ..." Semantics-Driven Interoperability between Scala.js and JavaScript Sébastien Doeraene, Tobias Schlatter, and Nicolas Stucki (EPFL, Switzerland) @InProceedings{SCALA16p86, author = {Sébastien Doeraene and Tobias Schlatter and Nicolas Stucki}, title = {Semantics-Driven Interoperability between Scala.js and JavaScript}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {86-85}, doi = {}, year = {2016}, } Article: scala16main-main28-p doi:
	Visser, Eelco	SCALA '16: "A Scalable Infrastructure ..." A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Tim van der Lippe, Thomas Smith, Daniël Pelsmaeker, and Eelco Visser (Delft University of Technology, Netherlands) @InProceedings{SCALA16p66, author = {Tim van der Lippe and Thomas Smith and Daniël Pelsmaeker and Eelco Visser}, title = {A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {66-65}, doi = {}, year = {2016}, } Article: scala16main-main24-p doi:
	Wegmann, Lukas	SCALA '16: "Scaps: Type-Directed API Search ..." Scaps: Type-Directed API Search for Scala Lukas Wegmann, Farhad Mehta, Peter Sommerlad, and Mirko Stocker (1plusX, Switzerland; University of Applied Sciences Rapperswil, Switzerland) @InProceedings{SCALA16p96, author = {Lukas Wegmann and Farhad Mehta and Peter Sommerlad and Mirko Stocker}, title = {Scaps: Type-Directed API Search for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {96-95}, doi = {}, year = {2016}, } Article: scala16main-main29-p doi:

39 authors

proc time: 0.05