1. Henko Aantjes Amjad Y. Majid and Przemysław Pawełczak. 2016. A Testbed for Transiently Powered Computers. arXiv:arXiv:1606.07623 Henko Aantjes Amjad Y. Majid and Przemysław Pawełczak. 2016. A Testbed for Transiently Powered Computers. arXiv:arXiv:1606.07623
2. HarvOS
3. Albert Cohen Xipeng Shen Josep Torrellas James Tuck Yuanyuan Zhou Sarita 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 Hunter John Kim Sam King James Larus Chen Liu Shan Lu Brandon Lucia Saeed Maleki Somnath Mazumdar Iulian Neamtiu Keshav Pingali Paolo Rech Michael Scott Yan Solihin Dawn Song Jakub Szefer Dan Tsafrir Bhuvan Urgaonkar Marilyn Wolf Yuan Xie Jishen Zhao Lin Zhong and Yuhao Zhu. 2018. Inter-Disciplinary Research Challenges in Computer Systems for the 2020s. Technical Report. USA. Albert Cohen Xipeng Shen Josep Torrellas James Tuck Yuanyuan Zhou Sarita 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 Hunter John Kim Sam King James Larus Chen Liu Shan Lu Brandon Lucia Saeed Maleki Somnath Mazumdar Iulian Neamtiu Keshav Pingali Paolo Rech Michael Scott Yan Solihin Dawn Song Jakub Szefer Dan Tsafrir Bhuvan Urgaonkar Marilyn Wolf Yuan Xie Jishen Zhao Lin Zhong and Yuhao Zhu. 2018. Inter-Disciplinary Research Challenges in Computer Systems for the 2020s. Technical Report. USA.
4. Chain: tasks and channels for reliable intermittent programs