Gus Smith's Generals Talk: Generating Compiler Backends from Formal Models of Hardware

Name: Gus Smith's Generals Talk: Generating Compiler Backends from Formal Models of Hardware
Uploaded: 2022-07-20T23:17:04Z
Duration: 1 h 13 min 58 s
Channel: Gus Smith
Description: Gus Smith presents his research on automatically generating compiler backends using formal models of hardware architectures.

Gus Smith

60 subscribers • 1 video on Hallway

YouTube

Recommended by 1 person: 1 in engineering communities.
Presented by Gus Smith, PhD student at the University of Washington

Advanced. Deep dive for people who know the field.

319 views4 years ago1 recommendation

Systems programming Hardware Compilers and interpreters Formal methods and verification CPUs and computer architecture

Gus Smith presents his research on automatically generating compiler backends using formal models of hardware architectures.

My presentation for my Generals Exam, May 6th, 2022 at the University of Washington.

Why it's here

1 person recommends this

u/mttdin r/Compilers • 4 years agoRecommends

Generating Compiler Backends from Formal Models of Hardware - Gus Smith's Generals Talk

25View on Reddit