PL Seminar: Medical Checklists

Overview

In this course, we will study Medical Checklists and various topics in PL research (driven by the participants).


MeetingMW 2-3:20pm, Tech L170

Mailing listsubscribe / info

Github repo395-2017

ChecklistsChecklist papers to read
Life Magazine: Cockpit Conversation

Syllabus
DateReadings
(before class)		LeaderTopicReadings
Finalized by
1/3noneRobbyrewriting ala redex
1/4noneSteveintro to computational prescriptions
1/9noneRobbyoperational semantics
1/11Steve
1/16no class: MLK Day
1/18
1/23Hazelnut: A Bidirectionally Typed Structure Editor CalculusDanmodern structured editing1/16
1/25
1/30Van Der Aalst 1998 The Application of Petri Nets to Workflow Management, sections 1-4Spencerworkflow languages1/23
2/1
2/6Spencerworkflow languages1/30
2/8Concolic testing for functional languagesShu-Hungconcolic testing
2/13Implementing Type-Based Deforestation section 1
A Short Cut to Deforestation		Jordandeforestation2/6
2/15
2/20Uniprocessor Garbage Collection Techniques (only Chapter 4)
A real-time garbage collector based on the lifetimes of objects.		Jamesgenerational gc2/13
2/22
2/27Is sound gradual typing dead?
Complete Monitors for Behavioral Contracts		Dangradual typing & contracts2/20
3/1Osbert Bastani Talk Ford ITW
3/6Programmatic and Direct Manipulation, Together at Last2/27
3/8

Robby Findler