General Information

Instructor:

John Reppy

jhr@cs.uchicago.edu.

Lectures:

WF 04:30-05:50

JCL 257 (moved from Ryerson 178)

Course Description

The focus of this seminar will be on recent results in compiler analysis and optimization. The plan is to discuss a selected set of papers in this area (usually one per meeting).

Papers

The following is a list of the papers that we might discuss. I have grouped them into related topics and then listed them in chronological order.

Higher-order Flow Analysis

Higher-order Flow Analysis for Object-Oriented Languages

Analysis Tuning

Datalog for Analysis

Equality Saturation

Intermediate Representations

Schedule

Here is a tentative schedule of the papers.

March 28

Better Defunctionalization through Lambda Set Specialization
(PLDI 2023)

April 2

Background

April 4

Higher-Order Demand-Driven Program Analysis
(TOPLAS 2019)

April 9

Higher-Order Demand-Driven Program Analysis
(ECOOP 2016)

April 11

Context Sensitivity without Contexts
(PLDI 2023)

April 16

Precise and Scalable Points-To Analysis via Data-Driven Context Tunneling
(OOPSLA 2018)

April 18

Precise and Scalable Points-To Analysis via Data-Driven Context Tunneling
(OOPSLA 2018)

April 23

Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs
(POPL 2022)

April 25

So You Want To Analyze Scheme Programs With Datalog?
(Scheme 2021)

April 30

egg: Fast and Extensible Equality Saturation
(POPL 2021)

May 21

Monadic Abstract Interpreters
(PLDI 2013)

May 23

_Abstracting Definitional Interpreters
(ICFP 2017)