Travelled to:1 × United Kingdom
3 × USA
Collaborated with:J.Aldrich S.Stork J.Sunshine É.Tanter R.Bocchino K.Bierhoff M.Mohr A.Fonseca P.Marques R.Garcia M.Hahnenberg D.Saini R.Wolff
Talks about:permiss (3) program (2) languag (2) base (2) approach (1) æminium (1) default (1) concurr (1) system (1) borrow (1)
Person: Karl Naden
DBLP: Naden:Karl
Contributed to:
2014
2012
2011
2011Wrote 4 papers:
- PLDI-2014-StorkNSMFMA #approach #named #programming language
- Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
- POPL-2012-NadenBAB #type system
- A type system for borrowing permissions (KN, RB, JA, KB), pp. 557–570.
- ICSE-2011-AldrichGHMNSSSTW #programming language
- Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
- OOPSLA-2011-SunshineNSAT
- First-class state change in plaid (JS, KN, SS, JA, ÉT), pp. 713–732.