Publications

Articles

International Journal Articles: 2

2022

- Luís M. S. Russo and Daniel Castro and Aleksandar Ilic and Paolo Romano and Ana D. Correia, Stochastic simulated annealing for directed feedback vertex set, article in Applied Soft Computing vol. 129 pp. 109607, Nov. 2022, Elsevier [Article] [DOI Article link] [Supplementary Material] [bibTex]

2021

- Alexandro Baldassin and João Barreto and Daniel Castro and Paolo Romano, Persistent Memory: A Survey of Programming Support and Implementations, article in ACM Computing Surveys vol. 54, Jul. 2021, ACM [bibTex] [PDF]

International Conferences: 6

2021

- Paolo Romano and David Garlan and Gabriel Moreno and Eunsuk Kang and Mark Klein, Self-Adaptation for Machine Learning Based Systems, presented at Workshop on Software Architecture and Machine Learning (SAML), Jul. 2021 [bibTex]
- Maria da Loura Casimiro and David Garlan and Jávier Camara and Paolo Romano and Luis Rodrigues, A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems, presented at Proceedings of the Third International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), Jun. 2021 [bibTex]
- Maria da Loura Casimiro and Paolo Romano and David Garlan and Gabriel Moreno and Eunsuk Kang and Mark Klein, Self-Adaptation for Machine Learning Based Systems, presented at Proceedings of the 1st International Workshop on Software Architecture and Machine Learning (SAML), May. 2021 [bibTex]
- Paolo Romano, Transactions in the Era of Non Volatile Memory and Heterogeneous Memory Architectures, presented at Workshop on Performance and Energy-efficiency in Concurrent Systems, May. 2021 [bibTex]
- Jingna Zeng and Shady Alaaeldin Issa and Paolo Romano and Luis Rodrigues and Seif Haridi, Investigating the Semantics of Futures in Transactional Memory Systems, presented at The 26st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Mar. 2021 [bibTex]
- Daniel Castro and Alexandro Baldassin and João Barreto and Paolo Romano, SPHT: Scalable Persistent Hardware Transactions, presented at 19th USENIX Conference on File and Storage Technologies (FAST), Feb. 2021 [bibTex] [PDF] [Video]

as Editors

Edited Proceedings: 1

2021

- Quentin Bramas and Rotem Oshman and Paolo Romano, editors, 24th International Conference on Principles of Distributed Systems (OPODIS), Jan. 2021, LIPIcs, Volume 184, OPODIS 2020, Complete Volume [bibTex]

Reports

Technical Reports: 1

2021

- Daniel Castro and Paolo Romano and João Barreto and Alexandro Baldassin, Scalable Persistent Hardware Transactions, INESC-ID Tec. Rep. 1/2021, Jan. 2021 [bibTex] [PDF]