Underground Reading Group
Programming Languages

Spring 2016 — Friday, 2:30pm — CSE 674

Subscribe to the calendar: iCal or Google Calendar.
Date Who What
Mar 31


Organizational meeting

Apr 7

James W

Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega

Apr 15

Doug Woos

Learning Invariants using Decision Trees and Implication Counterexamples

and please skim Decidability of Inferring Inductive Invariants

Apr 22

Doug and James

Ivy: Safety Verification by Interactive Generalization

Apr 29


F-ing Modules

May 6


Cubical Type Theory

May 13

Konstantin Weitz

The Denotational Semantics of Programming Languages

May 20

Thomas Lou

Morphoid Type Theory (Sections 1 and 2 only)

May 27

Alex Sanchez-Stern

Symbolic Abstract Data Type Inference

Jun 3


Cubical Type Theory

Paper Suggestions

Contact James W (jrw12@cs) if you want to get on the mailing list. Or subscribe yourself.