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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution