by Vijay Janapa Reddi and Amir Yazdanbakhsh on Jun 14, 2023 | Tags: Benchmarks, Competitions, Datasets, Leaderboards, Machine Learning, ML4Sys, MLSys
Machine learning driven computer architecture tools and methods have the potential to drastically shape the future of computer architecture. The question is: how can we lay the foundation to effectively usher in this era? In this post, we delve into the transformative...
Read more...
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...