Dr. Theodore Johnson AT&T Labs FRIDAY, Nov. 17, 2008, 10am FAB 86-01

Abstract

Data stream systems (DSMSs) have matured to the point that they can be used in a large-scale industrial setting. In this talk, I will discuss how a combination of a DSMS (the GS monitor) and a streaming warehouse (DataDepot) combine to enable very large scale network monitoring in a tier-1 Internet Service Provider. The talk will emphasize the scaling challenges we faced and how they were overcome. Biography

Theodore Johnson received a B.S. in Mathematics from Johns Hopkins University in 1986, and a Ph.D. in Computer Science in 1990. From 1990 through 1996, Theodore was an assistant, then associate procesor in the Computer and Information Science department of the University of Florida. In 1996, Theodore joined the Database Reseach department of AT&T Labs - Research, where today he is a Lead Member of Technical Staff. His interests include building massive data stream systems, building massive data warehouses, and building silly and useless electromechanical gadgets.

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.

What was the last paper you read and loved within the realm of computing? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implements these ideas or just give us the lowdown about the paper. Or, just come, listen, and discuss!

This month's paper is "Dynamic Cicular Work-Stealing Deques" by David Chase and Yossi Lev, and will be presented by Nick Fitzgerald.

PDF: http://neteril.org/~jeremie/Dynamic_Circular_Work_Queue.pdf

Thanks to Mozilla for hosting!

This month's paper is "Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance" by Stephen M. Blackburn and Kathryn S. McKinley and will be presented by Brian Shirai.

PDF: http://www.cs.utexas.edu/users/speedway/DaCapo/papers/immix-pldi-2008.pdf

What was the last paper you read and loved within the realm of computing? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implements these ideas or just give us the lowdown about the paper. Or, just come, listen, and discuss!

Papers We Love has a code of conduct.

Thanks to Mozilla for hosting!

This month's paper is "The Next 700 Programming Languages" by Peter J. Landin. One of the most influential papers of all time in PL research!

PDF: https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf

Abstract:

A family of unimplemented computing languages is described that is intended to span differences of application area by a unified framework. This framework dictates the rules about the uses of user-coined names, and the conventions about characterizing functional relationships. Within this framework the design of a specific language splits into two independent parts. One is the choice of written appearances of programs (or more generally, their physical representation). The other is the choice of the abstract entities (such as numbers, character-strings, list of them, functional relations among them) that can be referred to in the language. The system is biased towards “expressions” rather than “statements.” It includes a nonprocedural (purely functional) subsystem that aims to expand the class of users' needs that can be met by a single print-instruction, without sacrificing the important properties that make conventional right-hand-side expressions easy to construct and understand.

What was the last paper you read and loved within the realm of computing? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implements these ideas or just give us the lowdown about the paper. Or, just come, listen, and discuss!

Papers We Love has a code of conduct: https://github.com/papers-we-love/portland/blob/master/code-of-conduct.md

CX Obsession is a meetup for Customer Experience professionals and a showcase of brands doing awesome, innovative work in CX.

In Hospitality, experience is everything. So what can we learn from the industry that all but invented Customer Experience? AskNicely presents CX Obsession, an evening with four customer-obsessed hospitality brands relentlessly focused on delivering amazing experiences. Hear from the experts what sets them apart in their quest for the ultimate experience. You will walk away inspired and with a few new ideas to apply in your own practice, whatever your industry.

Taking place in Vacasa's beautiful Pearl District office space, come to CX Obsession ready to exchange questions, stories, and ideas with those just as customer-obsessed as you are. We'll provide the drinks and snacks.

Here's what we have planned:

5:30pm - 6:00pm Registration, Drinks & Appetizers: Check in and network with the CX Obsession community while you grab a bite to eat and drink.

6:00pm - 6:50pm Inspiring talks and a panel discussion/Q&A with our speakers:

Liz Walker, Product Lead — Airbnb Nate Tomlinson, Director of Customer Experience — Vacasa Chris Bebo, Director of Operations — Provenance Hotels Sean O'Connor, General Manager & Partner — KEX Portland

6:50pm - 7:00pm Debrief: In small groups, take a moment to reflect on what you've heard and share your observations. Write down one action item or takeaway that you will take back to your organization.

7:00pm - 7:30pm More Drinks, Apps, and Networking: Grab a few more nibbles and chat with your peers as we close out the evening (or take a peek at the view from the gorgeous rooftop patio!).