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 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 Semantic Equivalence of Language Syntax Formalisms.

Samuele Buro, Isabella Mastroeni

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 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