by Neeraja Yadwadkar on Jun 9, 2023 | Tags: datacenter, Datacenters, deep learning, deep neural networks, Machine Learning, Systems
Implications of Machine Learning (ML), be the training or inference serving, have steered systems and architecture research accordingly. A significant amount of work is happening in the Systems for ML space ranging from building efficient systems for data...
Read more...
by Caroline Trippel on Jun 6, 2023 | Tags: formal methods, logic, model checking, Programming Languages
Acknowledgements: This blogpost discusses joint work between the author and Matthias Cosler, Christopher Hahn, Daniel Mendoza, and Frederik Schmitt. Introduction A rigorous formalization of desired system requirements is indispensable when performing any verification...
Read more...
by Hyeran Jeon, Dong Li, Jie Ren on May 31, 2023 | Tags: Architecture, Conference, CXL, Heterogeneous and Composable Memory, hpca, Memory
Introduction Memory systems are evolving into heterogeneous and composable architectures. Heterogeneous and Composable Memory (HCM) offers a feasible solution for terabyte- or petabyte-scale systems, addressing the performance and efficiency demands of emerging...
Read more...
by Jung Ho Ahn on May 23, 2023 | Tags: CKKS, Emerging Application, Homomorphic Encryption, Privacy-preserving Computing, Private AI
In addition to the commencement of public releases by companies participating in DARPA’s Data Protection in Virtual Environments (DPRIVE) program, such as TREBUCHET, BASALISC, and HERACLES, there has been significant progress in the field of FHE (Fully...
Read more...
by Natalie Enright Jerger on May 16, 2023 | Tags: ASPLOS, Conferences, Review, Reviewing
For 2023, ASPLOS embarked on a new multi-deadline review model. Multiple deadlines are meant to encourage authors to submit their papers when ready, to facilitate the selection of some papers for revision and to distribute the reviewer workload better. In this post,...
Read more...
by Jakub Szefer on Mar 1, 2023 | Tags: Cryptography, Post Quantum Cryptography, Quantum Computing, Security
Introduction Quantum computer architecture security research is a new and active research field. As the new year and semester is under way, this article looks back at the recent quantum computer architecture security papers published or posted online in the prior year...
Read more...
