Sponsors

  • Microsoft
  • Nebula
  • Google
  • SugarCRM
  • Facebook
  • HP
  • Intel
  • Rackspace Hosting
  • WSO2
  • Alfresco
  • BlackBerry
  • CUBRID
  • Dell
  • eBay
  • Heroku
  • InfiniteGraph
  • JBoss
  • LeaseWeb
  • Liferay
  • Media Temple, Inc.
  • OpenShift
  • Oracle
  • Percona
  • Puppet Labs
  • Qualcomm Innovation Center, Inc.
  • Rentrak
  • Silicon Mechanics
  • SoftLayer Technologies, Inc.
  • SourceGear
  • Urban Airship
  • Vertica
  • VMware
  • (mt) Media Temple, Inc.

Sponsorship Opportunities

For information on exhibition and sponsorship opportunities at the convention, contact Sharon Cordesse at scordesse@oreilly.com

Download the OSCON Sponsor/Exhibitor Prospectus

Contact Us

View a complete list of OSCON contacts

Karl Naden
Graduate Assistant, Carnegie Mellon University

| Attendee Directory Profile

Karl Naden is a Ph.D. student at Carnegie Mellon University, advised by Jonathan Aldrich. Karl’s research focuses on the design and development of the Plaid programming language. Karl holds a B.A. in math and history from Williams College. When he is not working, you might find him singing, running, cooking, or playing board games.

Sessions

10:40am Thursday, 07/28/2011
Plaid: Programming with Typestate and Permissions
Emerging Languages
 Location: E144
Tags: permissions, programming_language, plaid, typestate, types
Karl Naden (Carnegie Mellon University), Jonathan Aldrich (Carnegie Mellon University)
Average rating: ***..
(3.00, 4 ratings)
Plaid is a new programming language with native support for typestate and permissions. Typestate captures the changing states an object can be in, allowing the object's interface, representation, and behavior to change. A gradual (optional) type system tracks the typestate of objects, using permissions like "unique" to reason in the presence of aliasing. The PL's power is demonstrated by examples. Read more.