Tag #scala
35 papers:
MSR-2019-BleserNR #smell- Assessing diffusion and perception of test smells in scala projects (JDB, DDN, CDR), pp. 457–467.
SANER-2019-PachecoBMNMR #framework #mining #recommendation- Mining Scala Framework Extensions for Recommendation Patterns (YP, JDB, TM, DDN, WDM, CDR), pp. 514–523.
OOPSLA-2019-KrikavaMV #scalability #using- Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild (FK, HM, JV), p. 28.
PEPM-2019-DauthS #haskell- Futures and promises in Haskell and Scala (TD, MS), pp. 68–74.
ECOOP-2016-ScalasY #lightweight #programming- Lightweight Session Programming in Scala (AS, NY), p. 28.
- OOPSLA-2016-AminT #java #null #pointer #type system
- Java and scala's type systems are unsound: the existential crisis of null pointers (NA, RT), pp. 838–848.
- OOPSLA-2016-DoeraeneS #incremental #optimisation #parallel
- Parallel incremental whole-program optimizations for Scala.js (SD, TS), pp. 59–73.
- OOPSLA-2016-HallerL #lightweight #named
- LaCasa: lightweight affinity and object capabilities in Scala (PH, AL), pp. 272–291.
IJCAR-2016-HupelK #higher-order #source code- Translating Scala Programs to Isabelle/HOL - System Description (LH, VK), pp. 568–577.
CEFP-2015-OlahNP #erlang- Analyzing Scale-Free Properties in Erlang and Scala (GO, GN, ZP), pp. 380–393.
- OOPSLA-2015-ToroT #polymorphism
- Customizable gradual polymorphic effects for Scala (MT, ÉT), pp. 935–953.
GTTSE-2015-VandercammenSMR #compilation #framework #jit #named- STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation (MV, QS, WDM, CDR), pp. 223–234.
GPCE-2015-YamaguchiC #metaprogramming- Inverse macro in Scala (HY, SC), pp. 85–94.
CC-2015-SherwanyZN #compilation #library #refactoring- A Refactoring Library for Scala Compiler Extensions (AS, NZ, NN), pp. 31–48.
BX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #transformation language- Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
MoDELS-2014-KrikavaCF #domain-specific language #named- SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
- ECOOP-2014-AliRLDT #graph #source code
- Constructing Call Graphs of Scala Programs (KA, MR, OL, JD, FT), pp. 54–79.
SAC-2014-PotocnikCS #debugging #named #problem- Linter: a tool for finding bugs and potential problems in scala code (MP, UC, BS), pp. 1615–1616.
- ECOOP-2013-TasharofiDJ #concurrent #developer #modelling #question #why
- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? (ST, PD, REJ), pp. 302–326.
- GPCE-2013-OfenbeckRSOP #generative #library #performance #towards
- Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.
ICMT-2012-GeorgeWS #domain-specific language #model transformation #transformation language #type safety- Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.
- PEPM-2012-MoorsRHO
- Scala-virtualized (AM, TR, PH, MO), pp. 117–120.
ICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming- Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
DAC-2012-BachrachVRLWAWA #embedded #hardware #named- Chisel: constructing hardware in a Scala embedded language (JB, HV, BR, YL, AW, RA, JW, KA), pp. 1216–1225.
ISMM-2012-SeweMSABRG #behaviour #comparison #java #memory management #source code- new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
FM-2011-BarringerH #analysis #domain-specific language #named- TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.
- OOPSLA-2011-DarulovaK
- Trustworthy numerical computation in Scala (ED, VK), pp. 325–344.
- OOPSLA-2011-SeweMSB #analysis #benchmark #design #java #metric #virtual machine
- Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (AS, MM, AS, WB), pp. 657–676.
- GPCE-2011-NystromWD #compilation #named #runtime
- Firepile: run-time compilation for GPUs in scala (NN, DW, KD), pp. 107–116.
SLE-2011-Wider #bidirectional #combinator #model transformation #towards- Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.
CADE-2011-KoksalKS #power of #programming #smt- Scala to the Power of Z3: Integrating SMT and Programming (ASK, VK, PS), pp. 400–406.
- SAC-2010-RytzO #design #object-oriented #polymorphism
- Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language (LR, MO), pp. 2090–2095.
- GPCE-2010-HoferO #component #composition #domain-specific language
- Modular domain-specific language components in scala (CH, KO), pp. 83–92.
- SLE-2009-SpiewakZ #database #named #query
- ScalaQL: Language-Integrated Database Queries for Scala (DS, TZ), pp. 154–163.
POPL-2006-Odersky #component #empirical #question- The Scala experiment: can we provide better language support for component systems? (MO), pp. 166–167.
