Themes for Fall 2017 18 Reading Group

Variability aware analysis

Symbolic Execution

Abstract Machines

Other topics

• Compiler backends

• Software product line stuff

Functional Programming:

• Bird, Functional Algorithm Design
• Bird, Algebraic Identities for Program Calculation
• Essence of the Iterator Pattern

Beginning Functional Programming

Advanced Functional Programming

• Awkward Squad
• Wadler Type Classes
• Wadler The Essence of Functional Programming
• Scrap Your Boilerplate
• Why Functional Programming Matters (Revisited?)
• Bird sudoku paper?
• Okasaki papers?

Equational Reasoning

• paper on Hlint?
• Algebraic Identities for Program Calculation

Type systems:

• Theorems for Free
• Luca Cardelli - Type Systems

Classics:

• Hoare
• Can Programming be Liberated from the von Neumann Style?
• Liskov on Abstract Data Types

Misc:

• Gensen's Principle
• Paper on System F

History:

Logic:

Themes:

• functional programming
• type systems
• linear types / resources?
• effect systems
• algebraic approaches to FP
• Empirical papers