Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language

LFCS seminar by Andy Gordon: Tabular: A Schema-Driven Probabilistic Programming Language

— filed under:

LFCS seminar by Andy Gordon

What
  • LFCS Seminar
When Jan 15, 2014
from 04:00 PM to 05:00 PM
Where IF 4.31-4.33
Add event to calendar vCal
iCal

Abstract: We propose a new kind of probabilistic programming language for machine learning. We write programs simply by annotating existing relational schemas with probabilistic model expressions.  We describe a detailed design of our language, Tabular, complete with formal semantics and type system. A rich series of examples illustrates the expressiveness of Tabular. We report an implementation, and show evidence of the succinctness of our notation relative to current best practice. Finally, we describe and verify a transformation of Tabular schemas so as to predict missing values in a concrete database. The ability to query for missing values provides a uniform interface to a wide variety of tasks, including classification, clustering, recommendation, and ranking.

 

Bio: Andy Gordon is a Principal Researcher at Microsoft Research Cambridge, where he manages the Programming Principles and Tools (PPT) group, and is a part-time Professor at the University of Edinburgh.  He has worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming.  His current passion is deriving machine learning algorithms from probabilistic functional programs.

 

http://research.microsoft.com/~adg

 

 

Document Actions