Sven Stork - Academia.edu (original) (raw)

Uploads

Papers by Sven Stork

Research paper thumbnail of The interactive European Grid: Project objectives and achievements

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Changing state in the plaid language

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

Research paper thumbnail of Concurrent Programming via Access Permissions

Bookmarks Related papers MentionsView impact

Research paper thumbnail of µAEMINIUM Language Specification

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

Research paper thumbnail of First-Class State Change in Plaid

Acm Sigplan Notices, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of INT.EU.GRID PROJECT APPROACH ON SUPPORTING INTERACTIVE APPLICATIONS IN THE GRID ENVIRONMENT

Grid Enabled Remote Instrumentation, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Permission-based programming languages

Proceeding of the 33rd international conference on Software engineering - ICSE '11, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reducing STM overhead with access permissions

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - IWACO '09, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The interactive European Grid: Project objectives and achievements

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Int. eu. grid project approach on supporting interactive applications in grid environment

Bookmarks Related papers MentionsView impact

Research paper thumbnail of MPI Support on the Grid

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

Research paper thumbnail of The interactive European Grid: Project objectives and achievements

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Changing state in the plaid language

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

Research paper thumbnail of Concurrent Programming via Access Permissions

Bookmarks Related papers MentionsView impact

Research paper thumbnail of µAEMINIUM Language Specification

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

Research paper thumbnail of First-Class State Change in Plaid

Acm Sigplan Notices, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of INT.EU.GRID PROJECT APPROACH ON SUPPORTING INTERACTIVE APPLICATIONS IN THE GRID ENVIRONMENT

Grid Enabled Remote Instrumentation, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Permission-based programming languages

Proceeding of the 33rd international conference on Software engineering - ICSE '11, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Reducing STM overhead with access permissions

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming - IWACO '09, 2009

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The interactive European Grid: Project objectives and achievements

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Int. eu. grid project approach on supporting interactive applications in grid environment

Bookmarks Related papers MentionsView impact

Research paper thumbnail of MPI Support on the Grid

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

Log In