Sven Stork

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Database Languages

Programs Written

Concurrent Programming

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Æminium: a permission based concurrent-by-default programming language approach. PLDI (2014)
Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter
First-class state change in plaid. OOPSLA (2011)
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
Permission-based programming languages. ICSE (2011)
Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich
Changing state in the plaid language. OOPSLA Companion (2011)
Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
Plaid: a permission-based programming language. OOPSLA Companion (2011)
Sven Stork, Paulo Marques, Jonathan Aldrich
Concurrency by default: using permissions to express dataflow in stateful programs. OOPSLA Companion (2009)