FJQuantum - A Quantum Object Oriented Language. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (WEIT, 2015)

A Monadic Semantics for Quantum Computing in Featherweight Java. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (SBLP, 2016)

Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing. - Lucas Barreiro Agostini; Samuel da Silva Feitosa; Anderson Braga de Avila; Renata Reiser; André DuBois; Maurício L. Pilla (NAFIPS, 2018)

Property-based testing for lambda expressions semantics in featherweight Java. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2018)

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBMF, 2018)

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (CLEI Selected Papers, 2018)

Formal Semantics for Java-like Languages and Research Opportunities. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (RITA, 2018)

An Inherently-Typed Formalization for Featherweight Java. - Samuel da Silva Feitosa; Alejandro Serrano Mena; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (SBLP, 2019)

Towards Typed Semantics for Parsing Expression Grammars. - Rodrigo Geraldo Ribeiro; Leonardo Vieira dos Santos Reis; Samuel da Silva Feitosa; Elton M. Cardoso (SBLP, 2019)

A monadic semantics for quantum computing in an object oriented language. - Samuel da Silva Feitosa; Juliana Kaizer Vizzotto; Eduardo Kessler Piveta; André Rauber Du Bois (Sci. Comput. Program., 2019)

Strategies for testing and formalizing properties of modern programming languages - Samuel da Silva Feitosa (2019)

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. - Felipe Sasdelli; Maycon Amaro; Elton M. Cardoso; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBLP, 2020)

A type-directed algorithm to generate random well-typed Java 8 programs. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (Sci. Comput. Program., 2020)

Synthesis of Random Real-World Java Programs from Preexisting Libraries. - Luiz Felipe Kraus; Bruno Schafaschek; Rodrigo Geraldo Ribeiro; Samuel da Silva Feitosa (SBLP, 2021)

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. - Elton M. Cardoso; Maycon Amaro; Samuel da Silva Feitosa; Leonardo Vieira dos Santos Reis; André Rauber Du Bois; Rodrigo Geraldo Ribeiro (CLEI Electron. J., 2021)

Towards an Extrinsic Formalization of Featherweight Java in Agda. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro; André Rauber Du Bois (CLEI Electron. J., 2021)

Open transactional actions: interacting with non-transactional resources in STM Haskell. - Jonathas Augusto de Oliveira Conceição; André Rauber Du Bois; Samuel da Silva Feitosa; Gerson Geraldo Homrich Cavalheiro; Rodrigo Geraldo Ribeiro (Haskell, 2022)

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. - Maycon Amaro; Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (SBMF, 2022)

An intrinsically-typed solution for the list-machine benchmark. - Samuel da Silva Feitosa; Rodrigo Geraldo Ribeiro (J. Comput. Lang., 2022)

Uma DSL para gerar APIs RESTFul em Haskell. - Nataniel Siebeneichler; Felipe Grando; Giancarlo Salton; Samuel da Silva Feitosa (SBLP, 2023)

Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória. - Natanael Zago; Andrei Braga; Braulio Mello; Samuel da Silva Feitosa (SBLP, 2023)

Enumeration, Tagged Unions, Tuples, and Collections: A Novel Approach to Extracting JSON Schema. - Natália Banhara; Geomar André Schreiner; Samuel da Silva Feitosa; Denio Duarte (SBBD, 2024)