Karl Naden
Graduate Assistant, Carnegie Mellon University

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

Emerging Languages
Location: E144
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.