Changing state in the plaid language (English)
OOPSLA Companion, 37-38 (2011).
1
io-port 70669995 Aldrich, Jonathan;
Bocchino, Robert;
Garcia, Ronald;
Hahnenberg, Mark;
Mohr, Manuel;
Naden, Karl;
Saini, Darpan;
Stork, Sven;
Sunshine, Joshua;
Tanter, Éric;
Wolff, Roger
Plaid: a permission-based programming language (English)
OOPSLA Companion, 183-184 (2011).
2
First-class state change in plaid (English)
OOPSLA, 713-732 (2011).
3
io-port 70928208 Aldrich, Jonathan;
Garcia, Ronald;
Hahnenberg, Mark;
Mohr, Manuel;
Naden, Karl;
Saini, Darpan;
Stork, Sven;
Sunshine, Joshua;
Tanter, Éric;
Wolff, Roger
Permission-based programming languages: NIER track (English)
ICSE, 828-831 (2011).
4
Unsticking the web (English)
SPLASH/OOPSLA Companion, 223-224 (2010).
5
Crying wolf: an empirical study of SSL warning effectiveness (English)
USENIX Security Symposium, 399-416 (2009).
6
Typestate-oriented programming (English)
OOPSLA Companion, 1015-1022 (2009).
7