Samuele Buro

According to our database, Samuele Buro authored at least 6 papers between 2018 and 2025.

Collaborative distances:

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

2025

On multi-language abstraction: Towards a static analysis of multi-language programs.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Formal Methods Syst. Des., April, 2025

2020

On the semantic equivalence of language syntax formalisms.

Samuele Buro, Isabella Mastroeni

Theor. Comput. Sci., 2020

Equational Logic and Categorical Semantics for Multi-Languages.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Equational Logic and Set-Theoretic Models for Multi-Languages.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2019

On the Multi-Language Construction.

Samuele Buro, Isabella Mastroeni

Proceedings of the Programming Languages and Systems, 2019

2018

Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference.

Samuele Buro, Isabella Mastroeni

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018