André Rauber Du Bois

According to our database, André Rauber Du Bois authored at least 62 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Obstruction-Free Distributed Transactional Memory.

Jerônimo da Cunha Ramos, André Rauber Du Bois, Gerson G. H. Cavalheiro

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

GPotion: An embedded DSL for GPU programming in Elixir.

André Rauber Du Bois, Gerson G. H. Cavalheiro

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

2022

Thread and Data Mapping in Software Transactional Memory: An Overview.

Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla

CoRR, 2022

Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

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

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

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

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

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

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

A Graph Transformation System formalism for correctness of Transactional Memory algorithms.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

Sharing-Aware Data Mapping in Software Transactional Memory.

Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

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

A Mechanized Proof of a Textbook Type Unification Algorithm.

André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro

RITA, 2020

Online Sharing-Aware Thread Mapping in Software Transactional Memory.

Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla

Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

Thread Affinity in Software Transactional Memory.

Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla

Proceedings of the 19th International Symposium on Parallel and Distributed Computing, 2020

Characterizing the Sharing Behavior of Applications Using Software Transactional Memory.

Douglas Pereira Pasqualin, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla

Proceedings of the Benchmarking, Measuring, and Optimizing, 2020

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

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

An Inherently-Typed Formalization for Featherweight Java.

Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

A Graph Transformation System formalism for Software Transactional Memory Opacity.

Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

HMusic: A domain specific language for music programming and live coding.

André Rauber Du Bois, Rodrigo Geraldo Ribeiro

Proceedings of the 19th International Conference on New Interfaces for Musical Expression, 2019

2018

Formal Semantics for Java-like Languages and Research Opportunities.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

RITA, 2018

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XLIV Latin American Computer Conference - Selected Papers, 2018

User-Level Transaction Scheduling in Haskell.

Rodrigo Medeiros Duarte, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro, Maurício Lima Pilla

Proceedings of the Symposium on High Performance Computing Systems, 2018

Transactional Boosting on Glasgow Haskell Compiler.

Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro

Proceedings of the Symposium on High Performance Computing Systems, 2018

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Property-based testing for lambda expressions semantics in featherweight Java.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

2017

Certified Bit-Coded Regular Expression Parsing.

Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the 21st Brazilian Symposium on Programming Languages, 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é

Proceedings of the 2017 International Symposium on Computer Architecture and High Performance Computing Workshops, 2017

A User-Level Scheduling Framework for BoT Applications on Private Clouds.

Maicon Anca dos Santos, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro

Proceedings of the 29th International Symposium on Computer Architecture and High Performance Computing, 2017

2016

Selected and extended papers from SBLP 2013.

André Rauber Du Bois, Phil Trinder

Sci. Comput. Program., 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

A Monadic Semantics for Quantum Computing in Featherweight Java.

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois

Proceedings of the Programming Languages - 20th Brazilian Symposium, 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

Proceedings of the Programming Languages - 20th Brazilian Symposium, 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

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A user level approach to schedule BoT applications on private clouds.

Maicon Anca dos Santos, André Rauber Du Bois, Gerson Geraldo H. Cavalheiro

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

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

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015

FJQuantum - A Quantum Object Oriented Language.

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois

Proceedings of the Third Workshop-School on Theoretical Computer Science, 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

Proceedings of the Programming Languages, 2015

Impact of Version Management on Transactional Memories' Performance.

Felipe L. Teixeira, Maurício L. Pilla, André Rauber Du Bois, Daniel Mossé

Proceedings of the 2015 International Symposium on Computer Architecture and High Performance Computing 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

Proceedings of the 2015 International Symposium on Computer Architecture and High Performance Computing 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

Proceedings of the 2015 International Symposium on Computer Architecture and High Performance Computing Workshops, 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

Proceedings of the 2015 International Symposium on Computer Architecture and High Performance Computing Workshops, 2015

Composable memory transactions with eager version management.

Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo Homrich Cavalheiro

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Transactional Boosting for Haskell.

André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte

Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014

Profiling Patterns of Bit Flipping for Software Transactional Memories.

Felipe L. Teixeira, Maurício L. Pilla, André Rauber Du Bois, Daniel Mossé

Proceedings of the 26th IEEE International Symposium on Computer Architecture and High Performance Computing, 2014

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

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

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

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

2012

Energy Consumption on Software Transactional Memories.

Timóteo Matthies Rico, Maurício Lima Pilla, André Rauber Du Bois

Proceedings of the 13th Symposium on Computer Systems, 2012

2011

An Implementation of Composable Memory Transactions in Haskell.

André Rauber Du Bois

Proceedings of the Software Composition - 10th International Conference, 2011

2009

The Arrow Calculus as a Quantum Programming Language.

Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry

Proceedings of the Logic, 2009

A Domain Specific Language for Composable Memory Transactions in Java.

André Rauber Du Bois, Marcos Echevarria

Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009

2008

Modelling Parallel Quantum Computing Using Transactional Memory.

Juliana Kaizer Vizzotto, André Rauber Du Bois

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

2006

Mobile computation in a purely functional language.

André Rauber Du Bois

PhD thesis, 2006

Strong Mobility in Mobile Haskell.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

J. Univers. Comput. Sci., 2006

A comparative evaluation of three mobile languages.

Zara Field, Philip W. Trinder, André Rauber Du Bois

Proceedings of the 3rd international conference on Mobile technology, 2006

2005

Towards Mobility Skeletons.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

Parallel Process. Lett., 2005

mHaskell: Mobile Computation in a Purely Functional Language.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

J. Univers. Comput. Sci., 2005

2003

Implementing Mobile Haskell.

André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

2002

Implementing Declarative Parallel Bottom-Avoiding Choice.

André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

Thread Migration in a Parallel Graph Reducer.

André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001

Distributed Execution of Functional Programs Using the JVM.

André Rauber Du Bois, Antônio Carlos da Rocha Costa

Proceedings of the Computer Aided Systems Theory, 2001

2000

Functional Beans.

André Rauber Du Bois, Antônio Carlos da Rocha Costa

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000