Samuel da Silva Feitosa

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

Collaborative distances:

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

2023

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

Natanael Zago, Andrei 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

An intrinsically-typed solution for the list-machine benchmark.

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

J. Comput. Lang., 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

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