Samuel da Silva Feitosa

26 papers C 1Journal 6Unranked 17
YearRankTypeTitle / Venue / Authors
2024 — conf
Differential Testing using Random Well-Typed Haskell Programs.
SBLP
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2024 — conf
Enumeration, Tagged Unions, Tuples, and Collections: A Novel Approach to Extracting JSON Schema.
SBBD
Natália Banhara, Geomar André Schreiner, Samuel da Silva Feitosa, Denio Duarte
2024 — conf
Towards Random Elixir Code Generation.
SBLP
Bernardo Beltrame Facchi, Andrei de Almeida Sampaio Braga, André Rauber Du Bois, Samuel da Silva Feitosa
2023 — ed.
Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023
SBLP
Samuel da Silva Feitosa
2023 — conf
Uma DSL para gerar APIs RESTFul em Haskell.
SBLP
Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa
2023 — conf
Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória.
SBLP
Natanael Zago, Andrei de Almeida Sampaio Braga, Braulio Mello, Samuel da Silva Feitosa
2022 — conf
A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.
SBMF
Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2022 J jnl
An intrinsically-typed solution for the list-machine benchmark.
J. Comput. Lang.
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2022 C conf
Open transactional actions: interacting with non-transactional resources in STM Haskell.
Haskell
Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro
2021 — conf
Synthesis of Random Real-World Java Programs from Preexisting Libraries.
SBLP
Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa
2021 J jnl
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.
CLEI Electron. J.
Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro
2021 J jnl
Towards an Extrinsic Formalization of Featherweight Java in Agda.
CLEI Electron. J.
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2020 J jnl
A type-directed algorithm to generate random well-typed Java 8 programs.
Sci. Comput. Program.
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2020 — conf
An Intrinsically-Typed Solution for the List-Machine Benchmark.
SBLP
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2020 — conf
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.
SBLP
Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
2019 J jnl
A monadic semantics for quantum computing in an object oriented language.
Sci. Comput. Program.
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2019 — conf
An Inherently-Typed Formalization for Featherweight Java.
SBLP
Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2019 — —
Strategies for testing and formalizing properties of modern programming languages
Samuel da Silva Feitosa
2019 — conf
Towards Typed Semantics for Parsing Expression Grammars.
SBLP
Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso
2018 — conf
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.
SBMF
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 J jnl
Formal Semantics for Java-like Languages and Research Opportunities.
RITA
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 — conf
Generating Random Well-Typed Featherweight Java Programs Using QuickCheck.
CLEI Selected Papers
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 — conf
Property-based testing for lambda expressions semantics in featherweight Java.
SBLP
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois
2018 — conf
Representing Intuistionistic Fuzzy Bi-implications Using Quantum Computing.
NAFIPS
Lucas Barreiro Agostini, Samuel da Silva Feitosa, Anderson Braga de Avila, Renata Reiser, André DuBois, Maurício L. Pilla
2016 — conf
A Monadic Semantics for Quantum Computing in Featherweight Java.
SBLP
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois
2015 — conf
FJQuantum - A Quantum Object Oriented Language.
WEIT
Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois