Functional Beans. - André Rauber Du Bois; Antônio Carlos da Rocha Costa (WFLP, 2000)

Distributed Execution of Functional Programs Using the JVM. - André Rauber Du Bois; Antônio Carlos da Rocha Costa (EUROCAST, 2001)

Thread Migration in a Parallel Graph Reducer. - André Rauber Du Bois; Hans-Wolfgang Loidl; Philip W. Trinder (IFL, 2002)

Implementing Declarative Parallel Bottom-Avoiding Choice. - André Rauber Du Bois; Robert F. Pointon; Hans-Wolfgang Loidl; Philip W. Trinder (SBAC-PAD, 2002)

Implementing Mobile Haskell. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (Trends in Functional Programming, 2003)

mHaskell: Mobile Computation in a Purely Functional Language. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (J. Univers. Comput. Sci., 2005)

Towards Mobility Skeletons. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (Parallel Process. Lett., 2005)

A comparative evaluation of three mobile languages. - Zara Field; Philip W. Trinder; André Rauber Du Bois (Mobility Conference, 2006)

Strong Mobility in Mobile Haskell. - André Rauber Du Bois; Philip W. Trinder; Hans-Wolfgang Loidl (J. Univers. Comput. Sci., 2006)

Mobile computation in a purely functional language. - André Rauber Du Bois (2006)

Modelling Parallel Quantum Computing Using Transactional Memory. - Juliana Kaizer Vizzotto; André Rauber Du Bois (QPL/DCM@ICALP, 2008)

A Domain Specific Language for Composable Memory Transactions in Java. - André Rauber Du Bois; Marcos Echevarria (DSL, 2009)

The Arrow Calculus as a Quantum Programming Language. - Juliana Kaizer Vizzotto; André Rauber Du Bois; Amr Sabry (WoLLIC, 2009)

An Implementation of Composable Memory Transactions in Haskell. - André Rauber Du Bois (SC@TOOLS, 2011)

Energy Consumption on Software Transactional Memories. - Timóteo Matthies Rico; Maurício Lima Pilla; André Rauber Du Bois (WSCAD-SSC, 2012)

Aggregation Operators on the Fuzzy e-Xor and e-XNor Classes. - Alexandre Lemke; Renata Hax Sander Reiser; André Rauber Du Bois; Maurício Lima Pilla (WEIT, 2013)

A Domain Specific Language based on Monads for Distributed Transactional Memory in Java. - Jerônimo da Cunha Ramos; André Rauber Du Bois; Maurício Lima Pilla (WEIT, 2013)

Profiling Patterns of Bit Flipping for Software Transactional Memories. - Felipe L. Teixeira; Maurício L. Pilla; André Rauber Du Bois; Daniel Mossé (SBAC-PAD, 2014)

Transactional Boosting for Haskell. - André Rauber Du Bois; Maurício Lima Pilla; Rodrigo Medeiros Duarte (SBLP, 2014)

Composable memory transactions with eager version management. - Rodrigo Medeiros Duarte; André Rauber Du Bois; Maurício Lima Pilla; Gerson Geraldo Homrich Cavalheiro (SAC, 2015)

Evaluating Overhead and Contention in Concurrent Accesses to a Graph. - Israel da Silva Barbara; Nicolas O. de Araujo; André Rauber Du Bois; Gerson Geraldo H. Cavalheiro (SBAC-PAD (Workshops), 2015)

Kanga: A Skeleton-Based Generic Interface for Parallel Programming. - Deives Kist; Bruno Pinto; Rodrigo Bazo; André Rauber Du Bois; Gerson Geraldo Homrich Cavalheiro (SBAC-PAD (Workshops), 2015)

Energy Consumption and Scalability Evaluation for Software Transactional Memory on a Real Computing Environment. - Timóteo Matthies Rico; Maurício L. Pilla; André Rauber Du Bois; Rodrigo Medeiros Duarte (SBAC-PAD (Workshops), 2015)

Impact of Version Management on Transactional Memories' Performance. - Felipe L. Teixeira; Maurício L. Pilla; André Rauber Du Bois; Daniel Mossé (SBAC-PAD (Workshops), 2015)

Composable Memory Transactions for Java Using a Monadic Intermediate Language. - Rafael Bandeira; André Rauber Du Bois; Maurício L. Pilla; Juliana Kaizer Vizzotto; Marcelo Machado (SBLP, 2015)

FJQuantum - A Quantum Object Oriented Language. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (WEIT, 2015)

Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators. - Renata Reiser; Alexandre Lemke; Anderson Braga de Avila; Júlia Vieira; Maurício L. Pilla; André Rauber Du Bois (WEIT, 2015)

A user level approach to schedule BoT applications on private clouds. - Maicon Anca dos Santos; André Rauber Du Bois; Gerson Geraldo H. Cavalheiro (NCA, 2016)

An embedded domain specific language for distributed memory transactions in Java. - Jerônimo da Cunha Ramos; André Rauber Du Bois; Maurício Lima Pilla (SAC, 2016)

Concurrent Hash Tables for Haskell. - Rodrigo Medeiros Duarte; André Rauber Du Bois; Maurício L. Pilla; Gerson G. H. Cavalheiro; Renata Hax Sander Reiser (SBLP, 2016)

A Monadic Semantics for Quantum Computing in Featherweight Java. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (SBLP, 2016)

Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell. - Rodrigo Medeiros Duarte; André Rauber Du Bois; Maurício Lima Pilla; Renata Hax Sander Reiser (RITA, 2016)

Selected and extended papers from SBLP 2013. - André Rauber Du Bois; Phil Trinder (Sci. Comput. Program., 2016)

A User-Level Scheduling Framework for BoT Applications on Private Clouds. - Maicon Anca dos Santos; André Rauber Du Bois; Gerson Geraldo Homrich Cavalheiro (SBAC-PAD, 2017)

Impact of Version Management for Transactional Memories on Phase-Change Memories. - Felipe L. Teixeira; Maurício L. Pilla; André Rauber Du Bois; Daniel Mossé (SBAC-PAD (Workshops), 2017)

Certified Bit-Coded Regular Expression Parsing. - Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2017)

Property-based testing for lambda expressions semantics in featherweight Java. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2018)

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBMF, 2018)

Transactional Boosting on Glasgow Haskell Compiler. - Jonathas Augusto de Oliveira Conceição; André Rauber Du Bois; Rodrigo Geraldo Ribeiro (WSCAD, 2018)

User-Level Transaction Scheduling in Haskell. - Rodrigo Medeiros Duarte; André Rauber Du Bois; Gerson Geraldo Homrich Cavalheiro; Maurício Lima Pilla (WSCAD, 2018)

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (CLEI Selected Papers, 2018)

Formal Semantics for Java-like Languages and Research Opportunities. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (RITA, 2018)

HMusic: A domain specific language for music programming and live coding. - André Rauber Du Bois; Rodrigo Geraldo Ribeiro (NIME, 2019)

A Graph Transformation System formalism for Software Transactional Memory Opacity. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2019)

An Inherently-Typed Formalization for Featherweight Java. - Samuel da Silva Feitosa; Alejandro Serrano Mena; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2019)

Comparing the performance of concurrent hash tables implemented in Haskell. - Rodrigo Medeiros Duarte; André Rauber Du Bois; Maurício Lima Pilla; Gerson Geraldo H. Cavalheiro; Renata Hax Sander Reiser (Sci. Comput. Program., 2019)

A monadic semantics for quantum computing in an object oriented language. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (Sci. Comput. Program., 2019)

Characterizing the Sharing Behavior of Applications Using Software Transactional Memory. - Douglas Pereira Pasqualin; Matthias Diener; André Rauber Du Bois; Maurício Lima Pilla (Bench, 2020)

Thread Affinity in Software Transactional Memory. - Douglas Pereira Pasqualin; Matthias Diener; André Rauber Du Bois; Maurício Lima Pilla (ISPDC, 2020)

Online Sharing-Aware Thread Mapping in Software Transactional Memory. - Douglas Pereira Pasqualin; Matthias Diener; André Rauber Du Bois; Maurício Lima Pilla (SBAC-PAD, 2020)

A Mechanized Proof of a Textbook Type Unification Algorithm. - André Rauber Du Bois; Rodrigo Geraldo Ribeiro; Maycon Amaro (RITA, 2020)

A type-directed algorithm to generate random well-typed Java 8 programs. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (Sci. Comput. Program., 2020)

Sharing-Aware Data Mapping in Software Transactional Memory. - Douglas Pereira Pasqualin; Matthias Diener; André Rauber Du Bois; Maurício Lima Pilla (SAMOS, 2021)

A Graph Transformation System formalism for correctness of Transactional Memory algorithms. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2021)

An extension for Transactional Memory in OpenMP. - Andre D. Jardim; Kevin Oliveira; Diogo J. Cardoso; Daniel Di Domenico; André Rauber Du Bois; Gerson G. H. Cavalheiro (SBLP, 2021)

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. - Elton M. Cardoso; Maycon Amaro; Samuel da Silva Feitosa; Leonardo Vieira dos Santos Reis; André Rauber Du Bois; Rodrigo Geraldo Ribeiro (CLEI Electron. J., 2021)

Towards an Extrinsic Formalization of Featherweight Java in Agda. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (CLEI Electron. J., 2021)

Open transactional actions: interacting with non-transactional resources in STM Haskell. - Jonathas Augusto de Oliveira Conceição; André Rauber Du Bois; Samuel da Silva Feitosa; Gerson Geraldo Homrich Cavalheiro; Rodrigo Geraldo Ribeiro (Haskell, 2022)

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. - Diogo J. Cardoso; Luciana Foss; André Rauber Du Bois (SBLP, 2022)

GPotion: An embedded DSL for GPU programming in Elixir. - André Rauber Du Bois; Gerson G. H. Cavalheiro (SBLP, 2023)

Obstruction-Free Distributed Transactional Memory. - Jerônimo da Cunha Ramos; André Rauber Du Bois; Gerson G. H. Cavalheiro (SBLP, 2023)

Hok: Higher-Order GPU kernels in Elixir. - André Rauber Du Bois; Tiago Perlin; Frederico Peixoto Antunes; Gerson G. H. Cavalheiro (SBLP, 2024)

Towards Random Elixir Code Generation. - Bernardo Beltrame Facchi; Andrei de Almeida Sampaio Braga; André Rauber Du Bois; Samuel da Silva Feitosa (SBLP, 2024)

OFG-STM: Transactional Memory for GPUs based on Obstruction-Free STM algorithms. - Tiago Perlin; Gerson G. H. Cavalheiro; André Rauber Du Bois (SBLP, 2024)

A Snapshot of OpenMP Projects on GitHub. - Cristian Carvalho Quevedo; Marcos Antonio de Oliveira Junior; André Rauber Du Bois; Gerson Geraldo H. Cavalheiro (SBLP, 2024)

Polymorphic Higher-Order GPU Kernels. - André Rauber Du Bois; Gerson G. H. Cavalheiro (Euro-Par (1), 2025)

GPotion: Embedding GPU programming in Elixir. - André Rauber Du Bois; Gerson Geraldo H. Cavalheiro (J. Comput. Lang., 2025)

Thread and Data Mapping in Software Transactional Memory: an Overview. - Douglas Pereira Pasqualin; Matthias Diener; André Rauber Du Bois; Maurício Lima Pilla (Int. J. Parallel Program., 2025)