Publications

Articles

International Conferences: 4

2021

- 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]

2020

- Miguel Matos and Paolo Romano and Shady Alaaeldin Issa and Miguel Viegas and Pedro Luís Galvão Raminhas and Nuno Machado, Exploiting Symbolic Execution to Accelerate Deterministic Databases, presented at International Conference on Distributed Computing Systems, Nov. 2020 [bibTex]
- Jingna Zeng and Shady Alaaeldin Issa and Seif Haridi and Luis Rodrigues and Paolo Romano, Brief Announcement: Investigating the Semantics of Futures in Transactional Memory Systems, presented at 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jul. 2020 [bibTex]
- Miguel Matos and Shady Alaaeldin Issa and Paulo Gouveia and João Neves and Carlos Segarra and Luca Liechti and Valerio Schiavoni, Kollaps: decentralized and dynamic topology emulation, presented at EuroSys, Apr. 2020 [bibTex] [PDF]