André Rauber Du Bois

ORCID

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 43

Top Venues

SBLP

SBAC-PAD (Workshops)

Sci. Comput. Program.

SBAC-PAD

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

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

André Rauber Du Bois.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

André Rauber Du Bois