Stephan Herhut

2011

• Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, and Clemens Grelck. Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences. In 22nd International Symposium on Implementation and Application of Functional Languages (IFL’10), Alphen a/d Rijn, Netherlands, Revised Selected Papers, 2011.

• Volkmar Wieser, Bernhard Moser, Sven-Bodo Scholz, Stephan Herhut, and Jing Guo. Combining High Productivity and High Performance in Image Processing Using Single Assignment C. In QCAV’2011, 10th International Conference on Quality Control by Artificial Vision, 2011.

2010

• Sven-Bodo Scholz, Stephan Herhut, and Clemens Grelck. Single Assignment C: HP2 Programming for Heterogeneous Concurrent Architectures. Intel European Research and Innovation Conference Germany. Braunschweig, Germany, 2010.

• Raimund Kirner, Stephan Herhut, and Sven-Bodo Scholz. Compiler-Support for Robust Multi-Core Computing. In Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Springer Verlag. 2010.

• Stephan Herhut, Sven-Bodo Scholz. Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences. In: Draft Proceedings of the 22nd Symposium on Implementation and Application of Functional Languages. Alphen aan den Rijn. The Netherlands. 2010.

• Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alex Shafarenko, JungSook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck. Message Driven Programming with S-Net: Methodology and Performance. In 3rd International Workshop on Programming Models and Systems Software for High-End Computing (P2S2’10), San Diego, USA. 2010.

• Clemens Grelck, Tim van Deurzen, Stephan Herhut and Sven-Bodo Scholz. An Adaptive Compilation Framework for Generic Data-Parallel Array Programming. Proceedings of the 15th International Workshop on Compilers for Parallel Computers (CPC 2010). Vienna, Austria. 2010.

• Stephan Herhut, Carl Joslin, Sven-Bodo Scholz. Thread-Local Stacks, a Light-Weight Alternative to Thread-Local Heaps. Proceedings of the 15th International Workshop on Compilers for Parallel Computers (CPC 2010). Vienna, Austria. 2010.

• Stephan Herhut. Auxiliary Computations: A Framework for a Step-Wise, Non-Disruptive Introduction of Static Guarantees to Untyped Programs Using Partial Evaluation Techniques. PhD thesis, School of Computer Science, University of Hertfordshire, Hatfield, UK. 2010.

• Clemens Grelck, Tim van Deurzen, Stephan Herhut, Sven-Bodo Scholz. An Adaptive Compilation Framework for Generic Data-Parallel Array Programming. In: Michael Hanus, Fabian Reck (eds.): 27. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. Bad Honnef, Germany, 2010. Technical Report University of Kiel, Institute of Computer Science and Applied Mathematics, Kiel, Germany, to appear.

• Frank Penczek, Stephan Herhut, Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko, Rémi Barrère, Eric Lenormand. Parallel Signal Processing with S-Net. Procedia Computer Science, volume 1, issue 1, pp. 2079-2088. Elsevier. 2010.

• Robert Bernecky, Stephan Herhut, and Sven-Bodo Scholz. Symbiotic Expressions. In: 21st Symposium on Implementation and Application of Functional Languages. Revised Selected Papers. Lecture Notes in Computer Science, Springer Verlag. to appear.

• Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Frank Penczek. Single Assignment C Tutorial. PPoPP 2010, Bangalore, India. Technical Report 498. School of Computer Science, University of Hertfordshire, UK. 2010.

2009

• Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, and Clemens Grelck. Truly Nested Data-Parallelism. Compiling SAC to the Microgrid Architecture. In: IFL ’09: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. Technical Report SHU-TR-CS-2009-09-1. Seton Hall University, South Orange, NJ, USA. 2009.

• Robert Bernecky, Stephan Herhut, and Sven-Bodo Scholz. Symbiotic Expressions. In: IFL ’09: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. Technical Report SHU-TR-CS-2009-09-1. Seton Hall University, South Orange, NJ, USA. 2009.

• Daniel Rolls, Stephan Herhut, Carl Joslin, and Sven-Bodo Scholz. Unibench: The Swiss Army Knife for Collaborative, Automated Benchmarking. In: IFL ’09: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. Technical Report SHU-TR-CS-2009-09-1. Seton Hall University, South Orange, NJ, USA. 2009.

• Stephan Herhut, Sven-Bodo Scholz, and Clemens Grelck. Controlling Chaos. On Safe Side-Effects in Data-Parallel Operations. In: DAMP ’09: Proceedings of the 2009 Workshop on Declarative Aspects of Multicore Programming. ACM, New York, NY, USA. 2009.

• Clemens Grelck, Stephan Herhut, Chris Jesshope, Carl Joslin, Mike Lankamp, Sven-Bodo Scholz, and Alex Shafarenko. Compiling the Functional Data-Parallel Language SaC for Microgrids of Self-Adaptive Virtual Processors. In: Proceedings of the 14th Workshop on Compilers for Parallel Computing. IBM Research Center, Zurich, Switzerland. 2009.

2008

• Stephan Herhut, Carl Joslin, Sven-Bodo Scholz. Compiling the Functional Data-Parallel Language SaC for the Self-Adaptive Virtual Processor Architecture. Technical Report no. 482. School of Computer Science, University of Hertfordshire, UK. November 2008.

• Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, and Kai Trojahner. From Contracts Towards Dependent Types: Proofs by Partial Evaluation. In: Olaf Chitil (ed.): 19th International Symposium on Implementation and Application of Functional Languages (IFL’07). Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5083, pp. 254–273. Springer-Verlag, Berlin, Heidelberg, Germany, 2008

• Frank Penczek and Stephan Herhut. From Solo to Symphony: A Unified Paradigm to Program Single-, Multi-, and Many-Core Architectures in an Increasingly Ubiquitous Computing-Environment. Poster at the STRI Showcase, University of Hertfordshire, UK.

2007

• Stephan Herhut, Sven-Bodo Scholz, and Clemens Grelck. Generic Programming on the Nesting Structure of Arrays. In: Proceedings of the ACM SIGAPL Conference on Array Programming Languages, Arrays and Objects, Montréal, Québèc, Canada, 2007.

• Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, and Kai Trojahner. From Contracts Towards Dependent Types: Proofs by Partial Evaluation. In: Olaf Chitil (ed.): 19th International Symposium on Implementation and Application of Functional Languages (IFL’07). Freiburg, Germany, September 27-29, 2007. Technical Report 12-07. University of Kent, Computing Laboratory, Canterbury, United Kingdom, 2007.

• Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, and Alex Shafarenko. Index Vector Elimination: making index vectors affordable. In: Zoltán Horváth, Viktória Zsók (eds.): Implementation and Application of Functional Languages 18th International Symposium (IFL’06) Budapest, Hungary, September 4-6, 2006. Lecture Notes in Computer Science 4449, pp. 19-36. Springer-Verlag, Berlin, Heidelberg, Germany, 2007.

2006

• Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, and Alex Shafarenko. Index Vector Elimination - making index vectors affordable. 18th International Symposium on Implementation and Application of Functional Languages (IFL’06).

• Stephan Herhut and Sven-Bodo Scholz. Generic Programming on the Structure of Homogeneously Nested Arrays. 7th Symposium on Trends in Functional Programming.

• Alex Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, and Kai Trojahner. Implementing a numerical solution of the KPI equation using Single Assignment C: lessons and experiences. In A. Butterfield: Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages (IFL’05) (selected papers), Lecture Notes in Computer Science 4015, pp. 160-177.Springer-Verlag, Berlin, Heidelberg, Germany, 2006.

2005

• Stephan Herhut. Ein Modulsystem zur Unterstützung von subtypbasierter Überladung unter Wahrung separater Namensräume. Diplomarbeit. Christian-Albrechts Universität Kiel.

2004

• Stephan Herhut and Sven-Bodo Scholz. Towards Fully Controlled Overloading Across Module Boundaries. 16th International Workshop on Implementation and Application of Functional Languages.

2003

• Stephan Herhut. Axis Control am Beispiel von SaC. Studienarbeit. Christian-Albrechts Universität Kiel.