André Rauber Du Bois

72 papers A 1B 1C 8Misc 2Journal 16Unranked 42
YearRankTypeTitle / Venue / Authors
2025 J jnl
An Experience Report on Teaching Computer Science in Elementary School.
Revista Brasileira de Informática na Educ.
Simone André da Costa Cavalheiro, Luciana Foss, André Rauber Du Bois, Ana Marilza Pernas, Clause Fátima de Brum Piana, Renata Hax Sander Reiser
2025 J jnl
GPotion: Embedding GPU programming in Elixir.
J. Comput. Lang.
André Rauber Du Bois, Gerson Geraldo H. Cavalheiro
2025 C conf
Obstruction-Free Software Transactional Memory for GPUs.
SBAC-PAD
Tiago Perlin, André Rauber Du Bois, Gerson G. H. Cavalheiro
2025 — conf
Polymorphic Higher-Order GPU Kernels.
Euro-Par (1)
André Rauber Du Bois, Gerson G. H. Cavalheiro
2025 J jnl
Thread and Data Mapping in Software Transactional Memory: an Overview.
Int. J. Parallel Program.
Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla
2024 — conf
A Snapshot of OpenMP Projects on GitHub.
SBLP
Cristian Carvalho Quevedo, Marcos Antonio de Oliveira Junior, André Rauber Du Bois, Gerson Geraldo H. Cavalheiro
2024 — conf
Hok: Higher-Order GPU kernels in Elixir.
SBLP
André Rauber Du Bois, Tiago Perlin, Frederico Peixoto Antunes, Gerson G. H. Cavalheiro
2024 — conf
OFG-STM: Transactional Memory for GPUs based on Obstruction-Free STM algorithms.
SBLP
Tiago Perlin, Gerson G. H. Cavalheiro, André Rauber Du Bois
2024 — conf
Towards Random Elixir Code Generation.
SBLP
Bernardo Beltrame Facchi, Andrei de Almeida Sampaio Braga, André Rauber Du Bois, Samuel da Silva Feitosa
2023 — conf
GPotion: An embedded DSL for GPU programming in Elixir.
SBLP
André Rauber Du Bois, Gerson G. H. Cavalheiro
2023 — conf
Obstruction-Free Distributed Transactional Memory.
SBLP
Jerônimo da Cunha Ramos, André Rauber Du Bois, Gerson G. H. Cavalheiro
2022 — conf
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.
SBLP
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
2022 C conf
Open transactional actions: interacting with non-transactional resources in STM Haskell.
Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro
2022 J jnl
Thread and Data Mapping in Software Transactional Memory: An Overview.
CoRR
Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla
2021 — conf
A Graph Transformation System formalism for correctness of Transactional Memory algorithms.
SBLP
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
2021 — conf
An extension for Transactional Memory in OpenMP.
SBLP
Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, André Rauber Du Bois, Gerson G. H. Cavalheiro
2021 — conf
Sharing-Aware Data Mapping in Software Transactional Memory.
SAMOS
Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla
2021 J jnl
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.
CLEI Electron. J.
Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2021 J jnl
Towards an Extrinsic Formalization of Featherweight Java in Agda.
CLEI Electron. J.
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2020 J jnl
A Mechanized Proof of a Textbook Type Unification Algorithm.
RITA
André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro
2020 J jnl
A type-directed algorithm to generate random well-typed Java 8 programs.
Sci. Comput. Program.
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2020 — conf
Characterizing the Sharing Behavior of Applications Using Software Transactional Memory.
Bench
Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla
2020 C conf
Online Sharing-Aware Thread Mapping in Software Transactional Memory.
SBAC-PAD
Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla
2020 C conf
Thread Affinity in Software Transactional Memory.
ISPDC
Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla
2019 — conf
A Graph Transformation System formalism for Software Transactional Memory Opacity.
SBLP
Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois
2019 J jnl
A monadic semantics for quantum computing in an object oriented language.
Sci. Comput. Program.
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2019 — conf
An Inherently-Typed Formalization for Featherweight Java.
SBLP
Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2019 J jnl
Comparing the performance of concurrent hash tables implemented in Haskell.
Sci. Comput. Program.
Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo H. Cavalheiro, Renata Hax Sander Reiser
2019 — conf
HMusic: A domain specific language for music programming and live coding.
NIME
André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2018 — conf
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.
SBMF
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 J jnl
Formal Semantics for Java-like Languages and Research Opportunities.
RITA
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 — conf
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck.
CLEI Selected Papers
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 — conf
Property-based testing for lambda expressions semantics in featherweight Java.
SBLP
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 — conf
Transactional Boosting on Glasgow Haskell Compiler.
WSCAD
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2018 — conf
User-Level Transaction Scheduling in Haskell.
WSCAD
Rodrigo Medeiros Duarte, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro, Maurício Lima Pilla
2017 C conf
A User-Level Scheduling Framework for BoT Applications on Private Clouds.
SBAC-PAD
Maicon Anca dos Santos, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro
2017 — conf
Certified Bit-Coded Regular Expression Parsing.
SBLP
Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2017 — conf
Impact of Version Management for Transactional Memories on Phase-Change Memories.
SBAC-PAD (Workshops)
Felipe L. Teixeira, Maurício L. Pilla, André Rauber Du Bois, Daniel Mossé
2016 — conf
A Monadic Semantics for Quantum Computing in Featherweight Java.
SBLP
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2016 B conf
A user level approach to schedule BoT applications on private clouds.
NCA
Maicon Anca dos Santos, André Rauber Du Bois, Gerson Geraldo H. Cavalheiro
2016 Misc conf
An embedded domain specific language for distributed memory transactions in Java.
SAC
Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla
2016 J jnl
Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell.
RITA
Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Renata Hax Sander Reiser
2016 — conf
Concurrent Hash Tables for Haskell.
SBLP
Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício L. Pilla, Gerson G. H. Cavalheiro, Renata Hax Sander Reiser
2016 J jnl
Selected and extended papers from SBLP 2013.
Sci. Comput. Program.
André Rauber Du Bois, Phil Trinder
2015 — conf
Composable Memory Transactions for Java Using a Monadic Intermediate Language.
SBLP
Rafael Bandeira, André Rauber Du Bois, Maurício L. Pilla, Juliana Kaizer Vizzotto, Marcelo Machado
2015 Misc conf
Composable memory transactions with eager version management.
SAC
Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo Homrich Cavalheiro
2015 — conf
Energy Consumption and Scalability Evaluation for Software Transactional Memory on a Real Computing Environment.
SBAC-PAD (Workshops)
Timóteo Matthies Rico, Maurício L. Pilla, André Rauber Du Bois, Rodrigo Medeiros Duarte
2015 — conf
Evaluating Overhead and Contention in Concurrent Accesses to a Graph.
SBAC-PAD (Workshops)
Israel da Silva Barbara, Nicolas O. de Araujo, André Rauber Du Bois, Gerson Geraldo H. Cavalheiro
2015 — conf
FJQuantum - A Quantum Object Oriented Language.
WEIT
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2015 — conf
Impact of Version Management on Transactional Memories' Performance.
SBAC-PAD (Workshops)
Felipe L. Teixeira, Maurício L. Pilla, André Rauber Du Bois, Daniel Mossé
2015 — conf
Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators.
WEIT
Renata Reiser, Alexandre Lemke, Anderson Braga de Avila, Júlia Vieira, Maurício L. Pilla, André Rauber Du Bois
2015 — conf
Kanga: A Skeleton-Based Generic Interface for Parallel Programming.
SBAC-PAD (Workshops)
Deives Kist, Bruno Pinto, Rodrigo Bazo, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro
2014 C conf
Profiling Patterns of Bit Flipping for Software Transactional Memories.
SBAC-PAD
Felipe L. Teixeira, Maurício L. Pilla, André Rauber Du Bois, Daniel Mossé
2014 — conf
Transactional Boosting for Haskell.
SBLP
André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte
2013 — conf
A Domain Specific Language based on Monads for Distributed Transactional Memory in Java.
WEIT
Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla
2013 — conf
Aggregation Operators on the Fuzzy e-Xor and e-XNor Classes.
WEIT
Alexandre Lemke, Renata Hax Sander Reiser, André Rauber Du Bois, Maurício Lima Pilla
2013 — ed.
Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
SBLP
André Rauber Du Bois, Phil Trinder
2012 — conf
Energy Consumption on Software Transactional Memories.
WSCAD-SSC
Timóteo Matthies Rico, Maurício Lima Pilla, André Rauber Du Bois
2011 A conf
An Implementation of Composable Memory Transactions in Haskell.
SC
André Rauber Du Bois
2009 — conf
A Domain Specific Language for Composable Memory Transactions in Java.
DSL
André Rauber Du Bois, Marcos Echevarria
2009 C conf
The Arrow Calculus as a Quantum Programming Language.
WoLLIC
Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry
2008 — conf
Modelling Parallel Quantum Computing Using Transactional Memory.
QPL/DCM@ICALP
Juliana Kaizer Vizzotto, André Rauber Du Bois
2006 — conf
A comparative evaluation of three mobile languages.
Mobility Conference
Zara Field, Philip W. Trinder, André Rauber Du Bois
2006 — —
Mobile computation in a purely functional language.
André Rauber Du Bois
2006 J jnl
Strong Mobility in Mobile Haskell.
J. Univers. Comput. Sci.
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
2005 J jnl
Towards Mobility Skeletons.
Parallel Process. Lett.
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
2005 J jnl
mHaskell: Mobile Computation in a Purely Functional Language.
J. Univers. Comput. Sci.
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
2003 — conf
Implementing Mobile Haskell.
Trends in Functional Programming
André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl
2002 C conf
Implementing Declarative Parallel Bottom-Avoiding Choice.
SBAC-PAD
André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder
2002 — conf
Thread Migration in a Parallel Graph Reducer.
IFL
André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder
2001 — conf
Distributed Execution of Functional Programs Using the JVM.
EUROCAST
André Rauber Du Bois, Antônio Carlos da Rocha Costa
2000 — conf
Functional Beans.
WFLP
André Rauber Du Bois, Antônio Carlos da Rocha Costa