Samuel da Silva Feitosa

According to our database, Samuel da Silva Feitosa authored at least 24 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Differential Testing using Random Well-Typed Haskell Programs.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the 28th Brazilian Symposium on Programming Languages, 2024

Towards Random Elixir Code Generation.

Bernardo Beltrame Facchi, Andrei de Almeida Sampaio Braga, André Rauber Du Bois, Samuel da Silva Feitosa

Proceedings of the 28th Brazilian Symposium on Programming Languages, 2024

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

Proceedings of the 39th Brazilian Symposium on Databases, 2024

2023

Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória.

Natanael Zago, Andrei de Almeida Sampaio Braga, Braulio Mello, Samuel da Silva Feitosa

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

Uma DSL para gerar APIs RESTFul em Haskell.

Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa

Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

2022

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.

Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

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

Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

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

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

Synthesis of Random Real-World Java Programs from Preexisting Libraries.

Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa

Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021

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

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.

Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

An Intrinsically-Typed Solution for the List-Machine Benchmark.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020

2019

Strategies for testing and formalizing properties of modern programming languages

Samuel da Silva Feitosa

PhD thesis, 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

Towards Typed Semantics for Parsing Expression Grammars.

Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

An Inherently-Typed Formalization for Featherweight Java.

Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

2018

Formal Semantics for Java-like Languages and Research Opportunities.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

RITA, 2018

Generating Random Well-Typed Featherweight Java Programs Using QuickCheck.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XLIV Latin American Computer Conference - Selected Papers, 2018

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Property-based testing for lambda expressions semantics in featherweight Java.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

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

Proceedings of the Fuzzy Information Processing, 2018

2016

A Monadic Semantics for Quantum Computing in Featherweight Java.

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015

FJQuantum - A Quantum Object Oriented Language.

Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015