The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions
Cardoso, Elton, Amaro, Maycon, Feitosa, Samuel, Reis, Leonardo, Du Bois, André, Ribeiro, Rodrigo
Published in CLEI electronic journal (13.12.2021)
Published in CLEI electronic journal (13.12.2021)
Get full text
Journal Article
Towards an Extrinsic Formalization of Featherweight Java in Agda
Feitosa, Samuel, Ribeiro, Rodrigo Geraldo, Du Bois, Andre Rauber
Published in CLEI electronic journal (13.12.2021)
Published in CLEI electronic journal (13.12.2021)
Get full text
Journal Article
A User-Level Scheduling Framework for BoT Applications on Private Clouds
Anca dos Santos, Maicon, Du Bois, Andre Rauber, Homrich Cavalheiro, Gerson Geraldo
Published in 2017 29th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) (01.10.2017)
Published in 2017 29th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) (01.10.2017)
Get full text
Conference Proceeding
Kanga: A Skeleton-Based Generic Interface for Parallel Programming
Kist, Deives, Pinto, Bruno, Bazo, Rodrigo, Rauber Du Bois, Andre, Cavalheiro, Gerson Geraldo H.
Published in 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW) (01.10.2015)
Published in 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW) (01.10.2015)
Get full text
Conference Proceeding
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
Year of Publication 2013
Get full text
Conference Proceeding
Evaluating Overhead and Contention in Concurrent Accesses to a Graph
Da Silva Barbara, Israel, de Araujo, Nicolas O., Rauber Du Bois, Andre, Cavalheiro, Gerson Geraldo H.
Published in 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW) (01.10.2015)
Published in 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW) (01.10.2015)
Get full text
Conference Proceeding
Impact of Version Management on Transactional Memories' Performance
Teixeira, Felipe L., Pilla, Mauricio L., Bois, Andre R. Du, Mosse, Daniel
Published in 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW) (01.10.2015)
Published in 2015 International Symposium on Computer Architecture and High Performance Computing Workshop (SBAC-PADW) (01.10.2015)
Get full text
Conference Proceeding
Transactional Boosting for Haskell
Du Bois, André Rauber, Pilla, Maurício Lima, Duarte, Rodrigo
Published in Programming Languages (2014)
Published in Programming Languages (2014)
Get full text
Book Chapter
A type-directed algorithm to generate random well-typed Java 8 programs
Feitosa, Samuel, Ribeiro, Rodrigo, Du Bois, Andre
Published in Science of computer programming (15.09.2020)
Published in Science of computer programming (15.09.2020)
Get full text
Journal Article
Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores
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
Published in Revista brasileira de informática na educação (21.09.2022)
Published in Revista brasileira de informática na educação (21.09.2022)
Get full text
Journal Article