Karl Naden

According to our database, Karl Naden authored at least 6 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach.

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

2012

A type system for borrowing permissions.

Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Changing state in the plaid language.

Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

First-class state change in plaid.

Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Plaid: a permission-based programming language.

Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Permission-based programming languages.

Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the 33rd International Conference on Software Engineering, 2011