Sven Stork - Academia.edu (original) (raw)
Uploads
Papers by Sven Stork
Bookmarks Related papers MentionsView impact
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11, 2011
ABSTRACT Plaid is a language in which objects are defined not by fixed classes, but by changing a... more ABSTRACT Plaid is a language in which objects are defined not by fixed classes, but by changing abstract states. We will overview he Plaid programming language through a series of examples drawing from domains like I/O code and web applications. Attendees will write Plaid code and experience its benefits.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
This report updates CMU-ISR-10-125R to reflect the renaming of share blocks to split blocks. Abst... more This report updates CMU-ISR-10-125R to reflect the renaming of share blocks to split blocks. Abstract Writing concurrent applications is extremely challenging, not only in terms of producing bug-free and maintainable software, but also for enabling developer productivity. In this paper we present µAEMINIUM: a core calculus for the AEMINIUM concurrent-by-default programming lan-guage. Using AEMINIUM programmers express data dependencies rather than control flow between instructions. Dependencies are expressed using permissions, which are used by the type system to automatically parallelize the application. The AEMINIUM approach provides a modular and composable mechanism for writing concurrent applications, provably preventing data races. This allows programmers to shift their attention from low-level, error-prone reasoning about thread interleaving and synchronization to focus on the core functionality of their applications.
Bookmarks Related papers MentionsView impact
Acm Sigplan Notices, 2011
Bookmarks Related papers MentionsView impact
Grid Enabled Remote Instrumentation, 2009
Bookmarks Related papers MentionsView impact
Proceeding of the 33rd international conference on Software engineering - ICSE '11, 2011
Bookmarks Related papers MentionsView impact
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - IWACO '09, 2009
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Computing and Informatics, Jan 27, 2012
Grids as infrastructures offer access to computing, storage and other resources in a transparent ... more Grids as infrastructures offer access to computing, storage and other resources in a transparent way. The user does not have to be aware where and how the job is being executed. Grid clusters in particular are an interesting target for running computation-intensive calculations. Running MPI-parallel applications on such clusters is a logical approach that is of interest to both computer scientists and to engineers. This paper gives an overview of the issues connected to running MPI applications on a heterogenous Grid ...
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11, 2011
ABSTRACT Plaid is a language in which objects are defined not by fixed classes, but by changing a... more ABSTRACT Plaid is a language in which objects are defined not by fixed classes, but by changing abstract states. We will overview he Plaid programming language through a series of examples drawing from domains like I/O code and web applications. Attendees will write Plaid code and experience its benefits.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
This report updates CMU-ISR-10-125R to reflect the renaming of share blocks to split blocks. Abst... more This report updates CMU-ISR-10-125R to reflect the renaming of share blocks to split blocks. Abstract Writing concurrent applications is extremely challenging, not only in terms of producing bug-free and maintainable software, but also for enabling developer productivity. In this paper we present µAEMINIUM: a core calculus for the AEMINIUM concurrent-by-default programming lan-guage. Using AEMINIUM programmers express data dependencies rather than control flow between instructions. Dependencies are expressed using permissions, which are used by the type system to automatically parallelize the application. The AEMINIUM approach provides a modular and composable mechanism for writing concurrent applications, provably preventing data races. This allows programmers to shift their attention from low-level, error-prone reasoning about thread interleaving and synchronization to focus on the core functionality of their applications.
Bookmarks Related papers MentionsView impact
Acm Sigplan Notices, 2011
Bookmarks Related papers MentionsView impact
Grid Enabled Remote Instrumentation, 2009
Bookmarks Related papers MentionsView impact
Proceeding of the 33rd international conference on Software engineering - ICSE '11, 2011
Bookmarks Related papers MentionsView impact
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - IWACO '09, 2009
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Computing and Informatics, Jan 27, 2012
Grids as infrastructures offer access to computing, storage and other resources in a transparent ... more Grids as infrastructures offer access to computing, storage and other resources in a transparent way. The user does not have to be aware where and how the job is being executed. Grid clusters in particular are an interesting target for running computation-intensive calculations. Running MPI-parallel applications on such clusters is a logical approach that is of interest to both computer scientists and to engineers. This paper gives an overview of the issues connected to running MPI applications on a heterogenous Grid ...
Bookmarks Related papers MentionsView impact