Signals and Threads

Compiler optimization with Greta Yorsh

Sep 30, 2020

01:10:17

Creator website

Highlights

AI Chapters

Episode notes

Programming Languages - What You Mean by Undecidability?

05:05

Is It a Cogeneration for a Camel?

03:09

Compiler Verification

04:25

Introduction

2min

Softer Verification - What Is It?

3min

Programming Languages - What You Mean by Undecidability?

5min

Tests and Tests in Programming

3min

Is There a Way to Speed Up Execution?

2min

Compiler Verification

4min

Super Super Optimization - How to Prove Equivalents

3min

Compiler Architecture

5min

Is Super Optimization a Way to Improve Compiler Development?

3min

10.

The Trade Off Between Industrial and Research

2min

11.

The Connection Between User and Compiler

3min

12.

How to Improve the Runtime of a Critical Programming Program

2min

13.

Compiler Benchmarking

2min

14.

Fdo Is an Interesting Kind of Example on a Spectrum, Right?

3min

15.

Compiler Optimisation

2min

16.

What Has It Been Like Changing Languages?

3min

17.

O'Camell as a Language to Work In?

3min

18.

The Structure of the C++ Compiler and How It Affects the Cogeneration Process

4min

19.

How Well Adapted Is O Camel to Arm?

3min

20.

Is This an Area We'll Start to Care About More?

4min

21.

The Challenges of Working on a Camal Language

4min

22.

Is It a Cogeneration for a Camel?

3min

23.

The Importance of Modularity in a Compiler

2min

It’s a software engineer’s dream: A compiler that can take idiomatic high-level code and output maximally efficient instructions. Ron’s guest this week is Greta Yorsh, who has worked on just that problem in a career spanning both industry and academia. Ron and Greta talk about some of the tricks that compilers use to make our software faster, ranging from feedback-directed optimization and super-optimization to formal analysis.

You can find the transcript for this episode along with links to things we discussed on our website.

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Signals and Threads

Compiler optimization with Greta Yorsh

Programming Languages - What You Mean by Undecidability?

Is It a Cogeneration for a Camel?

Compiler Verification

Get the Snipdpodcast app

AI-poweredpodcast player

Discoverhighlights

Save anymoment

Share& Export

AI-poweredpodcast player

Discoverhighlights

Get the Snipd
podcast app

AI-powered
podcast player

Discover
highlights

Save any
moment

Share
& Export

AI-powered
podcast player

Discover
highlights