Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/scala/Ashouri20,
  author       = {Mohammadreza Ashouri},
  editor       = {Guido Salvaneschi and
                  Nada Amin},
  title        = {Kaizen: a scalable concolic fuzzing tool for Scala},
  booktitle    = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426426.3428487},
  doi          = {10.1145/3426426.3428487},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/Ashouri20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scala/Darulova20,
  author       = {Eva Darulova},
  editor       = {Guido Salvaneschi and
                  Nada Amin},
  title        = {Towards a sound approximating compiler for numerical kernels (keynote)},
  booktitle    = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426426.3434065},
  doi          = {10.1145/3426426.3434065},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/Darulova20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scala/LaddadS20,
  author       = {Shadaj Laddad and
                  Koushik Sen},
  editor       = {Guido Salvaneschi and
                  Nada Amin},
  title        = {ScalaPy: seamless Python interoperability for cross-platform Scala
                  programs},
  booktitle    = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426426.3428485},
  doi          = {10.1145/3426426.3428485},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scala/LaddadS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scala/Merritt20,
  author       = {Alexander Merritt},
  editor       = {Guido Salvaneschi and
                  Nada Amin},
  title        = {ONNX-Scala: typeful, functional deep learning / Dotty meets an open
                  {AI} standard (open-source talk)},
  booktitle    = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020},
  pages        = {33},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426426.3434120},
  doi          = {10.1145/3426426.3434120},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/Merritt20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scala/StuckiBDO20,
  author       = {Nicolas Stucki and
                  Aggelos Biboudis and
                  S{\'{e}}bastien Doeraene and
                  Martin Odersky},
  editor       = {Guido Salvaneschi and
                  Nada Amin},
  title        = {Semantics-preserving inlining for metaprogramming},
  booktitle    = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020},
  pages        = {14--24},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426426.3428486},
  doi          = {10.1145/3426426.3428486},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/StuckiBDO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/scala/2020,
  editor       = {Guido Salvaneschi and
                  Nada Amin},
  title        = {{SPLASH} '20: Conference on Systems, Programming, Languages, and Applications,
                  Software for Humanity, Virtual Event, USA, November, 2020},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3426426},
  doi          = {10.1145/3426426},
  isbn         = {978-1-4503-8177-2},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scala/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}