Research output per year
Research output per year
Fingerprint
Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Concord: Rethinking Distributed Coherence for Software Caches in Serverless Environments
Stojkovic, J., Alverti, C., Andrade, A., Iliakopoulou, N., Franke, H., Xu, T. & Torrellas, J., 2025, Proceedings - 2025 IEEE International Symposium on High Performance Computer Architecture, HPCA 2025. IEEE Computer Society, p. 458-473 16 p. (Proceedings - International Symposium on High-Performance Computer Architecture).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
CXLfork: Fast Remote Fork over CXL Fabrics
Alverti, C., Psomadakis, S., Ocalan, B., Jaiswal, S., Xu, T. & Torrellas, J., Mar 30 2025, ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 210-226 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
M5: Mastering Page Migration and Memory Management for CXL-based Tiered Memory Systems
Sun, Y., Kim, J., Yu, Z., Zhang, J., Chai, S., Kim, M. J., Nam, H., Park, J., Na, E., Yuan, Y., Wang, R., Ahn, J. H., Xu, T. & Kim, N. S., Mar 30 2025, ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 604-621 18 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Multi-Grained Specifications for Distributed System Model Checking and Verification
Ouyang, L., Sun, X., Tang, R., Huang, Y., Jivrajani, M., Ma, X. & Xu, T., Mar 30 2025, EuroSys 2025 - Proceedings of the 2025 20th European Conference on Computer Systems. Association for Computing Machinery, p. 379-395 17 p. (EuroSys 2025 - Proceedings of the 2025 20th European Conference on Computer Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Anvil: Verifying Liveness of Cluster Management Controllers
Sun, X., Ma, W., Gu, J. T., Ma, Z., Chajed, T., Howell, J., Lattuada, A., Padon, O., Suresh, L., Szekeres, A. & Xu, T., 2024, Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024. USENIX Association, p. 649-666 18 p. (Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution