Stephan Herhut

Clemens Grelck, Tim van Deurzen, Stephan Herhut, Sven-Bodo Scholz: Asynchronous adaptive optimisation for generic data-parallel array programming. Concurrency and Computation: Practice and Experience 24(5): 499-516 (2012)

Raphaël Poss, Clemens Grelck, Stephan Herhut, Sven-Bodo Scholz: Lazy reference counting for the microgrid. Interaction between Compilers and Computer Architectures 2012: 41-48

Frank Penczek, Stephan Herhut, Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko, Rémi Barrère, Eric Lenormand: Parallel signal processing with S-Net. Procedia CS 1(1): 2085-2094 (2010)

Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alexander V. Shafarenko, Jungsook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck: Message Driven Programming with S-Net: Methodology and Performance. ICPP Workshops 2010: 405-412

Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphaël Poss, Clemens Grelck: Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences. IFL 2010: 185-202

Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz: Compiler-Support for Robust Multi-core Computing. ISoLA (1) 2010: 47-57

Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck: Controlling chaos: on safe side-effects in data-parallel operations. DAMP 2009: 59-67

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner: From Contracts Towards Dependent Types: Proofs by Partial Evaluation. IFL 2007: 254-273

Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko: Index Vector Elimination - Making Index Vectors Affordable. IFL 2006: 19-36

Alexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner: Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences. IFL 2005: 160-177