Export to

Google Calendar
iCalendar file
hCalendar markup
<div class="vevent h-event"> <h1 class="summary p-name">PSU CS Colloquium: Scrap Your Zippers: A Generic Zipper for Heterogeneous Types</h1> <div class='date'><time class="dtstart dt-start" title="2011-05-27T13:00:00" datetime="2011-05-27T13:00:00">Friday, May 27, 2011 from 1</time>–<time class="dtend dt-end" title="2011-05-27T14:30:00" datetime="2011-05-27T14:30:00">2:30pm</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202391953'><span class='fn org p-name'>Portland State University FAB, Room 86-09</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">1900 SW Fourth Avenue</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">Oregon</span> <span class="postal-code p-postal-code">97201</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=1900%20SW%20Fourth%20Avenue,%20Portland%20Oregon%2097201%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Scrap Your Zippers: A Generic Zipper for Heterogeneous Types</p> <p>Michael Adams, Indiana University</p> <h5>Abstract</h5> <p>The zipper type provides the ability to efficiently edit tree-shaped data in a purely functional setting by providing constant time edits at a focal point in an immutable structure. It is used in a number of applications and is widely applicable for manipulating tree-shaped data structures.</p> <p>The traditional zipper suffers from two major limitations, however. First, it operates only on homogeneous types. That is to say, every node the zipper visits must have the same type. In practice, many tree-shaped types do not satisfy this condition, and thus cannot be handled by the traditional zipper. Second, the traditional zipper involves a significant amount of boilerplate code. A custom implementation must be written for each type the zipper traverses. This is error prone and must be updated whenever the type being traversed changes.</p> <p>The generic zipper presented in this talk overcomes these limitations. It operates over any type and requires no boilerplate code to be written by the user. The only restriction is that the types traversed must be instances of the Data class from the Scrap your Boilerplate framework.</p> <h5>Biography</h5> <p>Michael D. Adams will be completing his Ph.D. in Computer Science at Indiana University this summer. He has a B.S. in Computer Science, a B.S in Computer Engineering and a Minor in Mathematics from the University of Kansas.</p> <p>His research interests are the implementation and construction of programming languages, compilers and software analysis tools that help programmers more easily implement, reason about, prove correct and improve the performance of their programs. This includes areas such as type systems, static analysis, control-flow analysis, compilers and optimization.</p> <p>In spring 2007, he worked on the X10 language for an internship at IBM Research. In summer 2007, he worked on the Glasgow Haskell Compiler at Microsoft Research. In 2008-2010 he worked for Cadence Research on the Chez Scheme compiler.</p> <p>He is an avid swing dancer and cyclist.</p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://www.cs.pdx.edu/">Website</a></li> </ul> </div>

You can edit, clone, or delete this event.

This item was added directly to Calagator
Tuesday, May 24, 2011 at 12:41pm and last updated
Tuesday, May 24, 2011 at 4:47pm.

PSU CS Colloquium: Scrap Your Zippers: A Generic Zipper for Heterogeneous Types

Friday, May 27, 2011 from 1–2:30pm

Portland State University FAB, Room 86-09

1900 SW Fourth Avenue

Portland, Oregon 97201, US (map)

Access Notes

Building is at 4th and College. Room 86-01 is in the basement, take the elevator or stairs down to basement and follow the signs.

Website

http://www.cs.pdx.edu/

Description

Scrap Your Zippers: A Generic Zipper for Heterogeneous Types

Michael Adams, Indiana University

Abstract

The zipper type provides the ability to efficiently edit tree-shaped data in a purely functional setting by providing constant time edits at a focal point in an immutable structure. It is used in a number of applications and is widely applicable for manipulating tree-shaped data structures.

The traditional zipper suffers from two major limitations, however. First, it operates only on homogeneous types. That is to say, every node the zipper visits must have the same type. In practice, many tree-shaped types do not satisfy this condition, and thus cannot be handled by the traditional zipper. Second, the traditional zipper involves a significant amount of boilerplate code. A custom implementation must be written for each type the zipper traverses. This is error prone and must be updated whenever the type being traversed changes.

The generic zipper presented in this talk overcomes these limitations. It operates over any type and requires no boilerplate code to be written by the user. The only restriction is that the types traversed must be instances of the Data class from the Scrap your Boilerplate framework.

Biography

Michael D. Adams will be completing his Ph.D. in Computer Science at Indiana University this summer. He has a B.S. in Computer Science, a B.S in Computer Engineering and a Minor in Mathematics from the University of Kansas.

His research interests are the implementation and construction of programming languages, compilers and software analysis tools that help programmers more easily implement, reason about, prove correct and improve the performance of their programs. This includes areas such as type systems, static analysis, control-flow analysis, compilers and optimization.

In spring 2007, he worked on the X10 language for an internship at IBM Research. In summer 2007, he worked on the Glasgow Haskell Compiler at Microsoft Research. In 2008-2010 he worked for Cadence Research on the Chez Scheme compiler.

He is an avid swing dancer and cyclist.