BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20150308T020000 RDATE:20150308T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20150403T174516Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20150407T120000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20150407T110000 DTSTAMP;VALUE=DATE-TIME:20150403T174516Z LAST-MODIFIED;VALUE=DATE-TIME:20150403T174516Z UID:http://calagator.org/events/1250468164 DESCRIPTION:abstract: \;\nFor the last several years\, speed improveme nts in computing come mainly from increasing parallelism. Imperative pro gramming\, however\, makes parallelization very difficult due to the man y possible dependencies implied by effects. For decades\, pure functiona l programming has held the promise of parallel execution while retaining the very simple semantics that enables practical\, rigorous reasoning. This talk describes a prototype compiler from Haskell (not a library) to low-level hardware descriptions for massively parallel execution on rep rogrammable logic devices. The compiler works by monomorphizing\, miscel laneous other transformations\, and conversion to the vocabulary of cart esian closed categories (CCCs)\, as captured in a small collection of Ha skell type classes. One instance of those classes provides an interpreta tion as parallel circuits. I will show many examples of simple Haskell p rograms and corresponding compiler-generated circuits. \;\n \;\nbi o: \;\nConal Elliott has been working (and playing) in functional pro gramming for more than 30 years. He especially enjoys applying semantic elegance and rigor to library design and optimized implementation. He in vented the paradigm now known as “functional reactive programming” in th e early 1990s\, and then pioneered compilation techniques for high-perfo rmance\, high-level embedded domain-specific languages\, with applicatio ns including 2D and 3D computer graphics. The latter work included the f irst compilation of Haskell programs to GPU code\, while maintaining pre cise and simple semantics and powerful composability\, as well a high de gree of optimization. Conal earned a BA in math with honors from the Col lege of Creative Studies at UC Santa Barbara in 1982 and a PhD in Comput er Science from Carnegie Mellon University in 1990. His latest position was at Tabula Inc\, where he worked on chip specification and compiling Haskell to hardware for massively parallel execution until their closure in early 2015. Before Tabula\, his positions included Architect at Sun Microsystems and Researcher in the Microsoft Research graphics group. He has also coached couples and led conscious relationship workshops toget her with his partner Holly Croydon\, with whom he now lives on 20 acres in the woods in the California Gold Country. For publications\, CV\, pro fessional blog\, etc\, see http://conal.net. \;\n\n\nTags: Galois tec h talk\, haskell\, compilation\n\nImported from: http://calagator.org/ev ents/1250468164 URL:http://galois.com/blog/2015/04/tech-talk-haskell-hardware-via-cccs/ SUMMARY:Galois tech talk: From Haskell to Hardware via CCCs LOCATION:Galois Inc: 421 Sw 6th Ave Ste 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR