BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logic Programming\, Semantics\, and a Bit of Cleverness - William 
 Byrd\, University of Alabama at Birmingham
DTSTART:20180123T110000Z
DTEND:20180123T120000Z
UID:TALK96745@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:Logic Programming\, Semantics\, and a Bit of Cleverness\nor\nH
 ow to Speed Up a Relational Interpreter\nor\nBubbletea-Driven Programming\
 n\nWouldn't it great if we could take an operational semantics (or typing\
 njudgments\, or whatever)\, directly express the semantics in a\nhigh-leve
 l logic programming language\, and get an interpreter that\nacts as a rela
 tion instead of a function?  Such a "relational\ninterpreter" could perfor
 m program synthesis and other interesting and\nuseful tasks "for free."\n\
 nThe good news it is possible to write a relational interpreter in a\npure
  subset of miniKanren or Prolog!  The bad news\, of course\, is that\nthe 
 resulting interpreter is *unbelievably* slow!  The better news is\nthat we
  can use a variety of techniques to radically speed up a\nrelational inter
 preter (by at least 8 orders of magnitude)\, and there\nis reason to think
  we'll be able to speed it up much more in the near\nfuture.\n\nLearn how 
 we do it!  Better yet\, collaborate with us!  Much of this\nwork is being 
 done right here at Cambridge.
LOCATION:FW26
END:VEVENT
END:VCALENDAR