• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 144 matches

• 2023
• 
  André Rauber Du Bois, Gerson G. H. Cavalheiro:
  GPotion: An embedded DSL for GPU programming in Elixir. SBLP 2023: 1-8
• 
  Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro:
  A Verified Operational Semantics for Regular Expression Parsing. SBLP 2023: 82-90
• 
  Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano:
  A Haskell Library for Adaptable Parsing Expression Grammars. SBLP 2023: 73-81
• 
  Leonardo G. Faé, Renato B. Hoffmann, Dalvan Griebler:
  Source-to-Source Code Transformation on Rust for High-Level Stream Parallelism. SBLP 2023: 41-49
• 
  Alexander Holmquist, Vitor Emanuel, Fernando Magno Quintão Pereira:
  Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos. SBLP 2023: 91-98
• 
  Francisco Heron de Carvalho Junior, Tiago Carneiro:
  A Component Model for Multilevel Parallel Programming. SBLP 2023: 25-32
• 
  Sérgio Queiroz de Medeiros, Marcelo Borges Nogueira, Gustavo Quezado Gurgel Magalhães:
  Analyzing the Time x Energy Relation in C++ Solutions Mined from a Programming Contest Site. SBLP 2023: 64-72
• 
  Fernando Neder, Ricardo Miranda Filho, Jônatas Azevedo, Larissa Pessoa, Rosiane de Freitas, Raimundo S. Barreto:
  Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. SBLP 2023: 56-63
• 
  Jerônimo da Cunha Ramos, André Rauber Du Bois, Gerson G. H. Cavalheiro:
  Obstruction-Free Distributed Transactional Memory. SBLP 2023: 33-40
• 
  Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa:
  Uma DSL para gerar APIs RESTFul em Haskell. SBLP 2023: 9-16
• 
  Rafael Sumitani, Lucas Silva, Frederico Campos, Fernando Magno Quintão Pereira:
  A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. SBLP 2023: 50-55
• 
  Natanael Zago, Andrei Braga, Braulio Mello, Samuel da Silva Feitosa:
  Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória. SBLP 2023: 17-24
• 
  Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023. ACM 2023 [contents]
• 2022
• 
  Anna Leticia Alegria, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez:
  EventManager - a tool to help students analyse concurrent programs. SBLP 2022: 24-31
• 
  Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
  Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. SBLP 2022: 15-23
• 
  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. SBLP 2022: 8-14
• 
  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. SBLP 2022: 68-75
• 
  Nelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros:
  E-APK: Energy Pattern Detection in Decompiled Android Applications. SBLP 2022: 50-58
• 
  Cecília Kind, Joao Coelho, Bruno Kind, Fernando Pereira:
  Geração Automática de Benchmarks para Compilação Preditiva. SBLP 2022: 59-67
• 
  Gabriel Coutinho De Paula, Roberto Ierusalimschy:
  A Foreign Function Interface for Pallene. SBLP 2022: 32-40
• 
  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. SBLP 2022: 41-49
• 
  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. SBLP 2022: 1-7
• 
  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 [contents]
• 2021
• 
  Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi:
  TSDolly: A program generator for TypeScript. SBLP 2021: 66-74
• 
  Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
  A Graph Transformation System formalism for correctness of Transactional Memory algorithms. SBLP 2021: 49-57
• 
  Thaís Damásio, Vinícius Pacheco, Luís Fabrício Wanderley Góes, Fernando Pereira, Rodrigo Rocha:
  Inlining for Code Size Reduction. SBLP 2021: 17-24
• 
  José Duarte, António Ravara:
  Retrofitting Typestates into Rust. SBLP 2021: 83-91
• 
  Anderson Faustino da Silva:
  Graphs based on IR as Representation of Code: Types and Insights. SBLP 2021: 75-82
• 
  Francisco Freitas, André Leite Ferreira, Jácome Cunha:
  Refactoring Java Monoliths into Executable Microservice-Based Applications. SBLP 2021: 100-107
• 
  Hugo Musso Gualandi, Roberto Ierusalimschy:
  A Surprisingly Simple Lua Compiler. SBLP 2021: 1-8

skipping 114 more matches