Samuele Buro

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

Collaborative distances:

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

2020

On the semantic equivalence of language syntax formalisms.

Samuele Buro, Isabella Mastroeni

Theor. Comput. Sci., 2020

On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Proceedings of the Static Analysis - 27th International Symposium, 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