![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
André Rauber Du Bois
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c48]André Rauber Du Bois
, Gerson G. H. Cavalheiro
:
GPotion: An embedded DSL for GPU programming in Elixir. SBLP 2023: 1-8 - [c47]Jerônimo da Cunha Ramos, André Rauber Du Bois
, Gerson G. H. Cavalheiro
:
Obstruction-Free Distributed Transactional Memory. SBLP 2023: 33-40 - 2022
- [c46]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: 54-65 - [c45]Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. SBLP 2022: 15-23 - [i1]Douglas Pereira Pasqualin
, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla:
Thread and Data Mapping in Software Transactional Memory: An Overview. CoRR abs/2206.01359 (2022) - 2021
- [j12]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) - [j11]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) - [c44]Douglas Pereira Pasqualin
, Matthias Diener
, André Rauber Du Bois
, Maurício Lima Pilla
:
Sharing-Aware Data Mapping in Software Transactional Memory. SAMOS 2021: 481-492 - [c43]Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. SBLP 2021: 49-57 - [c42]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: 58-65 - 2020
- [j10]André Rauber Du Bois
, Rodrigo Geraldo Ribeiro, Maycon Amaro
:
A Mechanized Proof of a Textbook Type Unification Algorithm. RITA 27(3): 13-24 (2020) - [j9]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: 102494 (2020) - [c41]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: 3-21 - [c40]Douglas Pereira Pasqualin
, Matthias Diener, André Rauber Du Bois, Maurício Lima Pilla:
Thread Affinity in Software Transactional Memory. ISPDC 2020: 180-187 - [c39]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: 35-42
2010 – 2019
- 2019
- [j8]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: 37-55 (2019) - [j7]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: 56-70 (2019) - [c38]André Rauber Du Bois, Rodrigo Geraldo Ribeiro:
HMusic: A domain specific language for music programming and live coding. NIME 2019: 381-386 - [c37]Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois:
A Graph Transformation System formalism for Software Transactional Memory Opacity. SBLP 2019: 3-10 - [c36]Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
An Inherently-Typed Formalization for Featherweight Java. SBLP 2019: 11-18 - 2018
- [j6]Samuel da Silva Feitosa
, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Formal Semantics for Java-like Languages and Research Opportunities. RITA 25(3): 62-74 (2018) - [c35]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Property-based testing for lambda expressions semantics in featherweight Java. SBLP 2018: 43-50 - [c34]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. SBMF 2018: 39-55 - [c33]Rodrigo Medeiros Duarte, André Rauber Du Bois, Gerson Geraldo Homrich Cavalheiro, Maurício Lima Pilla:
User-Level Transaction Scheduling in Haskell. WSCAD 2018: 30-37 - [c32]Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Rodrigo Geraldo Ribeiro:
Transactional Boosting on Glasgow Haskell Compiler. WSCAD 2018: 191-197 - [c31]Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. CLEI Selected Papers 2018: 3-20 - 2017
- [c30]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: 81-88 - [c29]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: 91-96 - [c28]Rodrigo Geraldo Ribeiro, André Rauber Du Bois:
Certified Bit-Coded Regular Expression Parsing. SBLP 2017: 4:1-4:8 - 2016
- [j5]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): 193-209 (2016) - [j4]André Rauber Du Bois, Phil Trinder:
Selected and extended papers from SBLP 2013. Sci. Comput. Program. 132: 1 (2016) - [c27]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: 31-34 - [c26]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: 1980-1985 - [c25]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: 31-45 - [c24]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: 110-124 - 2015
- [c23]Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício Lima Pilla, Gerson Geraldo Homrich Cavalheiro:
Composable memory transactions with eager version management. SAC 2015: 2093-2098 - [c22]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: 7-12 - [c21]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: 13-18 - [c20]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: 49-54 - [c19]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: 68-72 - [c18]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: 128-142 - [c17]Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois:
FJQuantum - A Quantum Object Oriented Language. WEIT 2015: 67-77 - [c16]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. WEIT 2015: 135-150 - 2014
- [c15]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: 136-143 - [c14]André Rauber Du Bois, Maurício Lima Pilla, Rodrigo Medeiros Duarte:
Transactional Boosting for Haskell. SBLP 2014: 145-159 - 2013
- [c13]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: 151-157 - [c12]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: 172-174 - [e1]André Rauber Du Bois, Phil Trinder:
Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings. Lecture Notes in Computer Science 8129, Springer 2013, ISBN 978-3-642-40921-9 [contents] - 2012
- [c11]Timóteo Matthies Rico, Maurício Lima Pilla, André Rauber Du Bois:
Energy Consumption on Software Transactional Memories. WSCAD-SSC 2012: 194-201 - 2011
- [c10]André Rauber Du Bois:
An Implementation of Composable Memory Transactions in Haskell. SC@TOOLS 2011: 34-50
2000 – 2009
- 2009
- [c9]André Rauber Du Bois, Marcos Echevarria:
A Domain Specific Language for Composable Memory Transactions in Java. DSL 2009: 170-186 - [c8]Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry
:
The Arrow Calculus as a Quantum Programming Language. WoLLIC 2009: 379-393 - 2008
- [c7]Juliana Kaizer Vizzotto, André Rauber Du Bois:
Modelling Parallel Quantum Computing Using Transactional Memory. QPL/DCM@ICALP 2008: 183-190 - 2006
- [b1]André Rauber Du Bois:
Mobile computation in a purely functional language. Heriot-Watt University, Edinburgh, UK, 2006 - [j3]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Strong Mobility in Mobile Haskell. J. Univers. Comput. Sci. 12(7): 868-884 (2006) - [c6]Zara Field, Philip W. Trinder, André Rauber Du Bois:
A comparative evaluation of three mobile languages. Mobility Conference 2006: 45 - 2005
- [j2]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
mHaskell: Mobile Computation in a Purely Functional Language. J. Univers. Comput. Sci. 11(7): 1234-1254 (2005) - [j1]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Towards Mobility Skeletons. Parallel Process. Lett. 15(3): 273-288 (2005) - 2003
- [c5]André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl:
Implementing Mobile Haskell. Trends in Functional Programming 2003: 79-94 - 2002
- [c4]André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder:
Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214 - [c3]André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder:
Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD 2002: 82-92 - 2001
- [c2]André Rauber Du Bois, Antônio Carlos da Rocha Costa:
Distributed Execution of Functional Programs Using the JVM. EUROCAST 2001: 570-582 - 2000
- [c1]André Rauber Du Bois, Antônio Carlos da Rocha Costa:
Functional Beans. WFLP 2000: 470-479
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint