Search dblp for Publications

export results for "toc:db/conf/sblp/sblp2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sblp/CardosoFB19,
  author       = {Diogo J. Cardoso and
                  Luciana Foss and
                  Andr{\'{e}} Rauber Du Bois},
  title        = {A Graph Transformation System formalism for Software Transactional
                  Memory Opacity},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355387},
  doi          = {10.1145/3355378.3355387},
  timestamp    = {Wed, 09 Oct 2019 17:39:50 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/CardosoFB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/FeitosaMRB19,
  author       = {Samuel da Silva Feitosa and
                  Alejandro Serrano Mena and
                  Rodrigo Geraldo Ribeiro and
                  Andr{\'{e}} Rauber Du Bois},
  title        = {An Inherently-Typed Formalization for Featherweight Java},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {11--18},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355385},
  doi          = {10.1145/3355378.3355385},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/FeitosaMRB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/GuimaraesMSP19,
  author       = {Breno Campos Ferreira Guimar{\~{a}}es and
                  Jos{\'{e}} Wesley de S. Magalh{\~{a}}es and
                  Anderson Faustino da Silva and
                  Fernando M. Q. Pereira},
  title        = {Synthesis of Benchmarks for the {C} Programming Language by Mining
                  Software Repositories},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {62--69},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355380},
  doi          = {10.1145/3355378.3355380},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/GuimaraesMSP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/MachadoMW19,
  author       = {Rafael Ravedutti L. Machado and
                  Andr{\'{e}} Murbach Maidl and
                  Daniel Weingaertner},
  title        = {Profiling Halide {DSL} with {CPU} Performance Events for Schedule
                  Optimization},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {38--45},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355381},
  doi          = {10.1145/3355378.3355381},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/MachadoMW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/PieperGF19,
  author       = {Ricardo Pieper and
                  Dalvan Griebler and
                  Luiz Gustavo Fernandes},
  title        = {Structured Stream Parallelism for Rust},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {54--61},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355384},
  doi          = {10.1145/3355378.3355384},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/PieperGF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/PineyroPV19,
  author       = {Leonardo Pi{\~{n}}eyro and
                  Alberto Pardo and
                  Marcos Viera},
  title        = {Structure verification of deep neural networks at compilation time
                  using dependent types},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {46--53},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355379},
  doi          = {10.1145/3355378.3355379},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/PineyroPV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/RibeiroRFC19,
  author       = {Rodrigo Geraldo Ribeiro and
                  Leonardo Vieira dos Santos Reis and
                  Samuel da Silva Feitosa and
                  Elton M. Cardoso},
  title        = {Towards Typed Semantics for Parsing Expression Grammars},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {70--77},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355388},
  doi          = {10.1145/3355378.3355388},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/RibeiroRFC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/RibeiroSP19,
  author       = {Francisco Ribeiro and
                  Jo{\~{a}}o Saraiva and
                  Alberto Pardo},
  title        = {Java Stream Fusion: Adapting {FP} mechanisms for an {OO} setting},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {30--37},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355386},
  doi          = {10.1145/3355378.3355386},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/RibeiroSP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/RimsaAP19,
  author       = {Andrei Rimsa and
                  Jos{\'{e}} Nelson Amaral and
                  Fernando Magno Quint{\~{a}}o Pereira},
  title        = {Efficient and Precise Dynamic Construction of Control Flow Graphs},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {19--26},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355383},
  doi          = {10.1145/3355378.3355383},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/RimsaAP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sblp/VieiraM19,
  author       = {Carlos Vieira and
                  S{\'{e}}rgio Queiroz de Medeiros},
  title        = {{IML} - An Image Manipulation Language},
  booktitle    = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  pages        = {27--29},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378.3355382},
  doi          = {10.1145/3355378.3355382},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sblp/VieiraM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sblp/2019,
  title        = {Proceedings of the {XXIII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2019, Salvador, Brazil, September 23-27, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3355378},
  doi          = {10.1145/3355378},
  isbn         = {978-1-4503-7638-9},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.