default search action

combined dblp search
author search
venue search
publication search

ask others

SBLP 2022: Virtual Event, Brazil

> Home > Conferences and Workshops > SBLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sblp/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/2022
Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araújo, Cristiano Damiani Vasconcellos:
SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022. ACM 2022, ISBN 978-1-4503-9744-5
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/SilveiraRNTR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/SilveiraRNTR22
Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia:
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CardosoPPRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CardosoPPRR22
Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro:
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. 8-14
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CardosoFB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CardosoFB22
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. 15-23
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/AlegriaIR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/AlegriaIR22
Anna Leticia Alegria, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez:
EventManager - a tool to help students analyse concurrent programs. 24-31
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/PaulaI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/PaulaI22
Gabriel Coutinho De Paula, Roberto Ierusalimschy:
A Foreign Function Interface for Pallene. 32-40
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/RockenbachLAGF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/RockenbachLAGF22
Dinei A. Rockenbach, Júnior Löff, Gabriell Alves de Araujo, Dalvan Griebler, Luiz Gustavo Fernandes:
High-Level Stream and Data Parallelism in C++ for GPUs. 41-49
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/GregorioFBM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/GregorioFBM22
Nelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros:
E-APK: Energy Pattern Detection in Decompiled Android Applications. 50-58
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/KindCKP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/KindCKP22
Cecília Kind, Joao Coelho, Bruno Kind, Fernando Pereira:
Geração Automática de Benchmarks para Compilação Preditiva. 59-67
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/DamasioCPSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/DamasioCPSP22
Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira:
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. 68-75

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.