103 citations · 150 across the 7 of their papers we have counts for
10 papers
Contract-Based General-Purpose GPU Programming
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz +1
Using GPUs as general-purpose processors has revolutionized parallel computing by offering, for a large and growing set of algorithms, massive data-parallelization on desktop machi…
A Comparative Study of Programming Languages in Rosetta Code
Sebastian Nanz, Carlo A. Furia
Sometimes debates on programming languages are more religious than scientific. Questions about which language is more succinct or efficient, or makes developers more productive are…
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership
Mischael Schill, Sebastian Nanz, Bertrand Meyer
In shared-memory concurrent programming, shared resources can be protected using synchronization mechanisms such as monitors or channels. The connection between these mechanisms an…
Efficient and Reasonable Object-Oriented Concurrency
Scott West, Sebastian Nanz, Bertrand Meyer
Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model for SCOOP, a concurre…
Handling Parallelism in a Concurrency Model
Mischael Schill, Sebastian Nanz, Bertrand Meyer
Programming models for concurrency are optimized for dealing with nondeterminism, for example to handle asynchronously arriving events. To shield the developer from data race error…
Benchmarking Usability and Performance of Multicore Languages
Sebastian Nanz, Scott West, Kaue Soares da Silveira +1
Developers face a wide choice of programming languages and libraries supporting multicore computing. Ever more diverse paradigms for expressing parallelism and synchronization beco…