André Rauber Du Bois

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade Católica de Pelotas (1998), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (2001) e doutorado em Ciência da Computação - Heriot-Watt University (2006). Atualmente é professor associado da Universidade Federal de Pelotas. Trabalha principalmente com o desenvolvimento de abstrações que facilitem a programação paralela em diferentes arquiteturas.

Informações coletadas do Lattes em 05/03/2025

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

2001 - 2006

Heriot-Watt University
Título: Mobile Computation in a Purely Functional Language
Orientador: Phil Trinder
Bolsista do(a): Overseas Research Students Awards Scheme, ORS, Grã-Bretanha.

Mestrado em Computação

1999 - 2001

Universidade Federal do Rio Grande do Sul
Título: Execução Distribuída de Programas Funcionais usando a Máquina Virtual Java
, Ano de Obtenção: 2001.Antônio Carlos da Rocha Costa.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em Bacharelado Em Ciência da Computação

1995 - 1998

Universidade Católica de Pelotas
Bolsista do(a): FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL, FAPERGS, Brasil.

Formação complementar

2004 - 2004

The Midlands Graduate School in the Foundations of. (Carga horária: 40h). , University of Nottingham, NOTTINGHAM, Inglaterra.

2003 - 2003

EEF Global Computing Summer School. (Carga horária: 40h). , University of Edinburgh, EDINBURGH, Escócia.

2003 - 2003

The Fun of Programming School. (Carga horária: 15h). , University of Oxford, OX, Inglaterra.

2002 - 2002

Summer School on Advanced Functional Programming. (Carga horária: 40h). , University of Oxford, OX, Inglaterra.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagens Funcionais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Sistemas Distribuidos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Paralelismo.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Mobilidade de Codigo.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Linguagens de Programacao.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Compiladores.

Organização de eventos

Du Bois, André Rauber ; BOTH, C. B. . Coordenador do Comitê de Programa da Escola Regional de Redes de Computadores. 2012. (Congresso).

Andrea Charão ; DU BOIS, A. R. . Fórum de Pós-Graduação da Escola Regional de Alto Desempenho (ERAD 2010). 2010. (Congresso).

DU BOIS, A. R. . XIII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2009. (Congresso).

DU BOIS, A. R. ; CARVALHO JUNIOR, F. H. . First Workshop on Languages and Tools for Parallel and Distributed Programming. 2007. (Congresso).

DU BOIS, A. R. . International Workshop on the Implementation of Functional Languages. 2003. (Congresso).

Participação em eventos

Escola Regional de Alto Desempenho. 2016. (Simpósio).

10th Brazilian Simposium on Programming Languages.10th Brazilian Simposium on Programming Languages. 2006. (Simpósio).

9th Brazilian Symposium on Programming Languages.9th Brazilian Symposium on Programming Languages. 2005. (Simpósio).

Participação em bancas

Aluno: Caio Vinícius Raposo Ribeiro

PEREIRA, F. M. Q.; BARBOSA, H.;Du Bois, Andre. Memoization of Mutable Objects. 2024. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Murilo Figueiredo Schmalfuss

GRIEBLER, D.; CAVALHEIRO, GERSON GERALDO H.;DU BOIS, ANDRE R.. Escalonamento para Algoritmos Iterativos. 2020. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Weslen Schiavon de Souza

LOPES, J. L. B.; YAMIN, A. C.;DU BOIS, ANDRE R.. EXEHDA-DEP: Uma Arquitetura para o Processamento Distribuído de Eventos Complexos. 2020. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Rafael Ravedutti Lucio Machado

DU BOIS, ANDRE RAUBER; ALVES, M. A. Z.; MAIDL, A. M.; WEINGAERTNER, D.. Profiling halide dsl with performance events for schedule optimization. 2019. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Federal do Paraná.

Aluno: Felipe Oliveira Tanus

DU BOIS, ANDRE RAUBER; SCHNORR, L. M.; CARRO, L.; MOREIRA, A.; NAZAR, G. L.. Exploring Parallelism on Pure Functional Languages with ACQuA. 2018. Dissertação (Mestrado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: Eric Tomas Zancanaro

VIZZOTTO, JULIANA K.; PIVETA, E. K.;DU BOIS, ANDRE RAUBER. Um interpretador e typechecker para uma linguagem reversível com pattern-matching simétrico e controle quântico. 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Diogo João Cardoso

Vizzotto, Juliana Kaizer; PIVETA, EDUARDO K.;DU BOIS, ANDRE RAUBER. Asyncrfj: uma abordagem assíncrona à programação orientada a objeto reativa. 2018. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Alex Bertei

RIBEIRO, R. G.;DU BOIS, ANDRE R.; FOSS, L.;REISER, R. H. S.. Uma abordagem relacional para Gramática de Grafos Fuzzy. 2017. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Eduardo Soares De Abreu

LUZZARDI, P. R. G.;DU BOIS, ANDRE R.; YAMIN, A. C.; PERNAS, A.. Reconhecimento de atividades em casa inteligentes: uma abordagem não intrusiva explorando processamento semântico. 2017. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: José Carlos Puiati Pires

DU BOIS, ANDRE R.; PIVETA, EDUARDO K.; VIZZOTTO, JULIANA K.. INTERPRETADOR E VERIFICADOR DE TIPOS PARA O CÁLCULO-λ QUÂNTICO COM MÔNADAS E SETAS.. 2017. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Fernando Quatrin Campagnolo

PIVETA, E. K.;BOIS, ANDRE R. DU; SACCOL, D. B.. Uma extensão para a linguagem de consulta AQL. 2017. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Samuel Feitosa

Vizzoto, Juliana; PIVETA, E. K.;DU BOIS, A. R.. Uma linguagem de programação quântica orientada a objetos baseada no featherweight Java. 2016. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Ricardo Borges Alemeida

DU BOIS, A. R.; MACHADO, A.; PERNAS, A.; YAMIN, A. C.. EXEHDA-USM: Uma arquitetura hierárquica multinível ciente de situação aplicada a segurança da informação. 2016. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Tiago Alberto Idalencio

DU BOIS, ANDRE RAUBER; PIVETA, E. K.; Vizzoto, Juliana. Implementação de um Interpretador para o cálculo lambda quântico. 2016. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: [Nome removido após solicitação do usuário]

YAMIN, A. C.;DU BOIS, ANDRE R.; DINIZ, C. M.. Ciência de Situação na IoT: Uma Arquitetura Explorando Processamento Híbrido de Contexto. 2016. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Universidade Católica de Pelotas.

Aluno: Luís Gabriel Nunes Ferreira Lima

BOIS, ANDRE DU; CASTOR, F.. Understanding the Energy Behavior of Concurrent Haskell Programs. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Vivian Teresinha Pedó da Silva

BARBOSA, J. L. V.; COSTA, C. A.; OLIVEIRA, K. S. F.;DU BOIS, A. R.. UML2Context: Uma extensão da UML para Modelagem de Contexto. 2015. Dissertação (Mestrado em Computação Aplicada) - Universidade do Vale do Rio dos Sinos.

Aluno: Ibero Benitez

DU BOIS, A. R.. Implicações Fuzzy Obtidas por Agregadores Multi-dimensionais. 2014. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Rodolfo Migon Favaretto

Du Bois, André Rauber; ROSE, C.; Gerson Cavalheiro; PILLA, MAURICIO LIMA. Escalonamento Dinâmico em nível aplicativo sensível à arquitetura e às dependências de dados entre as tarefas. 2014. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Luiz Carlos Lemos Junior

DU BOIS, ANDRE RAUBERCOSTA, A. C. R.REISER, R. H. S.CAVALHEIRO, S.; FOSS, L.. Propostas de Táticas para a Prova de Teoremas de Gramática de Grafos. 2014. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Leandro Israel Pinto

Du Bois, André Rauber; VASCONCELLOS, C. D.; ROSSO JUNIOR, R. S. U.; WEHRMEISTER, M. A.. ICARU-FB: Uma Ifraestrutura de Software para um CLP aderente a norma iec 61499. 2014. Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina.

Aluno: Eduardo Ferreira da Silva

DU BOIS, ANDRE RAUBER; Vizzoto, Juliana; PIVETA, E. K.. Simulação de algoritmos Quânticos considerando a teoria quântica modal em Haskell. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Jânio Elias Teixeira Júnior

DU BOIS, ANDRE RAUBER; PIVETA, E. K.; Vizzoto, Juliana. Uma catálogo de Refatorações Envolvendo expressões Lambda em Java. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: BRUNO CRESTANI CALEGARO

Du Bois, André Rauber; Vizzoto, Juliana. QJAVA: SETAS QUÂNTICAS EM JAVA. 2013. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Caio Hoffman

Du Bois, André Rauber; ARAUJO, G.. An ́lise de desgaste de t ́cnicas de corre ̧ ̃o de erros a e ca em Phase-Change Memories. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Rafael Rodrigues Bastos

DU BOIS, ANDRE RAUBER; LORETO, A.. Modelagem matemática para a quantificação de dióxido de carbono neutralizado por palntios comerciais de eucalipto na região de Bagé-rs. 2013. Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Leonardo Fernandes Mendonça de oliveira

DU BOIS, ANDRE RAUBER; André L. M. Santos. Portando Cloud haskell para um Ambiente Distribuído Baseado em MPI. 2012. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Dionatan Kitzmann Tietzmann

Andrea Charão;DU BOIS, A. R.. Análise automática de acessos concorrentes a dados para refatoração de código sequencial em código paraleloo openmp. 2011. Dissertação (Mestrado em Informática) - Universidade Federal de Santa Maria.

Aluno: Alex Sandro Garzão

DU BOIS, A. R.; Sergio C. Coelho da Silva;BARBOSA, J. L. V.. Um Modelo de Prgamação Orientado ao desenvolvimento de Sistemas Ubíquos. 2010. Dissertação (Mestrado em Computação Aplicada) - Universidade do Vale do Rio dos Sinos.

Aluno: Luthiano Rodrigues Venecian

DU BOIS, A. R.REISER, R. H. S.; YAMIN, A. C.. Um Mecanismo de Sensibilidade ao Contexto com Suporte Semântico para Computação Ubíquoa. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Católica de Pelotas.

Aluno: Sérgio Luis Rodrigues

DU BOIS, A. R.REISER, R. H. S.. uMED: Uma arquitetura para Desenvolvimento de Software Direcionada à Medicina Ubíqua. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Católica de Pelotas.

Aluno: Gustavo Mata Zechlinski

DU BOIS, A. R.REISER, R. H. S.. Shared-GM: Arquitetura de memória Distribuída para o Ambiente D-GM. 2010. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Católica de Pelotas.

Aluno: Mikros Ortiz Martins

DU BOIS, A. R.. Modelagem e Simulacao Computacional da Teoria Quantica Orch Or. 2009. Dissertação (Mestrado em Nanociências) - Universidade Franciscana.

Aluno: Rodrigo Santos de Souza

DU BOIS, A. R.. Uma Contribuição à Coordenação na Computação Pervasiva com Aplicações na Área Médica. 2009. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Católica de Pelotas.

Aluno: Eduardo da Silva Möller

GEYER, C. F. R.; Gerson Cavalheiro;DU BOIS, A. R.. Gerenciamento de Dispositivos de Borda Reconfiguráveis na Computação Pervasiva. 2007. Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas.

Aluno: Eduardo Maroñas Monks

YAMIN, A. C.; REISER, RENATA HAX SANDER; CRUZ, A. P.; LOPES, J. L. B.;DU BOIS, ANDRE R.. Abordagem Híbrida FuzzyNetClass: Uma Contribuição à Classificação do Tráfego de Streaming de Vídeo Integrando Lógica Fuzzy Valorada Intervalarmente e Aprendizagem de Máquina. 2023. Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Bruno Chinelato Honório

DU BOIS, A. R.; ARAUJO, G.; CASTRO, M. B.; PEREIRA, M. M.; BUSATO, L. E.. Improving Compiler-Generated Transactional Code Performance and Programmability via Language-Level Constructs. 2023. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Daniel Di Domenico

DU BOIS, ANDRE R.; FERNANDES, L. G. L.; BENTES, C. B.; CAVALHEIRO, GERSON. A Model for Software Measurement Aiming to Guide Evaluations and Comparisons between Programming Tools to Implement GPU Applications. 2022. Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Rodrigo Costa Moura

DU BOIS, ANDRÉ; REISER, RENATA HAX SANDER; REBONATTO, M. T.; SANTOS, H. S.. Intf-HybridMem: Uma Abordagem para Gerência de Memórias Híbridas Explorando Sistemas Fuzzy. 2021. Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Renato Marques Dilli

YAMIN, A. C.; GEYER, C. F. R.;DU BOIS, ANDRE R.; LOPES, J. L. B.. Uma Proposta para Classificação de Recursos da IoT Explorando o Tratamento da Incerteza na Decisão Multicritério. 2020. Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Wagner Guimarães Al Alam

DU BOIS, ANDRE R.; ROCHA, L. S.; ANDRADE, R. M. C.; GOMES, A. T. A.; CARVALHO JUNIOR, F. H.. A abstração de contratos contextuais para alocação de recursos de sistemas de computação paralela orientados a componentes em nuvens. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Roger da Silva Machado

PERNAS, A.; YAMIN, A. C.; COSTA, C. A.; OLIVEIRA, J. P. M.;DU BOIS, ANDRE R.. Arquitetura DyCoRS: Uma abordagem para Ciência de Contexto Explorando Composição dinâmica de estratégias para raciocínio. 2019. Tese (Doutorado em Programa de Pós Graduação em Computação (PPGC)) - Universidade Federal de Pelotas.

Aluno: Rodrigo Santos de Souza

GEYER, C. F. R.; STEIN, B.;DU BOIS, ANDRÉ; OLIVEIRA, J. P. M.. Um middleware para Internet das Coisas com suporte ao processamento distribuído do contexto. 2017. Tese (Doutorado em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: Cenez Araújo de Rezende

BOIS, ANDRE R. DU; CARVALHO JUNIOR, F. H.; LINS, R.; SALES, C. L.; MACEDO, J. A. F.. Um Arcabouço baseado em Componentes para Computação Paralela de Larga Escala sobre Grafos. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Marcio Machado Pereira

DU BOIS, ANDRE RAUBER; ARAUJO, G. C. S.; BALDASSIN, A. J.; CASTRO, M. B.; RIGO, S.. Scheduling Techniques for Transactional Memories. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Alexandre Rupert Arpini Skyrme

RODRIGUEZ, N.; IERUSALIMSCHY, R.; MOURA, A.; BRIOT, J.; CERQUEIRA, R.;DU BOIS, A. R.. Safe Record Shariing in Dynamic Programming Languages. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Giovani Felipe Jahn

CAVALHEIRO, GERSON;Du Bois, Andre; AIRES, T.; DALCIN, E.. Um framework educativo que integra uma ontologia de Programação Paralela com técnicas de Pensamento Computacional no ensino técnico integrado dos Institutos Federais de Educação. 2024. Exame de qualificação (Doutorando em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Daniel Di Domenico

CAVALHEIRO, GERSON GERALDO H.;DU BOIS, ANDRE R.; LIMA, J. V.. Review of environments for parallelism focusing in C/C++ programming interfaces to explore accelerators. 2020. Exame de qualificação (Doutorando em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Eduardo Maroñas Monks

MARCOS, P. B.; YAMIN, A. C.;DU BOIS, ANDRE R.. Classificação do Tráfego de Redes de Computadores: Sistematizando Conceitos e Estratégias. 2020. Exame de qualificação (Doutorando em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Bruno Moura Paz de Moura

REISER, R. H. S.; YAMIN, A. C.;DU BOIS, ANDRE R.; BEDREGAL, B.. Estratégias Fuzzy para Gerenciamento de Recursos em Nuvens Computacionais: Sistematizando Conceitos e Projetos. 2020. Exame de qualificação (Doutorando em COMPUTAÇÃO) - Universidade Federal de Pelotas.

Aluno: Cenez Araújo de Rezende

CARVALHO JUNIOR, F. H.;DU BOIS, ANDRE RAUBER; LINS, R.. Gust - Um Arcabouço de Componentes em Nuvem para o Processamento Paralelo em Larga Escala de Grafos Grandes. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Silvana Teodoro

FERNANDEZ, L. G.; FERRETO, T.;DU BOIS, ANDRE RAUBER. Ambiente Dinâmico para Escolha de Políticas de Escalonamento para Grades Computacionais Voltado ao Desempenho e Eficiência Energética. 2015. Exame de qualificação (Doutorando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.

Aluno: Rodrigo Santos Souza

GEYER, C. F. R.; STEIN, B.; PALAZZO, J.;DU BOIS, A. R.. Uma arquitetura para Internet das Coisas com suporte ao processamento distribuído do contexto. 2015. Exame de qualificação (Doutorando em PPGC - Programa de Pós Graduação em Computação UFRGS) - Universidade Federal do Rio Grande do Sul.

Aluno: Juliano Marin Londero

DU BOIS, ANDRE R.; YAMIN, A. C.; ALMEIDA, S. J. M.. SANEP-I2MF: Uma Abordagem na IoT Explorando Ciência de Situação direcionada aos Artefatos de Distribuição de Água Potável do SANEP. 2020. Exame de qualificação (Mestrando em Engenharia Eletrônica e Computação) - Universidade Católica de Pelotas.

Aluno: Vinícius Garcia Peruzzi

BURLAMAQUI, R.;Du Bois, Andre; AIRES, T.. PPP Debugger (Plush Puppy Parallel Debugger): Desenvolvimento de uma Interface Gráfica para Aprimorar a Depuração de Programas Multithread com o GDB. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Felipe Duarte Barbedo

BURLAMAQUI, R.; CAVALHEIRO, GERSON;Du Bois, Andre. Implementação de uma Plataforma de Programação Paralela em Nuvem para fins Educacionais. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Bruno Cabreira Gonçalves

FOSS, LUCIANA; CAVALHEIRO, S. A. C.;Du Bois, Andre; PERNAS, A.. Educação em Computacão na Franca: Analise do Projeto 1,2,3... Codez e sua Aplicacao no Contexto Brasileiro. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Júlia Veiga da Silva

FOSS, L.; CAVALHEIRO, S. A. C.; REISER, R.;Du Bois, Andre. Explorando a Teoria dos Autômatos com Gramática de Grafos: Uma Proposta para a Educação Básica. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Alessandra Rosa Galvão

RAUBER DU BOIS, ANDRÉ; SANTOS, H. S.; REISER, RENATA HAX SANDER; MOURA, B.. Analise e Geração de Agregadores Fuzzy para Suporte às Computações Flexíveis na Abordagem Int-FLBCC. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Frederico Peixoto Antunes

DU BOIS, ANDRE R.; PORTO, M.; CAVALHEIRO, GERSON. Estudo de Instruçõees para Implementaçãoo de Suporte à Memória Transacional em Hardware. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Henry Soares Pereira

Du Bois, André Rauber; Gerson Cavalheiro; PASQUALIN, DOUGLAS PEREIRA. Analise de desempenho entre Memoria Transacional e OpenMP usando as bibliotecas TinySTM e GCC-TM. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: João Pedro Ladeira Rezende

BOIS, ANDRE R. DU; CAVALHEIRO, GERSON GERALDO H.; TORCHELSEN, R. P.. Detecc ̧ao automatica de operacoes de reducao em programas C sequenciais. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Yuri Rocha Weisshahn

CAVALHEIRO, S. A. C.;DU BOIS, ANDRE RAUBER; FOSS, L.;REISER, R. H. S.; PERNAS, A.. Disseminacao do Pensamento Computacional na Educacao Basica: Proposta e Aplicacao de Atividades Envolvendo Listas Encadeadas. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Yasmin de Braz Paula Hackbart

CAVALHEIRO, S. A. C.;DU BOIS, ANDRE RAUBER; REISER, RENATA HAX SANDER. Disseminacao do Pensamento Computacional na Educacao Basica: Proposta e Aplicacao de Atividades Envolvendo Reconhecimento de Padroes. 2021.

Aluno: Gustavo Henrique Cunha da Rosa

TORCHELSEN, R. P.; MACIEL, A.; AGUIAR, M. S.;DU BOIS, ANDRE RAUBER. Real-time knot evaluation for suturing simulation. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Braz Araujo da Silva Junior

DU BOIS, ANDRE RAUBERREISER, R. H. S.CAVALHEIRO, S.; FOSS, L.. A última árvore, utilizando gramática de grafos em um Jogo educacional para explorar o Pensamento Computacional. 2018 - Universidade Federal de Pelotas.

Aluno: Rodrigo da Rosa Oliveira

DU BOIS, ANDRE RAUBER; CAVALHEIRO, GERSON GERALDO H.; YAMIN, A. C.. Uma biblioteca com suporte multithread a matrizes esparsas em c++. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Rodrigo Vieira Falcão

DU BOIS, A. R.; FERREIRA JUNIOR, P. R.; CAVALHEIRO, GERSON GERALDO H.. Aplicação do paralelismo via openMP em um programa de simulação de escavação de túneis pré-existente. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Mateus Thurow Schoenknecht

DU BOIS, ANDRE RAUBER; AGUIAR, M. S.; CAVALHEIRO, GERSON GERALDO H.. Análise de Desempenho do Benchmark Hierarchical Agglomerative Clustering em Diferentes Ferramentas de Paralelização. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Marcos Saalfeld Bartz

DU BOIS, ANDRE RAUBER; FOSS, L.; AGUIAR, M. S.. Uma proposta de atividade desplugada baseada em umjogo RPG para promover o pensamento computacional e avaliar a colaboração entre estudantes do ensino fundamental. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Rafael de Sousa do Nascimento

DU BOIS, ANDRE RAUBER; AIRES, T.; FOSS, L.; BRISOLARA, L. B.. Desenvolvimento de um sistema web de consumo colaborativo voltado ao mercado de redistribuição com especificação e verificação através da UML e gramática de grafos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Rodrigo Bazo

SOARES, R.; Gerson Cavalheiro;Du Bois, André Rauber; ZATT, B.. Uma implementação de alto desempenho de um algoritmo de Análise Diferencial de Potência. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Ariel Furtado Azevedo

Du Bois, André Rauber; PILLA, M. L.;REISER, R. H. S.; ATAIDES, V. A.. Um módulo de sensoreamento fuzzy no ambiente openstack samsara. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Bruno Giacobo Pinto

DU BOIS, ANDRE R.; Gerson Cavalheiro. Implementação de Uma Interface de Expressão de Concorrência Compatível com C++. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Pablo Tyszkievicz Kila

DU BOIS, ANDRE RAUBER; Gerson Cavalheiro. Avaliação das interfaces de ferramentas de programação multithreaded com a suíte Cowinchan. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Juliana Kruger Vieira

CAVALHEIRO, S.REISER, R. H. S.; PILLA, MAURICIO LIMA;DU BOIS, A. R.. Análise e Simulação dos Conectivos Fuzzy XOR e Classes Derivadas via Computação Quântica. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Mateus Moreira Silveira do Nascimento

DU BOIS, A. R.; YAMIN, A. C.; Pilla, M. L.;REISER, R. H. S.. Implementação de Computação em Nuvem para Execução de Simulações Quânticas do VPE-qGM. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Guilherme Porto Britto Cousin

DU BOIS, A. R.; Gerson Cavalheiro; SILVA, A. L.. Influência da Interface de Programação nas Atividades de Escalonamento. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Murilo Figueiredo Shmalfuss

YAMIN, A. C.;DU BOIS, A. R.; Pilla, M. L.;REISER, R. H. S.. Extensão do Ambiente VirD-GM para Suporte a processos parciais mistos para portas controladas. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Anderson Avila

DU BOIS, A. R.. Simulação Distribuida de Algoritmos Quanticos via GPU. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Lucas Garcia Nachtigall

DU BOIS, A. R.. Uma contribuição para a consciência de contexto no Adaptweb. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Israel Silva Barbará

DU BOIS, ANDRE RAUBER; YAMIN, A. C.; Gerson Cavalheiro. Um estudo sobre mecanismos de acesso a dados compartilhados aplicado a grafos paralelos. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Alex Bertei

FOSS, L.; LORETO, A.;REISER, R. H. S.CAVALHEIRO, S.DU BOIS, ANDRE RAUBER. Uma Tradução de gramática de grafos controlada para Event-B. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Helio Wichrestink Caruccio

PERNAS, A.; YAMIN, A. C.; Gerson Cavalheiro;DU BOIS, A. R.. exehda-rf: uma solução restful para o subsistema de reconhecimento de contexto. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Samuel Ribeiro Sant'Ana

REISER, R. H. S.; YAMIN, A. C.; Gerson Cavalheiro;DU BOIS, A. R.. fgrid: um módulo para tomada de decisões em regime de incerteza direcionado ao escalonamento de tarefas em grades computacionais. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Pamela Polnow Gnutzmann

DU BOIS, ANDRE RAUBERREISER, R. H. S.. m-qcedit: Um ambiente para Modelagem e simulação de circuitos quânticos via Plataformas móveis. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Alan Schlindven de Araújo

DU BOIS, ANDRE RAUBER; Gerson Cavalheiro. ANAHY-3, Um novo ambiente de execução otimizado para arquiteturas multicore. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Roger da Silva Machado

Du Bois, André Rauber; YAMIN, A. C.. LogA-DM: uma abordagem de análise dinâmica de log com base em mineração de dados. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Vitor Alano de Ataides

DU BOIS, ANDRE RAUBER; Pilla, M. L.. Desenvolvimento de benchmarks de código aberto e análise do consumo de energia em dispositivos iOS. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Cícero Augusto de Souza Camargo

DU BOIS, A. R.; YAMIN, A. C.; FOSS, L.; Gerson Cavalheiro. Análise do impacto da aplicação de algoritmos de escalonamento de lista em ambientes multithreaded dinâmicos. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Lucas Dutra Fonseca

DU BOIS, A. R.; Gerson Cavalheiro; Pilla, M. L.. Avaliação do Consumo de energia em redes peer-to-peer para aplicação em redes de dispostivos móveis e redes de sensores sem fio. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Pelotas.

Aluno: Denis Henrique Bonifácio Arndt

DU BOIS, A. R.. Bibliotecas Java de Integração com Servidores XMPP. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Aluno: Wagner Guimarães Al Alam

DU BOIS, A. R.. Sistema de Gerenciamento de Chamados sobre Computacao Pervasiva. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Aluno: Vinícius Pereira Ferreira

DU BOIS, A. R.. Gradep-Mc: Um framework para desenvolvimento sobre o Gradep de Aplicacoes baseadas em Mobilidade de codigo. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Aluno: Adriano Silveira da Silva

DU BOIS, A. R.. pMed: Computação Pervasiva na Medicina. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Aluno: Rafael de Souza Mendes

DU BOIS, A. R.. CeL - Linguagem de Programação Celular.. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Aluno: Laerte Strelow Zarnott

DU BOIS, A. R.. Padrões de Projeto para Programação na WEB. 2005. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas.

Du Bois, André Rauber; Gerson Cavalheiro; SOARES, R.. Banca Professor substituto Computação Básica - Proc. 23110.005852/2015-36. 2016. Universidade Federal de Pelotas.

DU BOIS, ANDRE RAUBERREISER, R. H. S.; RIBEIRO, R. G.. Banca para Professor Titular da área de Teoria da Computação, Matemática de Computação e Matemática aplicada. 2016. Universidade Federal de Pelotas.

PERNAS, A.;DU BOIS, ANDRE RAUBER; AIRES, T.. Banca Professor substituto Fundamentos da Computação - Proc. 23110.005850/2015-47. 2015. Universidade Federal de Pelotas.

PERNAS, A.;DU BOIS, A. R.; FERREIRA JR, P.. Banca Professor substituto Computação Básica - Proc. 23110.005852/2015-36. 2015. Universidade Federal de Pelotas.

LORETO, A.; SOARES, R.;DU BOIS, ANDRE RAUBER. Banca Professor substituto - proc 23110.00 8552/2013-47. 2014. Universidade Federal de Pelotas.

Du Bois, André Rauber. Concurso público de professor Adjunto. 2012. Universidade da Região da Campanha.

DU BOIS, ANDRE RAUBER. Concurso de professor temporário. 2012. Universidade Federal de Pelotas.

DU BOIS, A. R.. Banca Professor Adjunto - Dept de Eletrônica e Computação UFSM. 2010. Universidade Federal de Santa Maria.

DU BOIS, A. R.. Comitê de Programa - Simposio Brasileiro de Linguagens de Programacao. 2006. Universidade Federal do Rio Grande do Norte.

DU BOIS, A. R.. XIV Congresso de Iniciação Científica. 2005. Universidade Católica de Pelotas.

Orientou

Frederico Peixoto Antunes

Esqueletos de Paralelismo para GPU; Início: 2024; Dissertação (Mestrado profissional em COMPUTAÇÃO) - Universidade Federal de Pelotas; (Orientador);

Rafael Rutz Dos Santos

Otimização de Memórias Transacionais Distribuídas; Início: 2022; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas; (Orientador);

Jeronimo Ramos

Middleware para memória transacional distribuída; Início: 2021; Tese (Doutorado em Programa de Pós Graduação em Computação (PPGC)) - Universidade Federal de Pelotas; (Orientador);

Tiago Perlin

Otimizando desempenho de Memórias Transacionais com Machine Learning; Início: 2020; Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas; (Orientador);

Henrique Gabriel Rodrigues

DSL para computação paralela em Elixir; Início: 2024; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; (Orientador);

KAYARA DA SILVEIRA PEREIRA

Sistema de Tipos para a DSL GPotion; Início: 2023; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; (Orientador);

Michael Alexandre Costa

LTMS - Lups Transactional Memory Scheduler: Um escalonador NUMA-Aware para STM; 2021; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Orientador: André Rauber Du Bois;

Rodrigo Medeiros Duarte

Escalonamento de transações em Memória a Nível de Usuário em Haskell; 2020; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Orientador: André Rauber Du Bois;

Jeronimo Ramos

Uma Linguagem de Dom ́ınio Espec ́ıfico para Memoria Transacional Distribu ́ıda ́ em Java; 2015; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Orientador: André Rauber Du Bois;

Felipe Leivas Teixeira

Analise do Impacto de Diferentes Versionamentos de Dados das Memorias ́ Transacionais sobre Memorias Phase-Change; 2015; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Coorientador: André Rauber Du Bois;

Rafael de Leão Bandeira

Um sistema de detecção de conflitos com invalidação mista para a linguagem CMTJava; 2013; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Orientador: André Rauber Du Bois;

Timóteo M

Rico; Análise de Consumo de Energia e Desempenho de Memórias Transacionais em Software em Ambiente de Computação Real; 2013; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Coorientador: André Rauber Du Bois;

Deives Kist

Esqueletos de paralelismo em Anahy; 2012; Dissertação (Mestrado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Coorientador: André Rauber Du Bois;

Marcos Gonçalves Echevarria

Uma linguagem de Dominio Especifico para Programação de Transações de Memória em Java; 2010; Dissertação (Mestrado em Informática) - Universidade Católica de Pelotas, ; Coorientador: André Rauber Du Bois;

Zara Anne Field

Comparing Languages for Mobile Computation; 2004; Dissertação (Mestrado em MSc in Distributed and Multimedia Systems) - Heriot-Watt University, ; Coorientador: André Rauber Du Bois;

Zhang Wei

MOBILE COMPUTATION; 2003; Dissertação (Mestrado em MSc in Distributed and Multimedia Systems) - Heriot-Watt University, ; Coorientador: André Rauber Du Bois;

Diogo João Cardoso

A Graph Grammar Formalism for Software Transactional Memory Correctness; 2023; Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Coorientador: André Rauber Du Bois;

André Desessards Jardim

Uma Extensão à OpenMP para Suporte à Memória Transacional; 2021; Tese (Doutorado em COMPUTAÇÃO) - Universidade Federal de Pelotas, ; Coorientador: André Rauber Du Bois;

Samuel Feitosa

Strategies for Testing and Formalizing Properties of Modern Programming Languages; 2019; Tese (Doutorado em Programa de Pós Graduação em Computação (PPGC)) - Universidade Federal de Pelotas, ; Orientador: André Rauber Du Bois;

Douglas Pereira Pasqualin

Sharing-Aware Thread Mapping in Software Transactional Memory; 2017; Tese (Doutorado em Programa de Pós Graduação em Computação (PPGC)) - Universidade Federal de Pelotas, ; Orientador: André Rauber Du Bois;

Rodrigo Geraldo Ribeiro

2018; Universidade Federal de Pelotas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; André Rauber Du Bois;

KAYARA DA SILVEIRA PEREIRA

Um sistema de tipos e um verificador de tipos para a DSL GPotion; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Guilherme dos Santos Vahl

Um benchmark para comparar do modelo de atores utilizando Java e Elixir; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Rafael Montagna Copes

Compilação da DSL GPotion para execução em CPU; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Richard Andrei Aquino dos Santos

Compilando uma Linguagem de Programação Funcional para a plataforma Java; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Matheus da Rosa Moeller Chaves

Uma interface baseada em Verisoned Boxes para a linguagem CMTJava; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

ARI VÍTOR DA SILVA LAZZAROTTO

Uma DSL embutida em Haskell para programac ̧ao Prolog; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Ariam Moresco Bartsch

Implementação e Avaliação de Desempenho de Programas para GPU com a DSL GPotion; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Gabriel de Quadros Krüger

Um pré processador para uma extensão de memórias transacionais em OpenMP; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Miguel Bulow Gomes

Desenvolvimento de um benchmark para Memórias Transacionais Distribuídas usando Atomic RMI e sua comparação com outros sistemas DTM; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

MATHEUS FIGUEIREDO SCHMALFUSS

Traduzindo músicas escritas em HMusic para Java; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Jonathas Augusto de Oliveira Conceicao

Monadic approach for Transactional Boosting in Haskell; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

TAYSSA JARDIM DE AVILA

Um benchmark configurável para a comparação de memórias transacionais distribuídas; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Lucas Guerreiro Cantarelli

EMusic: Programação de Música Eletrônica usando a linguagem Elm; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Douglas Janovik Maliszewski

Desenvolvimento de uma Linguagem de Programação baseada no Pi-Calculus e um Compilador para Java; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Érico Alves Grehs

Um compilador para Featherweight Java e sua extensão com interfaces; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Italo Menna Silveira

Desenvolvimento de Benchmark Concorrente para a Linguagem CMTJava; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Rodrigo Medeiros Duarte

Implementação de um escalonador de transações para o STM Haskell; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

ÁLVARO GONÇALVES DOS SANTOS

Compilador CMTJava para Java 8; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Marcelo Machado

Tabelas Hash concorrentes usando CMTJava; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Matheus Blaas Bastos

Desenvovimento de Esqueletos Paralelos para Java usando Padrões de Projeto e o Framework Fork/Join; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Rafael de Leão Bandeira

Um compilador para a linguagem CMTJava; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Pelotas, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: André Rauber Du Bois;

LUCAS BIONDI PACHECO

Usando futuros distribuídos para a implementação de aplicações bag-of-tasks; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Henrique de Souza Vilela

DARMMO: Um Game Engine para MMOs; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Rafael Brod Decker

Estudo e teste da ferramenta OurGrid; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Sandro Renato Milech

Estudo e Desenvolvimento em Java de Esqueletos de Paralelismo; 2008; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Marcos Echevarria

Estudo e Implementação de Algoritmos de Coleta de Lixo; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Victor Carlos Monego

Eliminador de Açucar Sintático para a Linguagem pFun; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Gilson Mateus Rosa da Silveira

Um sistema de Indexação em Ambiente Pervasivo; 2006; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Mauro Strelow Storch

Padrões de Projeto para Computação Móvel; 2005; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Rafael Montagna Copes

Compilando GPotion para CPU; 2024; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

KAYARA DA SILVEIRA PEREIRA

Kayara da Silveira Pereira; 2024; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Ariam Moresco Bartsch

Treinamento Paralelo de Redes Neurais usando o Modelo de Atores; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: André Rauber Du Bois;

Ari Vitor Lazzarotto

Desenvolvimento de Benchmakrs GPU com a DSL GPotion; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Thomazio Giacobbe

Desenvolvimento de Benchamrks para a GPU do raspberry pi; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Juliano de Castro Lorenzato

Benchmarks GPU com a linguagem Nx; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Rafael Montagna Copes

Benchmarks para GPU com a DSL GPotion; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Jonathas Augusto de Oliveira Conceicao

Jonathas Augusto de Oliveira Conceição; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: André Rauber Du Bois;

Rodrigo Medeiros Duarte

Escalonamento de Transações em nível de usuário; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas; Orientador: André Rauber Du Bois;

Rafael de Leão Bandeira

Estruturas de Dados Concorrentes na Linguagem CMTJava; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Pelotas, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: André Rauber Du Bois;

ANDERSON BOETTGE PINHEIRO

Compreensões de Listas Paralelas em Java; 2009; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL; Orientador: André Rauber Du Bois;

Andressa Garcia von Laer

Uso de Esqueletos de Paralelismo em Erlang; 2008; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, UCPel; Orientador: André Rauber Du Bois;

Eduardo Fiss Beloni

Coletor de Lixo Generacional para a Linguagem pFun; 2007; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, UCPel; Orientador: André Rauber Du Bois;

Íbero Camilo Kreps Benitez

Desenvolvendo Aplicações paralelas para a Linguagem pFun; 2007; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: André Rauber Du Bois;

Rodrigo Costa de Moura

Esqueletos de Paralelismo em Erlang; 2007; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, UCPel; Orientador: André Rauber Du Bois;

Guilherme Muniz da Cunha

Estudo e uso das ferramentas OurGrid e MyGrid; 2007; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Victor Carlos Monego

Compilador Mobile-Haskell - Implementação de Transformações de Eliminação do Açúcar Sintático; 2007; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas, UCPel; Orientador: André Rauber Du Bois;

Carlos Vicente Leusin Tragnago

Fundamentos Semanticos da Computacao Quantica; 2005; Iniciação Científica; (Graduando em Bacharelado Em Ciência da Computação) - Universidade Católica de Pelotas; Orientador: André Rauber Du Bois;

Produções bibliográficas

Du Bois, André Rauber ; CAVALHEIRO, GERSON GERALDO H. . GPotion: Embedding GPU programming in Elixir. JOURNAL OF COMPUTER LANGUAGES , v. 1, p. 101323, 2025.
GONÇALVES, BRUNO CABREIRA ; SOARES, JOÃO EDUARDO SEFFRIN ; OLIVEIRA, PLACIDA ; MARQUES, JONNHY ; CAVALHEIRO, SIMONE ANDRÉ DA COSTA ; FOSS, LUCIANA ; DU BOIS, ANDRÉ ; REISER, RENATA ; PIANA, CLAUSE ; MAZZINI, ANA RITA . Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores. Revista Brasileira de Informática na Educação (RBIE) , v. 30, p. 262-291, 2022.
FEITOSA, SAMUEL ; RIBEIRO, RODRIGO ; Du Bois, Andre . A type-directed algorithm to generate random well-typed Java 8 programs. SCIENCE OF COMPUTER PROGRAMMING , v. 196, p. 102494, 2020.
RAUBER DU BOIS, ANDRÉ ; RIBEIRO, RODRIGO ; AMARO, MAYCON . A Mechanized Proof of a Textbook Type Unification Algorithm. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 27, p. 13-24, 2020.
FEITOSA, SAMUEL S. ; VIZZOTTO, JULIANA K. ; PIVETA, E. K. ; DU BOIS, ANDRE R. . A monadic semantics for quantum computing in an object oriented language. SCIENCE OF COMPUTER PROGRAMMING , v. 173, p. 37-55, 2019.
DUARTE, RODRIGO MEDEIROS ; Du Bois, André Rauber ; PILLA, MAURÍCIO LIMA ; CAVALHEIRO, GERSON GERALDO H. ; REISER, RENATA HAX SANDER . Comparing the performance of concurrent hash tables implemented in Haskell. SCIENCE OF COMPUTER PROGRAMMING , v. 173, p. 56-70, 2019.
FEITOSA, SAMUEL S. ; RIBEIRO, R. G. ; DU BOIS, ANDRE RAUBER . Formal Semantics for Java-like Languages and Research Opportunities. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 62-74, 2018.
REISER, RENATA ; LEMKE, ALEXANDRE ; AVILA, ANDERSON ; VIEIRA, JÚLIA ; PILLA, MAURÍCIO ; DU BOIS, ANDRÉ . Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators. Electronic Notes in Theoretical Computer Science , v. 324, p. 135-150, 2016.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, ANDRE RAUBER ; PILLA, M. L. ; REISER, RENATA . Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell. Revista de Informática Teórica e Aplicada: RITA , v. 23, p. 193-209, 2016.
FEITOSA, SAMUEL S. ; VIZZOTTO, JULIANA K. ; PIVETA, EDUARDO K. ; DU BOIS, ANDRE R. . FJQuantum - A Quantum Object Oriented Language. Electronic Notes in Theoretical Computer Science , v. 324, p. 67-77, 2016.
Vizzotto, Juliana Kaizer ; DU BOIS, A. R. . Modelling Parallel Quantum Computing Using Transactional Memory. Electronic Notes in Theoretical Computer Science , v. 270, p. 183-190, 2011.
DU BOIS, A. R. ; LOIDL, H-W. ; TRINDER, P. . Strong Mobility in Mobile Haskell. JUCS - Journal of Universal Computer Science, Springer Co.Pub, v. 12, p. 868-884, 2006.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . Towards Mobility Skeletons. Parallel Processing Letters , World Scientific Publishing Co, v. 15, n.3, p. 273-288, 2005.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . mHaskell: Mobile Computation in a purely functional language. JUCS - Journal of Universal Computer Science, Springer/Knowlegde-Centre, v. 11, n.7, p. 1234-1254, 2005.
DU BOIS, A. R. ; TRINDER, P. (Org.) . Science of Computer Programming (Special Issue Extended Selected Paper from SBLP). 1. ed. Elsevier, 2016. v. 132.
Du Bois, André Rauber ; TRINDER, P. (Org.) . Programming Languages. Proceedings of SBLP 2013. LNCS.. 1. ed. Berlin: Springer, 2013. v. 8129. 149p .
DU BOIS, A. R. ; TRINDER, P. (Org.) . Anais do Simpósio Brasileiro de Linguagens de Programação. 1. ed. SBC, 2013. v. 1. 50p .
Pilla, M. L. (Org.) ; Gerson Cavalheiro (Org.) ; Du Bois, André Rauber (Org.) ; BOTH, C. B. (Org.) . X Escola Regional de Redes de Computadores. 1. ed. Pelotas: SBC, 2012. v. 1. 118p .
André L. M. Santos (Org.) ; João Saraiva (Org.) ; DU BOIS, A. R. (Org.) . Anais do XIII Brazilian Symposium on Programming Languages. Porto Alegre: SBC, 2009. v. 1. 188p .
Marco Tulio Valente (Org.) ; DU BOIS, A. R. (Org.) . Proceedings of the Third Workshop on Languages and Tools for Parallel and Distributed Programming. Porto Alegre: SBC, 2009.
DU BOIS, A. R. ; CARVALHO JUNIOR, F. H. (Org.) . Proceedings of the First Workshop on Languages and Tools for Parallel and Distributed Programming. , 2007.
CAVALHEIRO, S. ; FOSS, L. ; AGUIAR, M. S. ; DU BOIS, ANDRE R. ; PERNAS, A. ; REISER, RENATA HAX SANDER ; PIANA, C. ; MAZZINI, ANA RITA . Explorando o pensamento computacional para a qualificação do ensino fundamental. In: André Raabe, Avelino F. Zorzo, Paulo Blikstein. (Org.). Computação na educação básica. 1ed.Porto Alegre: Penso, 2019, v. , p. 99-113.
Gerson Cavalheiro ; DU BOIS, A. R. . Ferramentas modernas para programação multicore. In: Ana Carolina Salgado ; Bernadette Farias Lóscio; Eduardo Alchieri;, Priscila Solís Barreto. (Org.). Atualizações em Informática (Anais CSBC). 1ed.Porto Alegre: SBC, 2014, v. , p. 41-83.
RICO, T. ; Rafael Bandeira ; DU BOIS, A. R. ; Pilla, M. L. . Programação de Máquinas Multicor usando Memórias Transacionais em Software. In: Gerson Cavalheiro, Mozart Siqueira, Márcia Cera. (Org.). ERAD 2013. 1ed.Porto Alegre: SBC, 2013, v. , p. 45-59.
Marcos Echevarria ; DU BOIS, A. R. . CMTJava: Uma Linguagem de Domínio Específico para Programação de Memórias Transacionais em Java. In: J. Mattos; L. Rosa Jr. ; M. Pilla. (Org.). Desafios e Avanços em Computação, Inovações e Tecnologia. 1ed.Pelotas: Editora UFPel, 2009, v. 1, p. 41-54.
DU BOIS, A. R. . Memórias Transacionais e Troca de Mensagens: Duas alternativas para a programação de Máquinas Multi-Core. In: UFPel, Ucs, Unisinos, Crad-RS e SBC. (Org.). 8 Escola Regional de Alto Desempenho. 1ed.Porto Alegre: SBC, 2008, v. 1, p. 43-76.
DU BOIS, A. R. ; LOIDL, H-W. ; TRINDER, P. . Implementing Mobile Haskell. In: Stephen Gilmore (editor). (Org.). Trends in Functional Programming. Bristol: Intellect Books, 2004, v. 4, p. 79-94.
PERLIN, TIAGO ; CAVALHEIRO, GERSON ; Du Bois, André Rauber . OFG-STM: Transactional Memory for GPUs based on Obstruction-Free STM algorithms. In: Simpósio Brasileiro de Linguagens de Programação, 2024, Brasil. Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2024), 2024. p. 35.
FRERRAO, R. ; ABREU, L. ; CAVALHEIRO, S. A. C. ; FOSS, LUCIANA ; DU BOIS, ANDRE R. ; PIANA, CLAUSE ; PERNAS, A. ; REISER, RENATA HAX SANDER . Uma Abordagem para a Introdução de Estruturas de Dados Homogêneas no Ensino Fundamental. In: Workshop sobre Educação em Computação, 2024. Workshop sobre Educação em Computação, 2024.
QUEVEDO, C. C. ; CAVALHEIRO, S. A. C. ; OLIVEIRA JR., M. A. ; DU BOIS, ANDRE R. ; CAVALHEIRO, GERSON . An Empirical Study of OpenMP Directive Usage in Open-Source Projects on GitHub. In: Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD), 2024. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD), 2024.
Du Bois, André Rauber ; PERLIN, TIAGO ; ANTUNES, FREDERICO PEIXOTO ; CAVALHEIRO, GERSON . Hok: Higher-Order GPU kernels in Elixir. In: Simpósio Brasileiro de Linguagens de Programação, 2024, Brasil. Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2024), 2024. p. 71.
DU BOIS, ANDRE RAUBER ; CAVALHEIRO, GERSON . GPotion: An embedded DSL for GPU programming in Elixir. In: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023, Campo Grande. Proceedings of the XXVII Brazilian Symposium on Programming Languages. New York: ACM. p. 1.
RAMOS, JERÔNIMO ; DU BOIS, ANDRE RAUBER ; CAVALHEIRO, GERSON . Obstruction-Free Distributed Transactional Memory. In: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023, Campo Grande. Proceedings of the XXVII Brazilian Symposium on Programming Languages. New York: ACM. p. 33.
CARDOSO, DIOGO J. ; FOSS, LUCIANA ; DU BOIS, ANDRE R. . Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. In: SBLP 2022: XXVI Brazilian Symposium on Programming Languages, 2022, Virtual Event Brazil. XXVI Brazilian Symposium on Programming Languages. p. 15.
COSTA, MICHAEL ALEXANDRE ; PERLIN, TIAGO ; Du Bois, André Rauber ; CAVALHEIRO, GERSON . LTMS: Um escalonador NUMA-Aware para STM. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2022, Brasil. Anais do XXIII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2022). p. 37.
CONCEIÇÃO, JONATHAS AUGUSTO DE OLIVEIRA ; Du Bois, André Rauber ; FEITOSA, SAMUEL DA SILVA ; CAVALHEIRO, GERSON GERALDO HOMRICH ; RIBEIRO, RODRIGO GERALDO . Open transactional actions: interacting with non-transactional resources in STM Haskell. In: Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, 2022, Ljubljana Slovenia. Proceedings of the 15th ACM SIGPLAN International Haskell Symposium. p. 54.
PASQUALIN, D. ; DIENER, M. ; DU BOIS, ANDRE R. ; PILLA, MAURICIO L. . Sharing-Aware Data Mapping in Software Transactional Memory. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XXI), 2021. Procedings of International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS XXI), 2021.
ROSA, Y. ; REISER, RENATA ; CAVALHEIRO, SIMONE ; FOSS, LUCIANA ; DU BOIS, ANDRE R. ; MAZZINI, ANA RITA ; PIANA, CLAUSE . Aventura Espacial: proposta de atividade para o desenvolvimento do Pensamento Computacional. In: Workshop de Informática na Escola, 2021, 2021. Anais do XXVII Workshop de Informática na Escola (WIE 2021), 2021.
ROSA, Y. ; REISER, R. H. S. ; OLIVEIRA, PLACIDA ; FOSS, L. ; CAVALHEIRO, SIMONE ; DU BOIS, ANDRE R. ; PIANA, CLAUSE ; MAZZINI, ANA RITA . Proposta de Atividade Lúdica e Desplugada Aplicando a Metodologia do Pensamento Computacional.. In: Simpósio Brasileiro de Educação em Computação, 2021, Brasil., 2021. Anais do I Simpósio Brasileiro de Educação em Computação (EDUCOMP 2021), 2021, 2021.
OLIVEIRA, PLACIDA ; MARQUES, J. ; CAVALHEIRO, S. ; FOSS, L. ; REISER, R. H. S. ; DU BOIS, ANDRE R. ; PIANA, CLAUSE ; MAZZINI, ANA RITA . Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental. In: Workshop sobre Educação em Computação, 2021, 2021. Anais do XXIX Workshop sobre Educação em Computação (WEI 2021), 2021.
CARDOSO, D. J. ; FOSS, L. ; DU BOIS, ANDRE R. . A Graph Transformation System formalism for correctness of Transactional Memory algorithms. In: Simpósio Brasileiro de Linguagens de Programação (SBLP), 2021. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP 2021), 2021.
JARDIM, A. ; CARDOSO, D. J. ; DOMENICO, D. ; DU BOIS, ANDRE R. ; Gerson Cavalheiro . An Extension for Transactional Memories in Modern Multithreaded Programming Tools. In: Simpósio Brasileiro de Linguagens de Programação (SBLP), 2021. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP 2021), 2021.
PASQUALIN, DOUGLAS PEREIRA ; DIENER, MATTHIAS ; DU BOIS, ANDRE RAUBER ; PILLA, MAURICIO LIMA . Thread Affinity in Software Transactional Memory. In: 2020 19th International Symposium on Parallel and Distributed Computing (ISPDC), 2020, Warsaw. 2020 19th International Symposium on Parallel and Distributed Computing (ISPDC), 2020. p. 180.
PASQUALIN, DOUGLAS PEREIRA ; DIENER, MATTHIAS ; DU BOIS, ANDRE RAUBER ; PILLA, MAURICIO LIMA . Online Sharing-Aware Thread Mapping in Software Transactional Memory. In: 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2020, Porto. 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2020. p. 35.
FEITOSA, SAMUEL S. ; RIBEIRO, R. G. ; DU BOIS, ANDRE R. . Towards an Extrinsic Formalization of Featherweight Java in Agda. In: Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020), 2020, Loja - Equador. Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020), 2020.
CARDOSO, E. M. ; RIBEIRO, R. G. ; FEITOSA, SAMUEL S. ; REIS, L. V. S. ; DU BOIS, ANDRE R. . The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. In: Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020), 2020, Loja - Equador. Simposio Latinoamericano de Teoría Computacional - XLVI Conferencia Latinoamericana de informática (CLEI 2020).
PEREIRA, H. ; JARDIM, A. ; DU BOIS, ANDRE R. ; CAVALHEIRO, GERSON GERALDO H. . Estudo da Viabilidade de uma Interface para Memórias Transacionais em OpenMP. In: XXI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2020), 2020. XXI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2020). Porto Alegre: sbc, 2020.
PASQUALIN, D. ; DIENER, M. ; DU BOIS, ANDRE R. ; PILLA, MAURICIO LIMA . Characterizing the Sharing Behavior of Applications using Software Transactional Memory. In: 2020 BenchCouncil International Symposium on Benchmarking, Measuring and Optimizing (Bench'20), 2020. 2020 BenchCouncil International Symposium on Benchmarking, Measuring and Optimizing (Bench'20), 2020.
DU BOIS, ANDRE RAUBER ; RIBEIRO, R. G. . Hmusic: a domain specific language for music programming and live coding. In: International conference on new interfaces for musical expression (NIME), 2019, Porto Alegre. Proceedings of the International Conference on New Interfaces for Musical Expression, 2019. p. 381-386.
CARDOZO, AMANDA ; GAYER, CATHERINE ; CAVALHEIRO, SIMONE ; FOSS, LUCIANA ; BOIS, ANDRE DU ; REISER, RENATA . Flexible Assessment in Digital Teaching-Learning Processes: Case Studies via Computational Thinking. In: XXX Simpósio Brasileiro de Informática na Educação (Brazilian Symposium on Computers in Education), 2019, Brasília. Anais do XXX Simpósio Brasileiro de Informática na Educação (SBIE 2019), 2019. p. 429.
FEITOSA, SAMUEL S. ; MENA, A. S. ; RIBEIRO, R. G. ; DU BOIS, ANDRE RAUBER . An Inherently-Typed Formalization for Featherweight Java. In: Brazilian Symposium on Programming Languages (SBLP), 2019, Salvador. SBLP 2019: Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019.
CARDOSO, D. J. ; FOSS, L. ; DU BOIS, ANDRE RAUBER . A Graph Transformation System formalism for Software Transactional Memory Opacity. In: Brazilian Symposium on Programming Languages (SBLP), 2019, Salvador. SBLP 2019: Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019.
OLIVEIRA, PLACIDA ; BRANDÃO, GEAN ; FOSS, LUCIANA ; BOIS, ANDRE DU ; AGUIAR, MARILTON ; REISER, RENATA ; PIANA, CLAUSE ; MAZZINI, ANA RITA . Proposta e Aplicação de Atividades para o Desenvolvimento das Habilidades de Organização de Informação e Pensamento Algorítmico. In: XXV Workshop de Informática na Escola, 2019, Brasília. Anais do XXV Workshop de Informática na Escola (WIE 2019), 2019. p. 618.
DU BOIS, ANDRE RAUBER ; RIBEIRO, R. G. . Combining Effects in a Music Programming Language based on Patterns. In: Brazilian Symposium on Computer Music (SBCM), 2019, São João del-Rei. SBCM 2019: Proceedings of the XXIII Brazilian Symposium on Computer Music, 2019.
AGOSTINI, L. ; FEITOSA, SAMUEL S. ; AVILA, A. ; REISER, R. H. S. ; DU BOIS, ANDRE RAUBER . Representing Intuitionistic Fuzzy Bi-Implications through Quantum Computing. In: 37th North American Fuzzy Information Processing Society Annual Conference, (NAFIPS 2018), 2018, Fortaleza. Proceedings of the 37th North American Fuzzy Information Processing Society Annual Conference, 2018.
CARDOZO, A. A. ; GAYER, C. ; PINTO, R. ; REISER, R. H. S. ; PIANA, C. ; MAZZINI, A. R. ; DU BOIS, ANDRE RAUBER ; AGUIAR, M. S. ; FOSS, L. ; CAVALHEIRO, S. . Avaliação de Discentes na Promoção do Ensino e da Aprendizagem de Habilidades via Pensamento Computacional. In: Congresso Brasileiro de Sistemas Fuzzy ? CBSF, 2018, Fortaleza. Anais do Quinto Congresso Brasileiro de Sistemas Fuzzy ? (CBSF), 2018.
FEITOSA, SAMUEL S. ; RIBEIRO, R. G. ; DU BOIS, ANDRE RAUBER . Property-based testing for lambda expressions semantics in featherweight Java. In: XXII Brazilian Symposium on Programming Languages - SBLP '18, 2018. Anais do XXII Brazilian Symposium on Programming Languages - SBLP '18, 2018.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, ANDRE RAUBER ; CAVALHEIRO, GERSON GERALDO HOMRICH ; PILLA, MAURICIO LIMA . Escalonamento de Transações a Nível de Usuário em Haskell. In: Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD), 2018, São Paulo. Anais do XIX Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD 2018), 2018.
CONCEICAO, J. ; DU BOIS, ANDRE RAUBER ; RIBEIRO, R. G. . Transactional Boosting no Glasgow Haskell Compiler. In: Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD), 2018, São Paulo. Anais do XIX Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD 2018), 2018.
MARTIN, S. S. ; CAVALHEIRO, S. ; FOSS, L. ; REISER, RENATA HAX SANDER ; MAZZINI, A. R. ; DU BOIS, ANDRE R. ; PIANA, C. F. B. . SoccerCraft: Relato de Atividade para Ensino Aprendizagem de Habilidades do Pensamento Computacional Aplicada no Sexto Ano do Ensino Fundamental. In: Workshop sobre Educação em Computação, 2018, Natal. Anais do CSBC. Porto Alegre: SBC, 2018.
FEITOSA, SAMUEL S. ; RIBEIRO, R. G. ; BOIS, ANDRE R. DU . A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. In: Simpósio Brasilero de Métodos Formais (SBMF 2018), 2018, Salvador. Formal Methods: Foundations and Applications (Lecture Notes in Computer Science), 2018. v. 11254.
FEITOSA, SAMUEL S. ; RIBEIRO, R. G. ; DU BOIS, ANDRE RAUBER . Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. In: SLTC - XLIV Conferência Latino-americana de Informática (CLEI 2018), 2018, São Paulo. Anais do XLIV Conferência Latino-americana de Informática (CLEI 2018), 2018.
FEITOSA, SAMUEL S. ; RIBEIRO, R. G. ; DU BOIS, ANDRE RAUBER . Formalizing Java 8 Features Using Featherweight Java. In: WTDSoft 2018, 2018, São Carlos. Anais do VIII Workshop de Teses e Dissertações do CBSoft. Porto Alegre: SBC, 2018.
DOS SANTOS, MAICON ANCA ; DU BOIS, ANDRE RAUBER ; CAVALHEIRO, GERSON GERALDO HOMRICH . A User-Level Scheduling Framework for BoT Applications on Private Clouds. In: 2017 29th International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2017, Campinas. 2017 29th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2017. p. 81.
TEIXEIRA, FELIPE L. ; PILLA, MAURICIO L. ; BOIS, ANDRE R. DU ; MOSSE, DANIEL . Impact of Version Management for Transactional Memories on Phase-Change Memories. In: 2017 International Symposium on Computer Architecture and High Performance Computing Workshops (SBACPADW), 2017, Campinas. 2017 International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW), 2017. p. 91.
RIBEIRO, RODRIGO ; BOIS, ANDRÉ DU . Certified Bit-Coded Regular Expression Parsing. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017. New York: ACM Press, 2017. p. 1.
BOIS, ANDRE R. DU ; RIBEIRO, R. G. . A Domain Specific Language For Drum Beat Programming. In: Brazilian Symposium on Computer Music, 2017, São Paulo. Proceedings of the 16th Brazilian Symposium on Computer Music (SBCM 2017). Porto Alegre: SBC, 2017. p. 1-6.
RAMOS, J. ; Du Bois, André Rauber ; PILLA, MAURICIO LIMA . An Embedded Domain Specific Language for Distributed Memory Transactions in Java. In: ACM/SIGAPP Symposium On Applied Computing (SAC), 2016, Pisa. Proceedings of the ACM/SIGAPP Symposium On Applied Computing (SAC). New York: ACM, 2016. p. 1980-1985.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; Pilla, M. L. ; Gerson Cavalheiro . Concurrent Hash Tables for Haskell. In: Brazilian Simposium on Programming Languages, 2016. SBLP, 2016. v. 9889. p. 110-124.
FEITOSA, SAMUEL S. ; VIZZOTTO, JULIANA K. ; PIVETA, EDUARDO K. ; DU BOIS, A. R. . A Monadic Semantics for Quantum Computing in Featherweight Java. In: Brazilian Simposium on Programming Languages, 2016. SBLP, 2016. v. 9889.
CAVALHEIRO, S. ; PERNAS, A. ; AGUIAR, M. S. ; FOSS, L. ; DU BOIS, A. R. ; REISER, RENATA ; PIANA, C. F. B. ; WEISSHAHN, Y. R. . Information organization via computational thinking: case study in a primary school classroom. In: 24º WEI - Workshop sobre Educação em Computação, 2016, Porto Alegre. Anais CSBC 2016. XXXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC, 2016.
WEISSHAHN, Y. R. ; PINHO, G. ; CAVALHEIRO, S. ; PIANA, C. F. B. ; DU BOIS, A. R. ; AGUIAR, M. S. ; FOSS, L. ; REISER, RENATA . Representação e Análise de Dados no Quinto Ano do Ensino Fundamental: Proposta de Atividade e Relato de Aplicação.. In: XXII Workshop de Informática na Escola, 2016, Uberlândia. Anais do XXII Workshop de Informática na Escola (WIE 2016). Porto Alegre: SBC, 2016.
PINHO, G. ; WEISSHAHN, Y. R. ; CAVALHEIRO, S. ; REISER, RENATA ; PIANA, C. F. B. ; FOSS, L. ; AGUIAR, M. S. ; DU BOIS, A. R. . Pensamento Computacional no Ensino Fundamental: Relato de Atividade de Introdução a Algoritmos. In: XXII Workshop de Informática na Escola, 2016, Uberlândia. Anais do XXII Workshop de Informática na Escola (WIE 2016). Porto Alegre: SBC, 2016.
DOS SANTOS, MAICON ANCA ; DU BOIS, ANDRE R. ; CAVALHEIRO, GERSON GERALDO H. . A user level approach to schedule BoT applications on private clouds. In: 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), 2016, Cambridge. 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), 2016. p. 31.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; Pilla, M. L. ; Gerson Cavalheiro . Composable Memory Transactions with Eager Version Management. In: ACM SAC, 2015, Salamanca. Proceedings of ACM SAC, 2015.
DU BOIS, ANDRE RAUBER ; PILLA, MAURICIO LIMA ; Rafael Bandeira . Composable Memory Transactions for Java Using a Monadic Intermediate Language. In: Brazilian Symosium on Programming languages, 2015, Minas Gerais. Proceedings of the Brazilian Symposioum on Programming Languages. Alemanha: LNCS, Springer, 2015. v. 9325.
RICO, T. ; Pilla, M. L. ; DU BOIS, A. R. . Energy Consumption and Scalability Evaluation for Software Transactional Memory on a Real Computing Environment. In: Workshop on Applications for Multi-Core Architectures (WAMCA), 2015, Florianópolis. Workshop on Applications for Multi-Core Architectures (WAMCA), 2015.
TEIXEIRA, F. ; Pilla, M. L. ; MOSSE, D. ; DU BOIS, A. R. . Impact of Version Management on Transactional Memories Performance. In: Workshop on Applications for Multi-Core Architectures (WAMCA), 2015, Florianópolis. Workshop on Applications for Multi-Core Architectures (WAMCA), 2015.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; Pilla, M. L. ; REISER, R. H. S. . Comparando o Desempenho de Implementações de Tabelas Hash Concorrentes em Haskell.. In: XVI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2015, Florianópolis. Anais do XVI Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD), 2015.
BARBARA, I. ; ARAUJO, N. ; Gerson Cavalheiro ; DU BOIS, A. R. . Evaluating overhead and contention in concurrent accesses to a graph. In: Workshop on Applications for Multi-Core Architectures (WAMCA), 2015, Florianópolis. Workshop on Applications for Multi-Core Architectures (WAMCA).
PINTO, B. ; KIST, D. ; Gerson Cavalheiro ; DU BOIS, A. R. . Kanga: a Skeleton-Based Generic Interface for Parallel Programming. In: Workshop on Applications for Multi-Core Architectures (WAMCA), 2015, Florianópolis. Workshop on Applications for Multi-Core Architectures (WAMCA), 2015.
SANTOS, G. ; SILVA, W. ; CAVALHEIRO, S. ; FOSS, L. ; AGUIAR, M. S. ; PERNAS, A. ; DU BOIS, A. R. ; REISER, R. H. S. . Proposta de atividade para o quinto ano do ensino fundamental: Algoritmos Desplugados. In: XXI Workshop de Informática na Escola (WIE), 2015, Maceió. Anais do WIE 2015, 2015.
DU BOIS, A. R. ; Pilla, M. L. ; DUARTE, RODRIGO MEDEIROS . Transactional Boosting for Haskell. In: Brazilian Symposium on Programming Languages (SBLP), 2014, Brasilia. Proceedings of SBLP, 2014. v. 8771. p. 145-159.
TEIXEIRA, F. ; Pilla, M. L. ; DU BOIS, A. R. ; MOSSE, D. . Profiling Patterns of Bit Flipping for Software Transactional Memories. In: International Symposium on Computer Architecture and High Performance Computing. In: Profiling Patterns of Bit Flipping for Software Transactional Memories. In: International Symposium on Computer Architecture and High Performance Computing, 2014, Paris. Proceedings of SBAC-PAD, 2014.
CAMPOS, G. M. ; CAVALHEIRO, S. ; FOSS, L. ; PERNAS, A. ; PIANA, C. F. B. ; AGUIAR, M. S. ; DU BOIS, A. R. ; REISER, R. H. S. . Organização de Informações via Pensamento Computacional: Relato de Atividade Aplicada no Ensino Fundamental. In: XIX Workshop de Informática na Escola (WIE 2014), 2014, Dourados. Anais do XIX Workshop de Informática na Escola, 2014, Dourados. Anais WIE. Porto Alegre: Sociedade Brasilieira de Computação, 2014.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, ANDRE RAUBER ; Pilla, M. L. ; REISER, R. H. S. . Implementação de algoritmos de tabelas hash concorrentes em Haskell. In: WSCAD-WIC, 2014. WSCAD. Porto Alegre: Sociedade Brasilieira de Computação, 2014.
CAVALHEIRO, S. ; CAMPOS, G. M. ; FINKENAUER JUNIOR, P. ; LAGEMANN, R. D. ; ANDRADE, D. ; PERNAS, A. ; DU BOIS, ANDRE RAUBER ; PIANA, C. F. B. ; FOSS, L. . Desenvolvendo Habilidades do Pensamento Computacional no Quarto Ano do Ensino Fundamental. In: 32 Seminário de Extensão Universitária da Região Sul, 2014, Curitiba. Anais SEURS, 2014.
DUARTE, RODRIGO MEDEIROS ; Du Bois, André Rauber ; Gerson Cavalheiro . Uma implementação de STM Haskell com versionamento adiantado. In: WSCAD-WIC, 2013, Porto de Galinhas. Anais WSCAD. Porto Alegre: SBC, 2013.
TEIXEIRA, F. ; PILLA, MAURICIO LIMA ; Du Bois, André Rauber ; MOSSE, D. . Análise do Consumo de Energia das Escritas das Memórias Transacionais em Memória PCM. In: WSCAD-WIC, 2013, Porto de Galinhas. Anais WSCAD. Porto Alegre: SBC, 2013.
RICO, T. ; Pilla, M. L. ; Du Bois, André Rauber ; DUARTE, RODRIGO MEDEIROS . Scalability of Software Transactional Memory. In: Workshop de Modelos de Programação Paralela, 2013, Porto de Galinhas. Anais do MPP (Modelos de Programação Paralela). Porto Alegre: SBC, 2013.
DU BOIS, ANDRE RAUBER ; PILLA, MAURICIO LIMA ; DUARTE, RODRIGO MEDEIROS . A High-Level Implementation of STM Haskell with Write/Write Conflict Detection. In: 2012 3rd Workshop on Applications for MultiCore Architectures (WAMCA), 2012, New York. 2012 Third Workshop on Applications for Multi-Core Architecture, 2012.
RICO, T. ; Pilla, M. L. ; Du Bois, André Rauber . Energy Consumption on Software Transactional Memories. In: I Workshop de Modelos para Programação Paralela, 2012, Petrópolis. Anais do I Workshop de Modelos para Programação Paralela. Petrópolis: SBC, 2012.
TEIXEIRA, F. ; Pilla, M. L. ; DU BOIS, A. R. . Impacto do Uso de Phase-Change Memory em Memórias Transacionais em Software. In: WSCAD-WIC, 2012, Petrópolis. WSCAD-WIC, 2012.
DU BOIS, A. R. . An implementation of Composable Memory Transactions in Haskell. In: International Symposium Software Composition, 2011, Zurich. Software Composition, LNCS, 2011. v. 6708. p. 34-50.
DU BOIS, A. R. ; Gerson Cavalheiro . pFun: a semi-explicit parallel purely functional language. In: Latin American Conference on High Performance Computing (CLCAR), 2010, Gramado. Proc. of CLCAR 2010, 2010.
DU BOIS, A. R. ; Marcos Echevarria . A domain specific language for composable memory transactions in java. In: IFIP Workshop on Domain Specific Languages (DSL 2009), 2009, Oxford. Proceedings of DSL 2009, LNCS. New York: Springer-Verlag, 2009. v. 5658.
Vizzoto, Juliana ; DU BOIS, A. R. ; Amr Sabry . The Arrow Calculus as a Quantum Programming Language. In: wollic, 2009, Japao. WOLLIC. Berlin: lncs, Springer-Verlag, 2009. v. 5514.
Marcos Echevarria ; DU BOIS, A. R. . Um Sistema de Versionamento Adiantado para a Linguagem CMTJava. In: Languages and Tools for Parallel and Distributed Programming, 2009, Gramado. Third Workshop on Languages and Tools for Parallel and Distributed Programming. Porto Alegre RS: SBC, 2009. p. 25-32.
DU BOIS, A. R. ; Gerson Cavalheiro . Design and implementation of a semi-explicit parallel purely functional language. In: 9th Symposium Trends in Functional Programming, 2008, Nijmegen. Draft Proceedings of the 9th Symposium on Trends in Functional Programming, 2008.
Vizzoto, Juliana ; DU BOIS, A. R. . Modelling parallel quantum computing using transactional memory. In: Quantum Physics and Logic Development of Computational Models, 2008, Reykjavik. Proc. of Quantum Physics and Logic Development of Computational Models, 2008.
Camargo, Cícero ; Fonseca, Lucas ; Gerson Cavalheiro ; DU BOIS, A. R. . Adaptação da Linguagem pFun para Ambientes com a Memória Compartilhada. In: Languages and Tools for Parallel and Distributed Programming, 2008, Fortaleza. (Aceito para publicacao) Proc. of Languages and Tools for Parallel and Distributed Programming, 2008.
DU BOIS, A. R. ; STORCH, M. S. ; YAMIN, A. C. . Patterns of Mobile Computation in Java. In: Conferencia Latinoamericana de Informática, 2008, Santa Fe. (Aceito) Proc. of Conferencia Latinoamericana de Informática, 2008.
DU BOIS, A. R. ; Vizzoto, Juliana . Memórias transacionais e sua programação usando STM Haskell. In: Simposio Brasileiro de Linguagens de Programacao, 2008, Fortaleza. Anais do Simposio Brasileiro de Linguagens de Programacao, 2008.
STORCH, M. S. ; DU BOIS, A. R. ; YAMIN, A. C. . Aplicando Padrões de Projeto em Computação Móvel. In: Latin American Conference on Pattern Languages of Programming, 2007, Porto de Galinhas. Proceedings of the 16th Latin American Conference on Pattern Languages of Programming, 2007. p. 278-290.
DU BOIS, A. R. ; YAMIN, A. C. ; Gerson Cavalheiro ; Pilla, M. L. . pFun: A semi-explicit purely functional language. In: Workshop on Languages and Tools for Parallel and Distributed Programming, 2007, Gramado. Proceedings of the Workshop on Languages and Tools for Parallel and Distributed Programming, 2007.
Moller, E. ; Pilla, M. L. ; Al-Alam, W. ; YAMIN, A. C. ; DU BOIS, A. R. . Gerenciamento de Dispositivos de Borda Reconfiguráveis na Computação Pervasiva. In: IWorkshop on Pervasive and Ubiquitous Computing, 2007, Gramado. Proceedings of the First Workshop on Pervasive and Ubiquitous Computing, 2007.
DU BOIS, A. R. ; LOIDL, H-W. ; TRINDER, P. . Strong Mobility in Mobile Haskell. In: Simposio Brasileiro de Linguagens de Programacao, 2006, Itatiaia - RJ. Anais do X Simpósio Brasileiro de Linguagens de Programação, 2006. p. 91-104.
Field, Z ; TRINDER, P. ; DU BOIS, A. R. . A Comparative Evaluation of Three Mobile Languges. In: Proc. 3rd Mobility Conference 2006, 2006, Bangkok. Proc. 3rd Mobility Conference 2006. New York, NY, USA: ACM, 2006.
Field, Z ; TRINDER, P. ; DU BOIS, A. R. . Two Executable Mobililty Design Patterns: mfold and mmap. In: Pattern Languages of Programs (PLoP'06), 2006, Portland. Proc. Pattern Languages of Programs (PLoP'06). Portland, Oregon, 2006.
DU BOIS, A. R. ; LOIDL, H-W. ; TRINDER, P. . mHaskell: Mobile Computation in a purely functional language. In: Brazilian Symposium on programming languages, 2005, Recife. Proceedings of Brazilian Symp. on Programming Languages, 2005. p. 161-174.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . Strong Mobility in Mobile Haskell. In: 17th International Workshop on Implementation and Application of Functional Languages, 2005, Dublin, Irlanda. Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages. Dublin: Technical Report, Trinity College, University of Dublin., 2005.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . Towards Mobility Skeletons. In: Constructive Methods for Parallel Programming (CMPP04), 2004, Stirling. Proceedings of CMPP04. Stirling, UK: University of Strirling, 2004. p. 19-33.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . Towards a Mobile Haskell. In: WFLP, 2003, Valencia. WFLP, 2003. p. 113-126.
BARBOSA, J. L. V. ; DU BOIS, A. R. ; FRANCO, A. R. ; GEYER, C. F. R. . Java como Linguagem Intermediária para Compiladores Multiparadigma. In: CLEI, 2003, La Paz. CLEI, 2003. p. 82-83.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . Implementing Mobile Haskell. In: Fourth international symposium on Trends in Functional Programming, 2003, Edimburgo. Proceedings of the Trends In Functional Programming Symposium. Edinburgh: University of Edinburgh, 2003.
DU BOIS, A. R. ; TRINDER, P. ; LOIDL, H-W. . Thread Migration in a Parallel Graph Reducer. In: International Workshop on the Implementation of Functional Languages, 2002, Madrid. IFL 2002, (LNCS 2670), 2002. v. 2670. p. 199-214.
DU BOIS, A. R. ; POINTON, R. ; LOIDL, H-W. ; TRINDER, P. . Implementing Declarative Parallel Bottom-Avoiding Choice. In: SBAC-PAD, 2002, Vitória. SBAC-PAD, 2002. p. 82-92.
DU BOIS, A. R. ; COSTA, A. C. R. . Distributed Execution of Functional Programs on the JVM. In: EUROCAST 2001 - Eight International Conference on Computer Aided Systems Theory Formal Methods and Tools For Computer Science, 2001, Las Palmas de Gran Canaria. Proceedings of EUROCAST 2001 (LNCS 2178), 2001. v. 2178. p. 570-582.
DU BOIS, A. R. ; BARBOSA, J. L. V. ; GEYER, C. F. R. . HoloJava: Translating a Distributed Multiparadigm Language into Java. In: CLEI 2001, 2001, Merida. Anais do CLEI 2001, 2001.
DU BOIS, A. R. ; BARBOSA, J. L. V. ; GEYER, C. F. R. . Adding Functional Programming into the Holo Language. In: WFLP 2001, 2001, kiel. Proceedings do WFLP 2001, 2001. p. 45-58.
DU BOIS, A. R. ; COSTA, A. C. R. . Some Experiences Conecting functional Languages and Java. In: 3rd Scottish Functional Programming Workshop, 2001, Stirling. Proceedings of 3rd SFP, 2001.
DU BOIS, A. R. ; COSTA, A. C. R. . Funcitonal Beans. In: 9th International Workshop on Functional and Logic Programming, 2000, Benicassin. Functional and Logic Programming (WFLP 2000). Madrid: Universidade Politecnica de Madrid, 2000.
DU BOIS, A. R. ; COSTA, A. C. R. . Programando os Agentes Micorsoft com a Linguagem Funcional Haskell. In: Ofincina de Inteligência Artificial, 3, 1999, Pelotas. Ofincina de Inteligencia Artificial, 3. Pelotas: EDUCAT, 1999.
FACCHI, BERNARDO BELTRAME ; BRAGA, ANDREI DE ALMEIDA SAMPAIO ; Du Bois, André Rauber ; FEITOSA, SAMUEL DA SILVA . Towards Random Elixir Code Generation. In: Simpósio Brasileiro de Linguagens de Programação, 2024, Brasil. Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2024). p. 91.
QUEVEDO, CRISTIAN CARVALHO ; OLIVEIRA JR., MARCOS ANTONIO DE ; Du Bois, André Rauber ; CAVALHEIRO, GERSON GERALDO H. . A Snapshot of OpenMP Projects on GitHub. In: Simpósio Brasileiro de Linguagens de Programação, 2024, Brasil. Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2024). p. 102.
COSTA, M. A. ; TEIXEIRA, F. ; PILLA, M. L. ; DU BOIS, A. R. . Comparação das bibliotecas de STM TinySTM e SwisSTM, com o benchmark Lee- TM. In: Escola Regional de Alto Desempenho, 2016, São Leopoldo. Anais da ERAD 2016. Porto Alegre: SBC, 2016.
DUARTE, RODRIGO MEDEIROS ; Du Bois, André Rauber ; PILLA, MAURICIO LIMA ; REISER, R. H. S. . Proposta de Escalonamento de Transações para STM Haskell. In: Escola Regional de Alto Desempenho, 2016, São Leopoldo. Anais da ERAD 2016, 2016.
CONCEICAO, J. ; Du Bois, André Rauber ; REISER, R. H. S. . Adicionando Transactional Boosting em um Compilador da Linguagem Haskell. In: Escola Regional de Alto Desempenho, 2016, São Leopoldo. Anais da ERAD 2016. Porto Alegre: SBC, 2016.
RAMOS, J. ; DU BOIS, ANDRE RAUBER ; PILLA, M. L. . Um Estudo sobre STM para Arquiteturas Distribuídas.. In: Escola Regional de Alto Desempenho, 2016, São Leopoldo. Anais da ERAD 2016 (Fórum PG), 2016.
TEIXEIRA, F. ; PILLA, M. L. ; Du Bois, André Rauber . Caracterização do Consumo de Energia dos Diferentes Versionamentos de Dados da biblioteca TinySTM em uma memória PCM.. In: Escola Regional de Alto Desempenho, 2016, São Leopoldo. Anais da ERAD 2016, 2016.
HUBNER, T. ; DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. . Avaliação de árvores rubro negras em Haskell usando diferentes mecanismos de programação concorrente. In: ERAD, 2015, Gramado. Anais ERAD 2015, 2015.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; PILLA, MAURICIO LIMA ; REISER, R. H. S. . Implementação de um algoritmo de tabela hash não bloqueante em Haskell. In: ERAD, 2015, Gramado. Anais ERAD 2015, 2015.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; Pilla, M. L. ; REISER, R. H. S. . Comparando o Desempenho de Implementações de Tabelas hash Concorrentes em Haskell.. In: WEIT, 2015, Porto Alegre. Anais do WEIT 2015. Porto Alegre: SBC, 2015.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; Pilla, M. L. . Um Estudo Comparativo entre algoritmos de tabelas hash concorrente em Haskell. In: ERAD, 2014, ALEGRETE. ERAD. PORTO ALEGRE: SBC, 2014.
DUARTE, RODRIGO MEDEIROS ; DU BOIS, A. R. ; Gerson Cavalheiro . Implementação de uma versão de STM Haskell com versionamento adiantado. In: ERAD 2013, 2013, Porto Alegre. ERAD 2013. Porto Alegre: SBC, 2013.
TEIXEIRA, F. ; FAVERETTO, R. ; Pilla, M. L. ; DU BOIS, A. R. . Impacto de uma arquitetura híbrida com memória PCM e Memória DRAM, em Memórias Transacionais. In: ERAD 2013, 2013, Porto Alegre. ERAD 2013. Porto Alegre: SBC, 2013.
DUARTE, RODRIGO MEDEIROS ; Du Bois, André Rauber ; Gerson Cavalheiro . Verificando o desempenho e a eficiência energética das memórias transacionais. In: ERAD 2012, 2012, Erechim. ERAD 2012. Erechim: SBC, 2012.
TEIXEIRA, F. ; Pilla, M. L. ; DU BOIS, A. R. . Inversao de Bit cuma alternativa na redução do desgaste de memórias pcm. In: ERAD, 2015. Anais ERAD 2015, 2015.
RAMOS, J. ; DU BOIS, A. R. ; Pilla, M. L. . Uma linguagem de domínio especifico baseada em monadas com suporte a memória transacional distribuída em Java. In: ERAD, 2015, Gramado. Anais ERAD 2015, 2015.
COSTA, M. A. ; TEIXEIRA, F. ; Pilla, M. L. ; DU BOIS, A. R. . Avaliação dos padrões de escrita em benchmarks stm. In: ERAD, 2015, Gramado. Anais ERAD 2015, 2015.
TEIXEIRA, F. ; Pilla, M. L. ; DU BOIS, A. R. . Análise de escritas em Memórias Transacionais em relação ao tempo de execução. In: ERAD, 2014, ALEGRETE. ERAD 2014. Porto Alegre: SBC, 2014.
RAMOS, J. ; DU BOIS, A. R. ; Pilla, M. L. . Uma Linguagem de Domínio Específico para memória Transacional Distribuída em Java. In: ERAD, 2014, ALEGRETE. ERAD 2014. Porto Alegre: SBC, 2014.
KIST, D. ; Gerson Cavalheiro ; DU BOIS, A. R. . Uma Interface Genérica Baseada em Esqueletos para Estender as Funcionalidade de Athreads. In: ERAD, 2014, ALEGRETE. ERAD 2014. Porto Alegre: SBC, 2014.
RICO, T. ; Pilla, M. L. ; DU BOIS, A. R. ; DUARTE, RODRIGO MEDEIROS . Análise do Consumo de Energia e Desempenho de Memórias Transacionais em Software em Cenário de Alta Contenção. In: ERAD 2013, 2013, Porto Alegre. ERAD 2013. Porto Alegre: SBC, 2013.
RAMOS, J. ; DU BOIS, A. R. ; Pilla, M. L. . Avaliação de Memórias Transacionais para Máquinas NUMA. In: ERAD 2013, 2013, Porto Alegre. ERAD 2013. Porto Alegre: SBC, 2013.
Rafael Bandeira ; DU BOIS, A. R. ; Pilla, M. L. . Avaliação do novo sitema de execução de transações da CMTJava. In: ERAD 2013, 2013. ERAD 2013. Porto Alegre: SBC, 2013.
KIST, D. ; Gerson Cavalheiro ; DU BOIS, A. R. . Interfaces para Programação Paralela, uma Alternativa para Anahy. In: ERAD 2013, 2013, Porto Alegre. ERAD 2013. Porto Alegre: SBC, 2013.
LEMKE, A. ; REISER, R. H. S. ; Du Bois, André Rauber ; Pilla, M. L. . Towards aggregating fuzzy s-Xor connectives. In: WEIT, 2013, Rio Grande. Anais do WEIT. Rio Grande: Furg, 2013.
RAMOS, J. ; Du Bois, André Rauber ; Pilla, M. L. . Uma Linguagem de Domínio Específico Baseada em Mônadas para Transações Distribuídas em Java. In: WEIT, 2013, Rio Grande. Anais do WEIT. Rio Grande: Furg, 2013.
Rafael Bandeira ; DU BOIS, A. R. ; Pilla, M. L. . Implementação de um Esquema de Invalidação Mista na Linguagem CMTJava. In: Escola Regional de Alto Desempenho, 2012, Erechim. ERAD 2012. Erechim: SBC, 2012.
PASQUALIN, D. ; Vizzoto, Juliana ; DU BOIS, A. R. . Linguagens de Programação para a Computação Pervasiva. In: ERAD 2010, 2010, Passo Fundo. ERAD 2010. Porto Alegre: SBC, 2010.
Marcos Echevarria ; DU BOIS, A. R. . Melhorando o desempenho da CMTJava com versionamento de dados adiantado. In: ERAD 2010, 2010, Passo Fundo. ERAD 2010. Porto Alegre: SBC, 2010.
DU BOIS, A. R. ; DIMURO, G. P. ; COSTA, A. C. R. . Trabalhando com Polimorfismo e Reuso de Código na Linguagem Funcional Haskell. In: Congresso Nacional de Matemática Aplicada e Computacional, 1999, Santos. Anais do CNMAC. Rio de Janeiro: SBMAC, 1999.
DU BOIS, A. R. ; COSTA, A. C. R. ; DIMURO, G. P. ; R. G. S. SCHNEIDER . Listas em Haskell. In: CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 1998, Caxambú. Anais do 21 CNMAC. Rio de Janeiro: SBMAC, 1998.
DU BOIS, A. R. ; R. G. S. SCHNEIDER ; ARAUJO, E. ; COSTA, A. C. R. . Comparando Algoritmos Funcionais e Imperativos. In: Encontro Regional de Matemática Aplicada e Computacional, 1998, Santa Maria. Anais do 5 ERMAC. Santa Maria: Centro Gráfico, 1998.
DU BOIS, A. R. ; R. G. S. SCHNEIDER ; ARAUJO, E. ; REISER, R. H. S. . A Indução na Programação Funcional. In: CONGRESSO NACIONAL DE MATEMÁTICA APLICADA E COMPUTACIONAL, 1997, GRAMADO. Anais do 20 CNMAC. Rio de Janeiro: SBMAC, 1997.
DU BOIS, A. R. ; DIMURO, G. P. ; REISER, R. H. S. . Lógica Intervalar e a Regra de Inferência Lógica Intervalar. In: Encontro Regional de Matemática Aplicada e Computacional, 1996, Ijuí. Anais do 4 ERMAC, 1996.
DU BOIS, A. R. ; REISER, R. H. S. ; DIMURO, G. P. . Lógica Intervalar. In: Congresso Nacional de Matemática Aplicada e Computacional, 1996. Anais do 19 CNMAC. Rio de Janeiro: SBMAC, 1996. p. 226-227.

Outras produções

DU BOIS, A. R. . TL2 STM Haskell. 2011.

Rafael Bandeira ; DU BOIS, A. R. ; Pilla, M. L. . Compilador da linguagem CMTJava. 2010.

DU BOIS, A. R. ; Pilla, M. L. ; Gerson Cavalheiro . Compilador pfun. 2010.

DU BOIS, ANDRE R. . Comitê de Programa e Revisor de Artigos Fórum PG ERAD 2024. 2024.

DU BOIS, ANDRE R. . Pesquisador Gaúcho FAPERGS - Metaprogramação aplicada no desenvolvimento de abstrações combináveis para a programação de GPUs. 2024.

DU BOIS, ANDRE R. . Comitê de Programa e revisor de artigos para o 15th Workshop on Applications for Multi-Core Architectures. 2024.

DU BOIS, ANDRE R. . Comitê de Programa e Revisor de Artigos Simpósio Brasileiro de Linguagens de Programação. 2024.

DU BOIS, ANDRE R. . Comitê de programa e Revisor de artigo Escola Regional de Alto Desempenho. 2023.

DU BOIS, ANDRE R. . Comitê de programa e Revisor de artigo Simpósio Brasileiro de Linguagens de Programação. 2023.

DU BOIS, ANDRE R. . Comitê de Programa e revisor de artigos para o Symposium on Implementation and Application of Functional Languages. 2023.

DU BOIS, ANDRE R. . Comitê de Programa e Revisor de artigos do Workshop on Applications for Multi-Core Architectures. 2023.

DU BOIS, ANDRE R. . Comitê de programa e Revisor de artigos do Workshop de Iniciação Científica em Arquitetura de Computadores e Computação de Alto Desempenho (WSCAD-WIC). 2023.

Du Bois, André Rauber . Pós-Graduação em Alto Desempenho. 2012. (Programa de rádio ou TV/Mesa redonda).

Du Bois, André Rauber ; Pilla, M. L. ; Rafael Bandeira ; RICO, T. . Programação de Máquinas Multicore usando Memórias Transacionais em Software. 2013. .

DU BOIS, A. R. . Erlang - Desenvolvimento de sistemas distribuidos. 2007. .

DU BOIS, A. R. . The Attack (Filme em Super 8mm). 2003. Filme.

DU BOIS, A. R. ; FELDENS, L. O. . Na Batida (Filme em 16mm). 2002. Filme.

DU BOIS, A. R. . My bike is blue band - www.mp3.com/mybikeisblue. 2000.

Projetos de pesquisa

2016 - Atual

GREEN-CLOUD: Computação em Cloud com Computação Sustentável, Descrição: O objetivo deste projeto é construir uma nuvem computacional (CLOUD RS / NUVEM RS) sobre recursos de processamento alocados nas instituições federadas neste projeto e, dentro deste contexto, estudar a Computação em Nuvem como um ambiente para execução de aplicações com altas demandas de processamento, buscando identificar os problemas e propor modelos de utilização para que a Computação em Nuvem seja adotada em larga escala. Sabe-se que a Computação em Nuvem apresenta grandes atrativos para o processamento de alto desempenho (PAD). Entre estes atrativos, o compartilhamento de recursos e a possibilidade de criação de ambientes virtuais se destacam. Enquanto o primeiro reduz os custos associados aos recursos físicos, tanto de aquisição como de pessoal para geri-los, o segundo permite criar ambientes virtuais com as características que atendam necessidades específicas de cada usuário. Isto implica que, durante sua operação, a nuvem seja submetida a uma grande variação na sua carga de processamento. Essa variabilidade de operação será analisada considerando características desejáveis a uma Computação Sustentável, sendo priorizado o consumo energético do sistema aliado às características econômicas de nuvem. O custo energético dos sistemas computacionais vem crescendo de forma significativa, tornando-se hoje um fator de decisão importante na hora da configuração de um sistema. São buscadas soluções que permitam maximizar a taxa de utilização dos recursos de hardware, aumentando assim a capacidade de processamento sem aumentar o custo energético. Este contexto de processamento consciente do custo energético associa a Computação em Nuvem à Computação Sustentável. A presente proposta agrega o esforço de quatro grupos de trabalho distribuídos em quatro Instituições de Ensino Superior do Estado do Rio Grande do Sul, a saber: a Universidade Federal do Rio Grande do Sul, a Universidade Federal de Pelotas, a Universidade Federal de Santa Maria e a Pontifícia Universidade Católica do Rio Grande do Sul. Os parceiros propõem unir suas competências para a criação de uma infraestrutura de nuvem para a área acadêmica do RS. As atenções da pesquisa relatadas estão voltadas às questões relacionadas ao suporte de execução de aplicações sobre esta infraestrutura, havendo também preocupação de concepção e implantação de ferramentas de apoio ao desenvolvimento de aplicações para esta nuvem considerando o requisito de computação sustentável. A validação dos resultados se dará por um estudo dedicado principalmente à avaliação da relação poder computacional atingido em função da energia consumida, mas também por questões relacionadas à facilidade de uso do ambiente e de programação das aplicações. A equipe formada acumula grande experiência nas áreas de redes, da computação distribuída e de processamento alto desempenho, como mostram suas publicações na área e sua inserção nas comunidades nacionais e internacionais. Em particular destaca-se que esta equipe executou, com êxito, projeto financiado pelo Edital FAPERGS/CNPq 008/2009 PRONEX, atestando não apenas esta experiência, como também seu potencial de sucesso. A presente proposta envolve alunos de doutorado, de mestrado e de iniciação científica com intuito de formar recursos humanos na área e tem como principal contribuição uma plataforma de nuvem para cálculo intensivo sustentável do ponto de vista energético, denominada GREEN-CLOUD... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Integrante / Cláudio Fernando Resin Geyer - Integrante / Adenaeur Correa Yamin - Integrante / Andrea Charão - Integrante / CAVALHEIRO, GERSON GERALDO HOMRICH - Integrante / PILLA, MAURICIO L. - Integrante / Lisandro Zambenedetti Granville - Coordenador / Philippe Olivier Alexandre Navaux - Integrante / César Augusto F de Rose - Integrante., Financiador(es): FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Auxílio financeiro.
2015 - Atual

Estratégias para escalonamento de tarefas em arquiteturas multithread, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Integrante / Gerson Cavalheiro - Coordenador / Maurício Lima Pilla - Integrante.
2015 - Atual

Técnicas para Computação Sustentável em Ambientes Paralelos e Ubíquos, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Integrante / Renata Hax Sander Reiser - Integrante / Muricio Lima Pilla - Coordenador.
2015 - Atual

Proposta Metodológica para a Introdução do Raciocínio Computacional no Ensino Fundamental, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Integrante / Renata Hax Sander Reiser - Integrante / Gerson Cavalheiro - Integrante / Luciana Foss - Integrante / Simone Cavalheiro - Coordenador / M. S. Aguiar - Integrante / A. Pernas - Integrante.
2014 - 2016

EXP-PC - Explorando o Pensamento Computacional para a Qualificação do Ensino Fundamental, Projeto certificado pelo(a) coordenador(a) Simone André da Costa Cavalheiro em 03/01/2018., Descrição: Este projeto de pesquisa está relacionado com o projeto de extensão de mesmo nome, o qual tem como objetivo o desenvolvimento de ações para promover o Pensamento Computacional em escolas do Ensino Fundamental do município de Pelotas. Pensamento computacional é um método para solução de problemas que utiliza como base os fundamentos e técnicas da ciência da computação. De forma geral, habilidades comumente utilizadas na criação de programas computacionais para resolver problemas específicos são utilizadas como uma metodologia para resolver problemas de forma geral. Este projeto busca o desenvolvimento de uma proposta metodológica e de um conjunto de ações para promover o pensamento computacional na Educação Fundamental. Particularmente, o projeto tem por objetivo geral criar uma rede educacional para consolidar o pensamento computacional no âmbito do quarto ano do ensino fundamental. Para o Brasil, a pesquisa na área deste projeto e certamente estratégica, pois permitir á que esta nova metodologia seja disseminada na Educação Fundamental do País, contribuindo diretamente com a formação e qualificação dos estudantes e demais profissionais (educadores, professores, gestores, servidores).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (25) . , Integrantes: André Rauber Du Bois - Integrante / Renata Hax Sander Reiser - Integrante / Luciana Foss - Integrante / Simone Cavalheiro - Coordenador / Ana Pernas - Integrante / M. S. Aguiar - Integrante / Clause Piana - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Auxílio financeiro.
2014 - 2016

compFlexD-GM: Computações Flexíveis via Computação Quântica com suporte ao ambiente D-GM, Descrição: O Projeto CompFlexD-GM visa o desenvolvimento de novas tecnologias pela consolidação de aplicações em duas abordagens: (i) qualificar potenciais aplicações paralelas e/ou distribuídas no ambiente de programação visual VPE-qGM, considerando diferentes arquiteturas multiprocessadas para suporte à computações paralelas e/ou distribuídas no VirD-GM; (ii) viabilizar soluções para problemas da Lógica Fuzzy usufruindo das vantagens e potencialidades providas por ambientes de programação para simulação quântica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) . , Integrantes: André Rauber Du Bois - Integrante / Renata Hax Sander Reiser - Coordenador / Adenaeur Correa Yamin - Integrante / Luciana Foss - Integrante / Simone Cavalheiro - Integrante / Maurício Lima Pilla - Integrante / Benjamin BEDREGAL - Integrante., Financiador(es): FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Auxílio financeiro.
2014 - Atual

LEAPaD: Laboratório de Estudos Avançados em Sistemas Paralelos e Distribuídos (PROCAD), Descrição: O processamento paralelo e distribuído é uma realidade nos sistemas computacionais há muitos anos. No entanto, observa-se no histórico mais recente, o crescimento dos horizontes de sua aplicação em função de uma nova realidade de mercado, a qual oferece preços muito competitivos para os mais diversos tipos de plataformas de hardware, implicando no aumento das ofertas de soluções e, consequentemente, de demandas de aplicações da sociedade em geral. Logo, se no passado não muito distante, problemas e questões relacionadas ao processamento paralelo e distribuído surgiam em função do desenvolvimento de aplicações caracterizadas por necessitarem de uma grande quantidade de recursos computacionais, hoje surge uma nova classe de problemas em função da pluralidade de dimensões que as novas plataformas de processamento oferecem. Esta pluralidade reflete a incorporação nas plataformas de execução de diferentes tecnologias de hardware com suporte ao processamento intensivo e paralelo, incluindo não apenas os multiprocessadores e aglomerados de computadores, mas também FPGAs, GPUs, grades e nuvens computacionais. Dentre os efeitos observados, buscam-se novos modelos computacionais para solucionar as diferentes questões operacionais que se apresentam nesta nova realidade. Neste contexto, o presente projeto se insere apresentando a criação do LEAPaD, um laboratório, virtualmente distribuído entre as instituições parceiras, vocacionado em explorar questões ligadas ao gerenciamento das ações que envolvem o processamento paralelo e distribuído. O LEAPaD, acrônimo para Laboratório de Estudos Avançados em Sistemas Paralelos e Distribuídos, se institui de forma a consolidar linhas de atuação ligadas aos programas associados a este projeto, buscando explorar soluções para construções de aplicações e sistemas de gerenciamento e exploração de processamento de alto desempenho em arquiteturas paralelas e distribuídas, tais como FPGAs, ambientes multiprocessados e com GPUs, aglomerados de computadores e de grades e nuvens computacionais... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Integrante / Adenaeur Correa Yamin - Integrante / Luciana Foss - Integrante / Simone Cavalheiro - Integrante / Ana Pernas - Integrante / Paulo Ferreira Jr - Integrante / Maurício Lima Pilla - Integrante / Rafael Soares - Integrante / bruno zatt - Integrante / CAVALHEIRO, GERSON GERALDO HOMRICH - Coordenador / luciano agostin - Integrante / marcelo porto - Integrante / renata reiser - Integrante / Felipe marques - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2013 - Atual

Memórias transacionais adaptativas para arquiteturas Heterogêneas, Descrição: Algoritmos para implementar a abstração de memórias transacionais são geralmente desenvolvidos levando em consideração arquiteturas UMA (Uniform memory access) na qual todos os processadores tem um tempo de acesso uniforme à memória principal e.g. [6, 7, 8]. Porém, hoje em dia existem várias arquiteturas diferentes baseadas em multi-cores que também necessitam abstrações de alto nível para o desenvolvimento de programas, e.g., NUMAs, clusters, GRIDs etc. Dessa forma, o objetivo deste trabalho é desenvolver um sistema de memórias transacionais adaptativo, que dependendo da arquitetura paralela usada, modifique o algoritmo transacional para melhor explorar os recursos do(s) dispositivo(s). O trabalho irá se dividir em duas áreas principais: (1) desenvolvimento da linguagem de alto nível para expressar transações de memória e (2) desenvolvimento do sistema de tempo de execução adaptativo que dará suporte as abstrações. A linguagem de programação funcionará como uma linguagem de domínio específico para programação de transações e deverá ser compatível com qualquer linguagem orientada a objetos que possua características modernas como polimorfismo de tipos (ou tipos genéricos) e abstrações lambda (ou clousures). O que diferencia esta linguagem de outras linguagens para programação paralela usando memórias transacionais é: a linguagem irá proporcionar um alto nível de composição, ou seja, transações poderão ser compostas para gerar novas transações. Além disso a linguagem deverá permitir o acesso e interoperação de objetos concorrentes e distribuídos através de transações locais e remotas, o que será suportado por um sistema de tempo de execução adaptativo.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Coordenador / Gerson Cavalheiro - Integrante / Muricio Lima Pilla - Integrante.
2011 - 2013

Programação de Máquinas Multicore Usando Composição de ações Transacionais em Linguagens Orientadas a Objeto, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) . , Integrantes: André Rauber Du Bois - Coordenador., Financiador(es): FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Auxílio financeiro.
2010 - 2013

GREEN-GRID: Computação de Alto Desempenho Sustentável, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Rauber Du Bois - Coordenador / Adenaeur Correa Yamin - Integrante / Gerson Cavalheiro - Integrante / Muricio Lima Pilla - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Auxílio financeiro.
2008 - 2010

pFun: Uma linguagem paralela funcional para a programação de processadores multi-core, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: André Rauber Du Bois - Coordenador / Adenaeur Correa Yamin - Integrante / Gerson Cavalheiro - Integrante / Muricio Lima Pilla - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Católica de Pelotas - Bolsa / FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Bolsa.
2005 - 2008

Mobilidade de Codigo Usando uma Linguagem Funcional Pura, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: André Rauber Du Bois - Coordenador / Adenaeur Correa Yamin - Integrante / Muricio Lima Pilla - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Católica de Pelotas - Bolsa.

Prêmios

2025

Primeiro Lugar Melhor Artigo Simpósio Brasileiro de Linguagens de Programação (artigo Hok: Higher-Order GPU kernels in Elixir ), Sociedade Brasileira de Computação.

2025

Segundo Lugar, Melhor Artigo do Simpósio Brasileiro de Linguagens de Programação (artigo OFG-STM: Transactional Memory for GPUs based on Obstruction-Free STM algorithms), Sociedade Brasileira de Computação.

2020

Best Paper - Aluno Douglas Pasqualin - 2020 BenchCouncil International Symposium on Benchmarking, Measuring and Optimizing (Bench'20), International Open Benchmark Council (BenchCouncil).

2020

Excellence for Reproducible Research - Aluno: Douglas Pasqualin - 2020 BenchCouncil International Symposium on Benchmarking, Measuring and Optimizing (Bench'20), International Open Benchmark Council (BenchCouncil).

2018

Best Paper Award (3rd Place), Brazilian Symposium on Formal Methods, Sociedade Brasileira de Computação.

2015

2nd Lugar Melhor Artigo, Simpósio Brasileiro de Linguagens de Programação (SBLP-SBC).

2015

Melhor artigo de Iniciação Científica - Aluno Rodrigo Medeiros Duarte, Workshop Escola de Informática Teórica.

2014

Melhor Artigo Brazilian Symposium on Programming Languages, Sociedade Brasileira de Computação.

2014

Menção Honrosa, WSCAD-WIC (Alundo Rodrigo Duarte), WSCAD/Sociedade Brasileira de Computação.

2013

Melhor Artigo (WSCAD-WIC, Aluno Rodrigo Duarte), WSCAD/SBC.

2003

Allen McTernan Memorial Fund, Heriot-Watt University.

2001

Overseas Research Students Awards Scheme, Secretary of State for Education and Science, UK.

1999

Beatriz Neves, SBMAC.

Histórico profissional

Endereço profissional

Universidade Federal de Pelotas, PPGC - Programa de Pós-Graduação em Computação. , Rua Gomes Carneiro, Centro, 96010610 - Pelotas, RS - Brasil - Caixa-postal: 354, Telefone: (53) 91360674, URL da Homepage:

Experiência profissional

2009 - Atual

Universidade Federal de Pelotas

Vínculo: , Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

2002 - 2004

Heriot-Watt University

Vínculo: Colaborador, Enquadramento Funcional: Tutor/Demonstrator/Co-orientador de Mestrado, Carga horária: 6

Atividades

11/2003 - 11/2004
Ensino, Mobile Computation, Nível: Graduação,Disciplinas ministradas, Mobile Computation

2007 - 2009

Universidade Católica de Pelotas

Vínculo: Celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

2005 - 2007

Universidade Católica de Pelotas

Vínculo: Celetista, Enquadramento Funcional: Professor Auxiliar, Carga horária: 40, Regime: Dedicação exclusiva.

2001 - 2001

Universidade Católica de Pelotas

Vínculo: Auxiliar de Ensino, Enquadramento Funcional: Auxiliar de Ensino, Carga horária: 12

Outras informações:
Professor de Sistemas Operacionais Distribuidos

Atividades

03/2007
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos Especiais em Linguagens de Programação, Tópicos Avançados em Processamento Paralelo e Distribuído
02/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Arquitetura e Organização de Computadores, Algoritmos e Programacao I, Compiladores, Laboratorio de Programacao III, Lógica para Computação, Modelos de Linguagens de Programação, Programacao Declarativa, Semantica Formal
03/2005
Pesquisa e desenvolvimento, Escola de Informática.,Linhas de pesquisa
07/2007 - 11/2008
Direção e administração, Centro de Ciências Exatas Tecnologia e Informática, Departamento de Informatica.,Cargo ou função, Vice Coordenador do PPGInf.
03/2005 - 02/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, organizacao e arquitetura de computadores I, Programacao Avancada, Programacao Declarativa, Programacao Orientada a Objetos
03/2001 - 09/2001
Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Operacionais Distribuídos