Meetings - StanfordAHA/CGRAFlow GitHub Wiki
Wed 1:30-2:30pm in Gates Building Room 459 (updated again for winter quarter 2024).
NOTE First meeting of each month is usually our monthly affiliates meeting. It uses a different zoom:
https://stanford.zoom.us/j/91319555315 ... see email and/or ask Eiko for password.
Regular zoom for regular non-affiliate meetings:
Join from PC, Mac, Linux, iOS or Android: https://stanford.zoom.us/j/92743153085
See Eiko e-mail for password and more details about alternative ways to join the Zoom meeting.
Upcoming
Calendars
% cal 1 2022 -A 2
January February March
Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa
1 1 2 3 4 5 1 2 3 4 5
2 3 4 5 6 7 8 6 7 8 9 10 11 12 6 7 8 9 10 11 12
9 10 11 12 13 14 15 13 14 15 16 17 18 19 13 14 15 16 17 18 19
16 17 18 19 20 21 22 20 21 22 23 24 25 26 20 21 22 23 24 25 26
23 24 25 26 27 28 29 27 28 27 28 29 30 31
30 31
[https://registrar.stanford.edu/academic-calendar Stanford Academic Calendar] (https://registrar.stanford.edu)/academic-calendar)
Jan 10 - (Affiliates meeting) 8-bit Transformer Inference and Fine-tuning for Edge Accelerators by Jeffrey Yu
Jan 17 - No meeting
Jan 24 - Opal physical design in Intel 16 - Review and current challenges by Po-Han Chen
Jan 31 - Available
Feb 7 - (Affiliates meeting) Memory Consistency Model-Aware Cache Coherence for
Heterogeneous Shared Memory Systems by Rachel Cleaveland
Feb 14 - Available
Feb 21 - Research ideas for center
Feb 28 - No meeting
Mar 6 - (Affiliates meeting) A 64.5 TFLOPS/W SoC for Edge AI Training with Activation Rematerialization,
Spatial-Invariant 2D Block Floating-Point, and In-Place Transpose by Thierry Tambe
Mar 20 - Top design integration flow for chip class by Chris Torng
Apr 3 - (Affiliates meeting) Towards Efficient Verification of Quantized Neural Networks Pei Huang
Apr 10 - Vision transformer inference (ISPASS practice talk) by Kavya Sreedhar
Apr 17 - Rewrite rule set generation by Caleb Terrill
May 1 - Extended Einsums: Domain-Specific Kernels in the Language of Tensor Algebra by Nandeeka Divya Nayak and Toluwanimi Odemuyiwa
May 8 (Affiliates mtg) Domain-Specific Software, Hardware, and their Composition by Fredrik Kjoelstad
May 22 VLSI Practice Talk by Kalhan Koul
June 5 Faster Algorithms for LLM Inference and Serving by Ying Sheng
July 10th - Applications of Discrete Optimization Techniques to Solve Assorted Hardware Design Problems by Sunil Sudhakaran
Jan 11 - Affiliates meeting: Talk 1 - Cascade: An Application Pipeline Tool for CGRAs (Jack Melchert, Yuchen Mei), Talk 2 - Available
Jan 18 - No meeting
Jan 25 - Gedeon: SoC Generation Methodology
Feb 1 - No meeting
Feb 8 - Affiliates meeting: Jack Melchert on Verified Agile Hardware; Mark Horowitz on The Future of High-Speed Links
Feb 15 - No meeting
Feb 22 - Sneha
Mar 1 - Smart components (Caleb)
Mar 8 - Affiliates meeting: Jin Yang (Intel) on A Scalable Formal Approach for Correctness-Assured Hardware Design;
Yu-Neng Wang on Agile Application-Centric Design of Reconfigurable Analog Circuits
Mar 15 - No meeting
Mar 22 - Jack and Olivia: ASPLOS practice talks
Mar 29 - Spring break
Apr 5 - No meeting
Apr 12 - Affiliates Meeting - Talk 1: Enable Resource-Aware Scheduling for Reconfigurable Hardware Accelerators by Qiaoyi Liu
Talk 2: Complete Rewrite Rule Set Generation Using SMT by Ross Daly
Apr 19 - No meeting
Apr 26 - Discussion on AHA meeting topics
May 3 - No meeting
May 10 - Affiliates Meeting
Talk 1: Mosaic: An Interoperable Compiler for Tensor Algebra by Manya Bansal
Talk 2: MINOTAUR: Enabling Transformer Models at the Edge with Posits and Resistive RAM by Kartik Prabhu
May 17 - Talk 1: Graph hardware by Mark Jeffrey
May 24 - Talk 1: Halide to hardware design review by Jeff Setter
Talk 2: Sparse hardware design review by Kalhan Koul
May 31 - Talk 1: Sparse data reorganization by AJ
Talk 2: P&R design review by Jack Melchert
June 7 - Talk 1: Using FPGAs for emulation by Brianna McColm
Talk 2: Analog verification with digital model checkers by Aron and Akshay
Jun 14 - Affiliates Meeting
Talk 1: Biology needs computer architects: Keeping up with genomic-scale data by Sneha Goenka
Talk 2: G-QED: Generalized QED pre-silicon verification beyond non-interfering hardware accelerators by Saranyu Chattopadhyay
Jun 21 - Talk 1: Bridging the gap from STA to timing closure by Raj Setaluri
Talk 2: Bringing up a new technology in mflowgen by Po-Han Chen
Jun 28 - Talk 1: On-device ML for 5G modems by Ankita Nayak
Talk 2: Available
Jul 5 - Talk 1: Building First-Order Energy Modeling Intuition in Computer Architecture Lectures by Chris Torng
Talk 2: Available
Jul 12 - No meeting
Jul 19 - Affiliates Meeting
Talk 1: Deegen: A meta-compiler approach for high performance VMs at low engineering cost by Haoran Xu
Talk 2: Life Post Moore’s Law: The New CAD Frontier by Mark Horowitz
Jul 26 - Talk 1: Workload-driven system-level architecture evaluation by Dinesh Gaitonde (AMD)
Aug 2 - Talk 1: An Architecture-VLSI Abstraction for Full-Stack Energy-Aware Design-Space Exploration by Chris Torng
Talk 2: Onyx Bring Up Update by Kalhan Koul
Aug 9 - No meeting
Aug 16 - No meeting
Aug 23 - Talk 1: Opal Timing Closure Methodology by Po-Han Chen
Talk 2: Learnings from Edge AI Chip Designs with Applications in Probabilistic and NLP Inference and Training by Thierry Tambe
Aug 30 - AHA retreat
Sep 6 - Available
Sep 13 - Talk 1: Sparse ML Benchmarks for Opal by Bo Wun Cheng
Talk 2: Onyx Results Analysis and Issues to Fix in the AHA Compiler and Opal by Kalhan Koul
Sep 20 - Talk 1: eDRAM ML Training Chip by Thierry Tambe
Talk 2: Available
Sep 27 - Working session: Writing/debugging halide application schedules
Oct 04 - Monthly Affiliates Meeting
Talk 1: EMBER: A 100 MHz, 0.86 mm^2, Multiple-Bits-per-Cell RRAM Macro in 40 nm CMOS with Compact Peripherals and 1.0 pJ/bit Read Circuitry (Akash Levy and Luke Upton)
Talk 2: PBA: Percentile-Based Level Allocation for Multiple-Bits-Per-Cell RRAM (Anjiang Wei)
Oct 11 - OOPSLA Practice Talk by Luke Yi
Oct 18 - No meeting
Oct 25 - Available
Nov 1 - UCIe Overview by Joe Wu (Intel)
Nov 8 - SystemX Conference
Nov 15 - Sophia Shao (UC Berkeley)
Nov 22 - No meeting (Thanksgiving)
05 Jan - First meeting of 2022
12 Jan - Winter Goals (Everyone presenting)
19 Jan - Talk 1: DISTAL: The distributed tensor algebra compiler (Rohan Yadav),
Talk 2: Discussion on CGRA memories with a ready/valid interface (Qiaoyi Liu, Max Strange, Taeyoung Kong)
26 Jan - Talk 1: Smart component demonstration on Onyx (Lenny), Talk 2: Available
02 Feb - Available
09 Feb - Affiliates meeting. Talk 1: Amber architecture and results (Kathleen Feng),
Talk 2: Automatic pipelining for CGRAs - Techniques, analysis and future directions (Jack Melchert)
16 Feb - Onyx Magma Update Hackathon
23 Feb - Talk 1: Global buffer power optimizations and DPR improvements (Taeyoung, Kalhan),
Talk 2: GOMACTech practice talk (Ross)
02 Mar - Affiliates meeting. Talk 1: Sara Achour, Talk 2: Fuzzing SMT Solvers (Aina Niemetz)
09 Mar - Talk 1: CGRA DSE for Onyx including PE, MEM and interconnect exploration (Po-Han),
Talk 2: Memory hardware with sparsity support (Max)
Mar 30 - Spring quarter goals meeting
Apr 6 (Affiliates meeting) -
Talk 1: Use of MLIR in magma (Raj, Ross, Lenny)
Talk 2: Formalizing sparse tensor algebra (Scott)
Apr 13 -
Talk 1: Onyx architecture and tapeout update (Kalhan)
Apr 20 -
Talk 1: Sparse neural network framework (Fred)
Apr 27 - Cancelled
May 4 - Talk 1: Kavya's chip architecture and tapeout update (Kavya), Talk 2: hgdb (Keyi)
May 11 - Cancelled
May 18 - How to maintain large codebases (Chris, Clark)
May 25 -
Talk 1: Stream abstractions (Pat)
Talk 2: Dense memory tile optimizations (Jake)
June 1 (Affiliates Meeting) -
Talk 1: Algorithms, Architectures, and Silicon for Accurate and Energy-Efficient
Natural Language Processing (Thierry Tambe, Harvard University)
June 8 -
Talk 1: Amber VLSI practice talk (Alex)
June 29 -
Talk 1: Mflowgen DAC practice talk (Chris)
Talk 2: Available
Jul 6 - No meeting
Jul 13 (Affiliates Meeting) -
Talk 1: James
Talk 2: Ankita
Jul 20 - No meeting
Jul 27 -
Talk 1: Sneha
Talk 2: Analysis of fully statically scheduled vs valid only vs ready-valid dense memories for CGRAs (Jake)
Aug 3 - No meeting
Aug 10 -
Talk 1: Amber JSSC paper review (Kathleen)
Talk 2: VDF and ECC point multiplication chip design review (Kavya)
Aug 17 - No meeting
Aug 24 - AHA Retreat
Aug 31 - No meeting
Sep 7 - Design review of each onyx component (PE, pond, dense MEM, sparse MEM, GLB, GLC, SoC)
in terms of features, functional verification/unit tests, timing, area, power) - Onyx Team
Sep 14 - No meeting
Sep 21 - PEak tutorial (Caleb)
Sep 28 - IIBAB: If it has been asked before (Chris)
Oct 5 - Affiliates meeting - Hardware and software for sparse ML (Fred), Summary of the
PCAST report on Revitalizing the U.S. Semiconductor Ecosystem (Priyanka)
Oct 12 - FMCAD practice talk (Ross), Unified Buffer vs PolyEDDO (Qiaoyi)
Oct 19 - Sparsity support in Oynx (Max)
Oct 26 - Optimization in SMT solving (Nestan)
Nov 2 - Onyx tapeout review (Chris and the tapeout team), Brainstorming for the next AHA chip and tools
Nov 9 - Talks by Qualcomm (1) SOC design lifecycle at Qualcomm (Madan) (2) ML Assisted SOC design (Rajeev)
Nov 16 - No AHA meeting. Please attend the SystemX fall conference.
Nov 23 - No AHA meeting due to Thanksgiving
Nov 30 - Brainstorming for next chip
Dec 07 - Next chip discussion continued
Dec 14 - Affiliates meeting: SpDISTAL: Compiling Distributed Sparse Tensor Computations (Rohan Yadav),
DALA: Distribution-Agnostic Level Allocation for Multiple Bits-Per-Cell RRAM (Anjiang Wei)
Dec 21 - No AHA meeting due to winter break. Will regroup on Jan 11.
14 Jan - Goals for winter quarter
04 Feb - Big meeting with affiliates
18 Feb - Symbol table generation (Raj)
25 Feb - Ultra-elastic CGRAs (Chris)
4 Mar - Big meeting w/ affiliates; guest speaker Ryan Senanayake of Reservoir Labs;
11 Mar - Static scheduling vs ready-valid (Dillon)
15 Apr - Chip bringup: Practice for the DARPA meeting – Chris with chip
status and testing plans and known bugs in the chip. Gedeon
about software and emulation platform, and Zach with review
of board. Since everyone is going to be smashed next week,
we are looking for a discussion, not polished slides.
22 Apr - No meeting.
29 Apr – Lenny/Pat -- Updated vision for magma that they would like feedback on.
06 May - Monthly "big" meeting with affiliates, see Eiko mail for details.
13 May – Post-silicon update -- What works, what are the issues, if we have data.
- If not, we can talk about the new improved physical design
tools that Chris and Raj and Alex have been working on.
20 May - No meeting.
27 May – Chip/board bring-up status report by Taeyoung (and Gedeon)
08 Jul - Talk 1: Amber Measurements (Kalhan, Kathleen), Talk 2: Sky130 Tapeout Experience (Priyanka)
15 Jul - Practice talks for DARPA meeting
21 Jul - *WEDNESDAY 11AM* DARPA Meeting *WEDNESDAY 11AM*
05 Aug - Talk 1: Crypto Accelerator (Kavya), Talk 2: Peak Paper (Ross, Caleb)
19 Aug - Waiting for confirmation from speakers
25 Aug - AHA Retreat
26 Aug - AHA Retreat
02 Sep - Adrian Sampson
09 Sep - Magma Revision (Lenny, Raj)
16 Sep - Sparse Compiler (Olivia)
23 Sep - Kayvon Fatahalian: How to think about systems
30 Sep - Priyanka Raina: AHA goals
07 Oct - All Students: Autumn goals
14 Oct - Affiliates meeting
21 Oct - Jeff: How to schedule a Halide program for a CGRA, ideas on syntactic sugar for easier scheduling, Raj: PDQ
28 Oct - Jack: Application pipelining for CGRAs, Kalhan + Po-Han: Improved Amber results
04 Nov - Max + Olivia: Initial sketch for sparse memory hardware, and how to compile to it, TBD
11 Nov - SystemX fall conference
18 Nov - Pat: Denotational hardware, TBD
25 Nov - No meeting (Thanksgiving)
02 Dec - Affiliates meeting
09 Dec - TBD
29 Jan - Polyhedral analysis - Dillon`
06 Feb - Big meeting: Aetherling - David, AQED Memory Tile case study - Clark`
12 Feb - Lake - Joey`
19 Feb - Validation Plan - Nestan`
26 Feb - PE automapper/DSE - Ross, Jackson`
05 Mar - Big meeting: Cosa2 - Makai; Applications - Kayvon`
11 Mar - Garnet Flow - Teguh`
18 Mar - SOC generator - Gedeon, Raj`
29 Apr - Update on magma - Lenny
07 May - BIG MEETING with affiliates see above and/or email for details
13 May - PE DSE - Jack
27 May - Compiler - Fred
04 Jun - Big meeting with affiliates: Clockwork - Dillon and Mflowgen - Chris
17 Jun - Lake Memory DSL - Nestan, Max, Joey, Kavya
24 Jun - Hardware Optimizations for PE - Nikhil
01 Jul - Predictable Accelerator Design with Time-Sensitive Affine Types - Rachit Nigam
15 Jul - Sparsity Deep-dive - Fred
22 Jul - Hardware Support for Sparse Applications - Joel Emer
29, 30 Jul - AHA Retreat
12 Aug - Application Reliability and Security via Formal Methods for Systems - Caroline Trippel
26 Aug - RDAI update (Gedeon, Charles) (30 minutes) + Meta-mapper paper report out (Ross, Caleb) (30 minutes)
09 Sep - Unified buffer paper report out (Joey, Dillon, Jeff) (30 minutes) + DSE paper report out (Jack, Kathleen) (30 minutes)
24 Sep - Amber architecture discussion (Chris), ARM vs RISC-V discussion (Kalhan, Gedeon)
01 Oct - AHA monthly meeting
08 Oct - MLIR overview, relation between CoreIR and MLIR (Ross, Raj, David, Dillon)
15 Oct - Xilinx AI engine (Kees Vissers)
22 Oct - Cryptography hardware opportunities (Chris/Riad)
05 Nov - AHA monthly meeting
12 Nov - Tony Nowatzki
19 Nov - Open source EDA tools (Raj)
03 Dec - AHA monthly meeting
1/2 No meetings
1/9 Big meeting: 11:00 DNN Flow (Xuan); afternoon: SMT-based PnR (Caleb);
FSM using co-routines (Lenny)
1/16 Small group meetings
1/23 Group meeting: discussion of goals and plans
1/30 ARM will be here to talk about IP
2/6 Big meeting: Zach/Max - chip results (15min)
Keyi - interconnect design/PnR (45min);
afternoon: Gedeon - SoC; Taeyoung - second-level memory
2/13 Group reports: Apps/Compiler (Jeff,David); Peak/Mapper/PE (Ross)
2/20 Small groups
2/27 Group reports: Validation (Lenny); Garnet (Raj)
3/6 Big meeting: Tool Flow (Pat); Fault (Lenny); HLS (Dillon)
3/13 Integration Hackathon
3/20 Quarter review; Compiler (Jeff); Memory Tile (Max)
3/27 No meeting (spring break)
4/3 Validation and Testing hackathon
4/10 SoC status report (Rick)
4/17 Prep for tomorrow's big meeting
4/18 THURSDAY 9am DARPA site visit with industry affliates (AHA program review) 9am-130pm Gates 358
4/24 1. Quick status update from the whole group to clear outdated goals;
2. disperse into small-group meetings.
5/1 SoC: Overview of CGRA (Priyanka)
5/15 SoC: RTL, Verification, Software (Rick)
5/22 Review plans for retreat
5/8 SoC: Power domains, memory (Priyanka); Weekly scrum plan (Pat)
5/29 Tapeout strategy; finalize retreat plans
5/31-6/01 AHA Retreat in Asilomar
6/05 Tapeout status
6/12 Tapeout status
6/19 Tapeout status
6/26 Tapeout status
7/03 Post-mortem / prep for big meeting next week
7/10 Big meeting: Post-mortem, 11am-230pm, Room 358, inc. lunch
7/17 Feedback on HotChips presentation (Keyi)
7/24 Goal-a-thon: catch up on goals and milestones
7/31 Raj - plans for physical design through gemstone
8/7 Small groups
8/14 Magma and CoreIR: limitations and future directions - Lenny and Ross
8/19-20 Hot Chips
8/21 Small groups
8/28 Reflections on Agile Hardware Center - Jeff Parkhurst, Intel
9/4 Big meeting, Unified image and vision hardware generator - Joey and Jeff
11:00am-1:30pm, rm 304 NOTE ROOM CHANGE
9/9 Review at Intel
9/11 Progress on summer milestones
9/17 (Tuesday) ARM workshop in Austin TX - Jeff Setter will give a talk
9/18 Full application execution on SoC-FPGA system - Teguh and Gedeon
25 Sep - Test-driven development (Pat), goal/milestone setting for Fall
02 Oct - No Wed. mtg, big Thu. mtg instead.
03 Oct - (THURSDAY) Big meeting, 1030am-1pm, Room 358:
Aetherling (David), Validation (Clark/Lenny), Fine Grain Power Domains (Ankita)
09 Oct - Lake plan (Joey, Max, Keyi), physical design generator plan (Alex, Raj)
16 Oct - Small groups
23 Oct - PE exploration (Ross, Caleb, Nikhil), SoC Generator (Gedeon)
30 Oct - Small groups
06 Nov - No BIG MEETING this week, see SystemX on the 19th instead
13 Nov - Repo organization - all repo owners should attend
19 Nov - SystemX November Conference, see details below
20 Nov - Rick: Agile practices in commercial chip design
27 Nov - Thanksgiving
05 Dec - (THURSDAY) Big meeting - Debug
11 Dec - Quarter wrap-up
SystemX November Conference - Design Productivity section
Tuesday, Nov. 19th, 2019
Li Ka Shing Conference Center, Stanford - 2nd Floor
12:30 - 1:30 Focus Area Poster Session
1:30 - 4:30 Talks
The agenda is available at SystemX November Conf website.
(The agenda will be updated on this website if there is any change.)
5/29 small groups
6/06 CoreIR group presentation
6/22 - 6/23 AHA retreat (friday afternoon + all day saturday )
7/11 Next gen gen discussion, with Raj, Pat and Mark, maybe Ofer will join
7/18 NO MEETING (DSSOC)
7/25 NO MEETING (ERI summit)
-----
9/12 Small group meetings
9/19 Halide compiler, coordinated by Kayvon
9/26 Small group meetings
10/3 Michael McNamara, Adapt IP - "How High is High-Level Synthesis?"
10/10 Small group meetings
10/15 (Mon) Stanford/UCB Agile Hardware meeting at Intel Santa Clara
10/17 Intel debrief, goal setting
10/24 Small group meetings
10/31 Full tool-flow walkthrough (Keyi Zhang)
11/7 3pm Small group meetings
11/14 3pm Garnet (DAC paper - Raj and Alex)
11/21 No meeting (Thanksgiving break)
11/28 Big meeting: 11:00 Applications (Kayvon); afternoon: Makai (formal);
Priyanka/Alex (physical design)
dec 07: ISTC Agile Annual Review at Intel jan 17: whole group meet, create goals and a schedule jan 24: small group meetings jan 31: big group - Ross coordinated discussion/presentation of global/stall signals - testing infrastructure plan - validation, stall, watchpoints; - visualization feb 7: intel was present - Xuan talked about machine learning in Halide mar 14: Intel was here, Hongbo Rong presented his work mar 14: Christian: Formal testing, Lenny: Unit testing mar 21: small group meetings mar 28: spring break, no meeting apr 4: Peter Kogge talk may 23: 5/23 Scheduler group issues (Kayvon/Pat)
Later(?): continue with group rotations
PnR CGRA Formal/verification Halide Scheduler CoreIR PnR