| 2018 |
Trabalho em evento |
Transactional Boosting no Glasgow Haskell Compiler
Jonathas CONCEIÇÃO; André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO
Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD)
|
PS
Artificial Intelligence
|
| 2018 |
Trabalho em evento |
SoccerCraft: Relato de Atividade para Ensino Aprendizagem de Habilidades do Pensamento Computacional Aplicada no Sexto Ano do Ensino Fundamental
S S MARTIN; Simone CAVALHEIRO; Luciana FOSS; Reiser Renata Hax SANDER; Ana Rita MAZZINI et al
Workshop sobre Educação em Computação
|
SH
Education
|
| 2018 |
Trabalho em evento |
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs
Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS
Simpósio Brasilero de Métodos Formais (SBMF 2018)
|
PS
Computer Science (miscellaneous)
|
| 2018 |
Trabalho em evento |
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck
Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS
SLTC - XLIV Conferência Latino-americana de Informática (CLEI 2018)
|
PS
Computer Science (miscellaneous)
|
| 2018 |
Trabalho em evento |
Formalizing Java 8 Features Using Featherweight Java
Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS
WTDSoft 2018
|
PS
Computer Science (miscellaneous)
|
| 2018 |
Artigo em periódico |
Formal Semantics for Java-like Languages and Research Opportunities
Feitosa Samuel S; Rodrigo Geraldo RIBEIRO; André Rauber Du BOIS
REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA
ISSN 2175-2745
|
PS
Artificial Intelligence
|
| 2017 |
Trabalho em evento |
A User-Level Scheduling Framework for BoT Applications on Private Clouds
Dos Santos Maicon ANCA; André Rauber Du BOIS; Cavalheiro Gerson Geraldo HOMRICH
2017 29th International Symposium on Computer Architecture and High Performance Computing (SBACPAD)
DOI 10.1109/sbac-pad.2017.18
ISBN 9781509012336
|
PS
Computer Science Applications
|
| 2017 |
Trabalho em evento |
Impact of Version Management for Transactional Memories on Phase-Change Memories
Teixeira Felipe L; Pilla Mauricio L; André Rauber Du BOIS; Mosse DANIEL
2017 International Symposium on Computer Architecture and High Performance Computing Workshops (SBACPADW)
DOI 10.1109/sbac-padw.2017.24
ISBN 9781538648193
|
LS
Neuroscience (miscellaneous)
|
| 2017 |
Trabalho em evento |
Certified Bit-Coded Regular Expression Parsing
Ribeiro RODRIGO; André Rauber Du BOIS
the 21st Brazilian Symposium
DOI 10.1145/3125374.3125381
ISBN 9781450353892
|
PS
Artificial Intelligence
|
| 2017 |
Trabalho em evento |
A Domain Specific Language For Drum Beat Programming
André Rauber Du BOIS; Rodrigo Geraldo RIBEIRO
Brazilian Symposium on Computer Music
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Livro |
Science of Computer Programming (Special Issue Extended Selected Paper from SBLP)
André Rauber Du BOIS; Phil TRINDER
—
ISBN 0000000
|
PS
Artificial Intelligence
|
| 2016 |
Trabalho em evento |
Comparação das bibliotecas de STM TinySTM e SwisSTM; com o benchmark Lee- TM
Michael Alexandre COSTA; Felipe TEIXEIRA; Maurício Lima PILLA; André Rauber Du BOIS
Escola Regional de Alto Desempenho
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Trabalho em evento |
Proposta de Escalonamento de Transações para STM Haskell
Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Pilla Mauricio LIMA; Renata Hax Sander REISER
Escola Regional de Alto Desempenho
|
PS
Software
|
| 2016 |
Trabalho em evento |
Adicionando Transactional Boosting em um Compilador da Linguagem Haskell
Jonathas CONCEIÇÃO; André Rauber Du BOIS; Renata Hax Sander REISER
Escola Regional de Alto Desempenho
|
PS
Software
|
| 2016 |
Trabalho em evento |
Um Estudo sobre STM para Arquiteturas Distribuídas.
Jeronimo RAMOS; André Rauber Du BOIS; Maurício Lima PILLA
Escola Regional de Alto Desempenho
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Trabalho em evento |
Caracterização do Consumo de Energia dos Diferentes Versionamentos de Dados da biblioteca TinySTM em uma memória PCM.
Felipe TEIXEIRA; Maurício Lima PILLA; André Rauber Du BOIS
Escola Regional de Alto Desempenho
|
PS
Engineering (miscellaneous)
|
| 2016 |
Trabalho em evento |
An Embedded Domain Specific Language for Distributed Memory Transactions in Java
Jeronimo RAMOS; André Rauber Du BOIS; Pilla Mauricio LIMA
ACM/SIGAPP Symposium On Applied Computing (SAC)
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Trabalho em evento |
Concurrent Hash Tables for Haskell
Duarte Rodrigo MEDEIROS; André Rauber Du BOIS; Muricio Lima PILLA; Gerson CAVALHEIRO
Brazilian Simposium on Programming Languages
|
PS
Software
|
| 2016 |
Trabalho em evento |
A Monadic Semantics for Quantum Computing in Featherweight Java
Feitosa Samuel S; Vizzotto Juliana K; Piveta Eduardo K; André Rauber Du BOIS
Brazilian Simposium on Programming Languages
|
PS
Artificial Intelligence
|
| 2016 |
Trabalho em evento |
Information organization via computational thinking: case study in a primary school classroom
Simone CAVALHEIRO; A PERNAS; M S AGUIAR; Luciana FOSS; André Rauber Du BOIS et al
24º WEI - Workshop sobre Educação em Computação
|
SH
Education
|
| 2016 |
Trabalho em evento |
Representação e Análise de Dados no Quinto Ano do Ensino Fundamental: Proposta de Atividade e Relato de Aplicação.
Yuri R WEISSHAHN; Gustavo PINHO; Simone CAVALHEIRO; C F B PIANA; André Rauber Du BOIS et al
XXII Workshop de Informática na Escola
|
SH
Education
|
| 2016 |
Trabalho em evento |
Pensamento Computacional no Ensino Fundamental: Relato de Atividade de Introdução a Algoritmos
Gustavo PINHO; Yuri R WEISSHAHN; Simone CAVALHEIRO; Reiser RENATA; C F B PIANA et al
XXII Workshop de Informática na Escola
|
PS
Computer Science Applications
|
| 2016 |
Trabalho em evento |
A user level approach to schedule BoT applications on private clouds
Dos Santos Maicon ANCA; André Rauber Du BOIS; Cavalheiro Gerson Geraldo H
2016 IEEE 15th International Symposium on Network Computing and Applications (NCA)
DOI 10.1109/nca.2016.7778588
ISBN 9781509032167
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Artigo em periódico |
FJQuantum - A Quantum Object Oriented Language
Feitosa Samuel S; Vizzotto Juliana K; Piveta Eduardo K; André Rauber Du BOIS
Electronic Notes in Theoretical Computer Science
DOI 10.1016/j.entcs.2016.09.007
ISSN 1571-0661
|
SH
Linguistics and Language
|
| 2016 |
Artigo em periódico |
Interpretations on Quantum Fuzzy Computing: Intuitionistic Fuzzy Operations × Quantum Operators
Reiser RENATA; Lemke ALEXANDRE; Avila ANDERSON; Vieira JÚLIA; Pilla MAURÍCIO et al
Electronic Notes in Theoretical Computer Science
DOI 10.1016/j.entcs.2016.09.012
ISSN 1571-0661
|
PS
Artificial Intelligence
|