Samuele Buro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2020
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | MFPS | Equational Logic and Categorical Semantics for Multi-Languages. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | SAS | On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2019 | ESOP | On the Multi-Language Construction. | Samuele Buro, Isabella Mastroeni |
| 2018 | VMCAI | Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. | Samuele Buro, Isabella Mastroeni |