Samuel da Silva Feitosa

26 papers C 1Journal 6Unranked 17

Year	Rank	Type	Title / 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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.