by Babak Falsafi and David A. Wood on Jun 19, 2023 |
Babak Falsafi is a Professor in the School of Computer and Communication Sciences at EPFL, in Lausanne, and has served as ACM SIGARCH Chair since 2019. David A. Wood is Professor Emeritus in the Computer Sciences Department of the University of Wisconsin, Madison and served as ACM SIGARCH Chair 2011-2015.
Read more...
by David Patterson on Jun 15, 2023 | Tags: Conference, conference design, Conferences, ISCA, people of systems and architecture, retrospective
I was recently talking to my UC Berkeley colleague Sophia Shao about the 50th International Symposium on Computer Architecture (ISCA) on June 17, and we discussed which papers are highly cited. The conversation inspired me to try to find the 50 most cited papers from...
Read more...
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...
