Samuel da Silva Feitosa

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 19

Top Topics

Object Oriented

Propositional Logic

Quantum Computing

Top Venues

Sci. Comput. Program.

CLEI Electron. J.

Publications

Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching. SBMF (2022)
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro
Open transactional actions: interacting with non-transactional resources in STM Haskell. Haskell (2022)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
An intrinsically-typed solution for the list-machine benchmark. J. Comput. Lang. 68 (2022)
Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI Electron. J. 24 (3) (2021)
Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa
Synthesis of Random Real-World Java Programs from Preexisting Libraries. SBLP (2021)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Towards an Extrinsic Formalization of Featherweight Java in Agda. CLEI Electron. J. 24 (3) (2021)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
An Intrinsically-Typed Solution for the List-Machine Benchmark. SBLP (2020)
Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. SBLP (2020)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
A type-directed algorithm to generate random well-typed Java 8 programs. Sci. Comput. Program. 196 (2020)
Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
An Inherently-Typed Formalization for Featherweight Java. SBLP (2019)
Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso
Towards Typed Semantics for Parsing Expression Grammars. SBLP (2019)
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
A monadic semantics for quantum computing in an object oriented language. Sci. Comput. Program. 173 (2019)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs. SBMF (2018)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. CLEI Selected Papers (2018)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Formal Semantics for Java-like Languages and Research Opportunities. RITA 25 (3) (2018)
Lucas Barreiro Agostini, Samuel da Silva Feitosa, Anderson Braga de Avila, Renata Reiser, André DuBois, Maurício L. Pilla
Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing. NAFIPS (2018)
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
Property-based testing for lambda expressions semantics in featherweight Java. SBLP (2018)
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
A Monadic Semantics for Quantum Computing in Featherweight Java. SBLP (2016)
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
FJQuantum - A Quantum Object Oriented Language. Electron. Notes Theor. Comput. Sci. 324 (2016)