The Imperial College HiPEDS Research Centre is hosting an exciting 2-day workshop on Novel Architecture and Novel Design Automation (NANDA). The purpose of this workshop is to invite renowned experts in these two areas to present their latest advances, and to provide a forum to spark new ideas.
The preliminary schedule is as follows.
- 09:00 - Wayne Luk, Imperial College. NANDA: the Next Frontier
- 09:30 - Boris Grot, University of Edinburgh (online). When Serverless Meets Servers
- 10:00 - Kentaro Sano, RIKEN (online). Dedicated Inter-FPGA Networks for Scalable Reconfigurable Computing
10:30 - Break
- 11:00 - John Wickerson, Imperial College. Bringing Formal Methods to FPGAs
- 11:30 - Andreas Lööw, Imperial College. What Interactive Theorem Proving Can Do for Verilog Hardware Development
- 12:00 - Samuel Coward, Imperial College and Intel. ROVER: RTL Optimisation via Verified E-graph Rewriting
12:30 - Lunch
- 14:00 - David Thomas, University of Southampton. Co-designing a Language, Tool-chain, and Architecture: Lessons Learnt from the POETS Project
- 14:30 - Christos-Savvas Bouganis, Imperial College. Efficient Deployment of CNNs under Resource Constraints
- 15:00 - Alastair Reid, Intel (online). Towards a Formal Specification of Intel’s x86 Architecture
15:30 - Break
- 16:00 - Azalea Raad, Imperial College. Extended Consistency and Persistency Semantics of Intel-x86 Architectures
- 16:30 - Didem Unat, Koç University. Precise-Event Sampling on x86 Architectures and Its Uses in Profiling Tools
- 17:00 - Yiying Zhang, UCSD (online). Clio: A Hardware-Software Co-Designed Disaggregated Memory System
Tuesday, 6 September 2022
- 09:00 - Lana Josipović, ETH. From C/C++ to Dynamically Scheduled Circuits
- 09:30 - William Wang, Arm. Architectural Support for Persistent Memory
- 10:00 - Sam Ainsworth, University of Edinburgh (online). Vector Runahead for Indirect Memory Accesses
10:30 - Break
- 11:00 - TBA
- 11:30 - Tobias Grosser, University of Edinburgh (obline).. Compiler IRs: The Gold of Computer Systems
- 12:00 - Carl-Johan Seger, Chalmers University of Technology (online). Integrated Design and Verification: An Ounce of Prevention is Worth a Pound of Cure
12:30 - Lunch
- 14:00 - Paul Kelly, Imperial College
- 14:30 - Lluis Vilanova, Imperial College
- 15:00 - Alexandra Jimborean, Uppsala University (online). The Entangling Instruction Prefetcher
15:30 - Closing
Monday, 5 September 2022
08:50 - Welcome
If you wish to attend this workshop in-person, please register using the Registration Link. Invited speakers would be able to attend free of charge; the registration fee for other attendants would be £100, and for students would be £50 - please make payment through the Payment Link. Please note that registration and payment need to be done separately.
If you encounter problems concerning registration or payment, or if you are interested in this workshop but are unable to attend in person, please contact Jamie Targett. The presentations are expected to be made publicly available after the workshop.