PLSE Colloquium Series

Autumn 2016 — Wednesday, 3:30pm — CSE 305

Subscribe to the calendar: iCal or Google Calendar.

We’ll discuss PLSE’s current large projects and also host external speakers. Meetings are every other Wednesday. Participants should subscribe to the PLSE mailing list.

Date Who What
Oct 12

Eva Darulova

Programming with Numerical Uncertainties

Oct 26

David Tarditi

An Overview of the Checked C Project

Nov 9

Chris, Spencer, Martin, Calvin

FSE Student Research Competition practice talks

Nov 14

Jon Bell

Making Software More Reliable by Uncovering Hidden Dependencies

Nov 16

Arie Gurfinkel

Algorithmic Logic-Based Verification with SeaHorn

Nov 18

Alessandra Gorla

Mining Android Apps for Anomalous Behavior

Nov 21

Willem Visser

An Analytical Perspective on Mutations and Coverage

Nov 23

Thanksgiving Holiday

None

Nov 30

Nate Foster

Cantor Meets Scott: Semantic Foundations for Probabilistic Networks

Jan 11

Ravi Chugh

Direct Manipulation Programming Systems

Jan 12

Matthew Flatt

Let’s Build a Hygienic Macro Expander!

Jan 25

Claire Le Goues

Scalable Semantic Code Search for High-Quality Program Repair

Feb 8

Ranjit Jhala

TBD