Hank Hoffman
1 Papers
14 Citations
Hank Hoffman is an academic researcher. The author has contributed to research in topics: Emerging technologies & Formal methods. The author has an hindex of 1, co-authored 1 publications.
Chat about Author
Papers
Inter-Disciplinary Research Challenges in Computer Systems for the 2020s
Albert Cohen,Xipeng Shen,Josep Torrellas,James Tuck,Yuanyuan Zhou,Sarita V. Adve,Ismail Akturk,Saurabh Bagchi,Rajeev Balasubramonian,Rajkishore Barik,Micah Beck,Ras Bodik,Ali Butt,Luis Ceze,Haibo Chen,Yiran Chen,Trishul Chilimbi,Mihai Christodorescu,John Criswell,Chen Ding,Yufei Ding,Sandhya Dwarkadas,Erik Elmroth,Phil Gibbons,Xiaochen Guo,Rajesh Gupta,Gernot Heiser,Hank Hoffman,Jian Huang,Hillery C. Hunter,John Kim,Sam King,James R. Larus,Chen Liu,Shan Lu,Brandon Lucia,Saeed Maleki,Somnath Mazumdar,Iulian Neamtiu,Keshav Pingali,Paolo Rech,Michael L. Scott,Yan Solihin,Dawn Song,Jakub Szefer,Dan Tsafrir,Bhuvan Urgaonkar,Marilyn Wolf,Yuan Xie,Jishen Zhao,Lin Zhong,Yuhao Zhu +51 more
- 01 Sep 2018
TL;DR: This report argues for the need to tame the explosion of system complexity and heterogeneity by creating new abstractions and complexity-management solutions that need to be accessible to domain experts.
19