SCALA@SPLASH - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 60 from 60

2022

2021

2020

2019

SoCRATES: Scala radar for test smellsJonas De Bleser, Dario Di Nucci, Coen De Roover. SCALA 2019: 22-26 [doi]

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, Scala@ECOOP 2019, London, UK, July 17, 2019Jonathan Immanuel Brachthäuser, Sukyoung Ryu, Nathaniel Nystrom, editors, ACM, 2019. [doi]

Dependent object types with implicit functionsAlex Jeffery. SCALA 2019: 1-11 [doi]

Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator traitKonstantin Läufer, John O'Sullivan, George K. Thiruvathukal. SCALA 2019: 17-21 [doi]

Towards improved GADT reasoning in ScalaLionel Parreaux, Aleksander Boruch-Gruszecki, Paolo G. Giarrusso. SCALA 2019: 12-16 [doi]

Effpi: verified message-passing programs in DottyAlceste Scalas, Nobuko Yoshida, Elias Benussi. SCALA 2019: 27-31 [doi]

2018

Cross-platform language design in Scala.js (keynote)Sébastien Doeraene. SCALA 2018: 1 [doi]

A domain-specific language for microservicesJacob Donham. SCALA 2018: 2-12 [doi]

Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018Sebastian Erdweg, Bruno C. D. S. Oliveira, editors, ACM, 2018. [doi]

Path dependent types with path-equalityJaemin Hong, Jihyeok Park, Sukyoung Ryu. SCALA 2018: 35-39 [doi]

κDOT: scaling DOT with mutation and constructorsIfaz Kabir, Ondrej Lhoták. SCALA 2018: 40-50 [doi]

Extending Scala with records: design, implementation, and evaluationOlof Karlsson, Philipp Haller. SCALA 2018: 72-82 [doi]

Initialization patterns in DottyFengyun Liu, Aggelos Biboudis, Martin Odersky. SCALA 2018: 51-55 [doi]

Interflow: interprocedural flow-sensitive type inference and method duplicationDenys Shabalin, Martin Odersky. SCALA 2018: 61-71 [doi]

Truly abstract interfaces for algebraic data types: the extractor typing problemNicolas Stucki, Paolo G. Giarrusso, Martin Odersky. SCALA 2018: 56-60 [doi]

Parser combinators for context-free path queryingEkaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, Semyon Grigorev. SCALA 2018: 13-23 [doi]

Garnishing parsec with parsleyJamie Willis, Nicolas Wu. SCALA 2018: 24-34 [doi]

2017

Effekt: extensible algebraic effects in Scala (short paper)Jonathan Immanuel Brachthäuser, Philipp Schuster. SCALA 2017: 67-72 [doi]

ScalaSMT: satisfiability modulo theory in Scala (tool paper)Franck Cassez, Anthony M. Sloane. SCALA 2017: 51-55 [doi]

The limitations of type classes as subtyped implicits (short paper)Adelbert Chang. SCALA 2017: 8-12 [doi]

Typesafe abstractions for tensor operations (short paper)Tongfei Chen. SCALA 2017: 45-50 [doi]

Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper)Lars Kroll, Paris Carbone, Seif Haridi. SCALA 2017: 73-77 [doi]

Interactive development using the Dotty compiler (tool paper)Guillaume Martres. SCALA 2017: 41-44 [doi]

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017Heather Miller, Philipp Haller, Ondrej Lhoták, editors, ACM, 2017. [doi]

Towards algorithmic typing for DOT (short paper)Abel Nieto. SCALA 2017: 2-7 [doi]

A Scala framework for supercompilationNathaniel Nystrom. SCALA 2017: 18-28 [doi]

Rust-like borrowing with 2nd-class values (short paper)Leo Osvald, Tiark Rompf. SCALA 2017: 13-17 [doi]

Squid: type-safe, hygienic, and reusable quasiquotesLionel Parreaux, Amir Shaikhha, Christoph E. Koch. SCALA 2017: 56-66 [doi]

Making collection operations optimal with aggressive JIT compilationAleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger. SCALA 2017: 29-40 [doi]

Spark and Scala (keynote)Reynold Xin. SCALA 2017: 1 [doi]

2016

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche, editors, ACM, 2016. [doi]

Semantics-driven interoperability between Scala.js and JavaScriptSébastien Doeraene, Tobias Schlatter, Nicolas Stucki. SCALA 2016: 85-94 [doi]

Reactive Async: expressive deterministic concurrencyPhilipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi. SCALA 2016: 11-20 [doi]

SecureScala: Scala embedding of secure computationsMarkus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi. SCALA 2016: 75-84 [doi]

A generic algorithm for checking exhaustivity of pattern matching (short paper)Fengyun Liu. SCALA 2016: 61-64 [doi]

A Scala library for testing student assignments on concurrent programmingMikaël Mayer, Ravichandhran Madhavan. SCALA 2016: 1-10 [doi]

Implementing higher-kinded types in DottyMartin Odersky, Guillaume Martres, Dmitry Petrashko. SCALA 2016: 51-60 [doi]

RandIR: differential testing for embedded compilersGeorg Ofenbeck, Tiark Rompf, Markus Püschel. SCALA 2016: 21-30 [doi]

Reflections on LMS: exploring front-end alternativesTiark Rompf. SCALA 2016: 41-50 [doi]

SMT-based checking of predicate-qualified types for ScalaGeorg Stefan Schmid, Viktor Kuncak. SCALA 2016: 31-40 [doi]

The sbt-rats parser generator plugin for Scala (tool paper)Anthony M. Sloane, Franck Cassez, Scott Buckley. SCALA 2016: 110-113 [doi]

Building a modular static analysis framework in Scala (tool paper)Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. SCALA 2016: 105-109 [doi]

A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience reportTim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser. SCALA 2016: 65-74 [doi]

Scaps: type-directed API search for ScalaLukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker. SCALA 2016: 95-104 [doi]

Sign in or sign up to see more results.

runs on WebDSL