NANDA Workshop
5-6 September 2022
The 91ÌÒÉ« College HiPEDS 91ÌÒÉ« Centre hosted an exciting 2-day workshop on Novel Architecture and Novel Design Automation (NANDA).
This brought together renowned experts in these two areas to present their latest advances and create a forum to spark new ideas.
Workshop details
Monday, 5 September 2022
08:50 - Welcome
09:00 - NANDA: the Next Frontier
Wayne Luk, 91ÌÒÉ« College
09:30 - When Serverless Meets Servers
Boris Grot, University of Edinburgh
10:00 - Dedicated Inter-FPGA Networks for Scalable Reconfigurable Computing
Kentaro Sano, RIKEN
10:30 – BREAK
11:00 - Bringing Formal Methods to FPGAs
John Wickerson, 91ÌÒÉ« College
11:30 - What Interactive Theorem Proving Can Do For Verilog Hardware Development
Andreas Lööw, 91ÌÒÉ« College
12:00 - ROVER: RTL Optimisation via Verified E-graph Rewriting
Samuel Coward, 91ÌÒÉ« College and Intel
12:30 – LUNCH
14:00 - Co-designing a Language, Tool chain, and Architecture: Lessons Learnt from the POETS Project
David Thomas, University of Southampton
14:30 - Efficient Deployment of CNNs under Resource Constraints
Christos-Savvas Bouganis, 91ÌÒÉ« College
15:00 - Towards a Formal Specification of Intel’s x86 Architecture
Alastair Reid, Intel
15:30 – BREAK
16:00 - Extending Intel-x86 Consistency and Persistency
Azalea Raad, 91ÌÒÉ« College
16:30 - Precise-Event Sampling on x86 Architectures and Its Uses in Profiling Tools
Didem Unat, Koç University
17:00 - Clio A Hardware-Software Co-Designed Disaggregated Memory System
Yiying Zhang, UCSD
Tuesday, 6 September 2022
09:00 - From C/C++ to Dynamically Scheduled Circuits
Lana Josipović, ETH
09:30 - Architectural Support for Persistent Memory
William Wang, Arm
10:00 - Vector Runahead for Indirect Memory Accesses
Sam Ainsworth, University of Edinburgh
10:30 – BREAK
11:00 - Neural Processing Unit for Transformers and Hardware-Neural-Network Co-Design
Thomas Chau, Samsung AI Centre
11:30 - Compiler IRs: The Gold of Computer Systems
Tobias Grosser, University of Edinburgh
12:00 - Integrated Design and Verification: An Ounce of Prevention is Worth a Pound of Cure
Carl-Johan Seger, Chalmers University of Technology
12:30 - Towards Ubiquitous Accelerators
Mikel Luján, University of Manchester
13:00 – LUNCH
14:00 - Towards Cross-Domain Domain-Specific Compiler Architecture
Paul Kelly, 91ÌÒÉ« College
14:30 - Security as a Performance Principle: A Tale on Hardware/Software Codesign
Lluis Vilanova, 91ÌÒÉ« College
15:00 - The Entangling Instruction Prefetcher
Alexandra Jimborean, University of Murcia
15:30 - Closing
Contact us
For general enquiries on how to work with the HiPEDS Centre, please get in touch with the Director of the HiPEDS 91ÌÒÉ« Centre, Professor Wayne Luk