Stephan Herhut

2022

• Nicolas Vasilache, Oleksandr Zinenko, Aart J.C. Bik, Mahesh Ravishankar, Thomas Raoux, Alexander Belyaev, Matthias Springer, Tobias Gysi, Diego Caballero, Stephan Herhut, Stella Laurenzo, Albert Cohen. Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction. arXiv.

2021

• Tobias Gysi, Christoph Müller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, Tobias Grosser. Domain-Specific Multi-Level IR Rewriting for GPU: The Open Earth Compiler for GPU-accelerated Climate Simulation. ACM Transactions on Architecture and Code Optimization, Volume 18, Issue 4.

2020

• Tobias Gysi, Christoph Müller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, Tobias Grosser. Domain-Specific Multi-Level IR Rewriting for GPU. arXiv.

2017

• Cosmin Radoi, Stephan Herhut, Jaswanth Sreeram, Danny Dig. Are Web Applications Ready for Parallelism? HICSS 2017.

2015

• Cosmin Radoi, Stephan Herhut, Jaswanth Sreeram, Danny Dig. Are web applications ready for parallelism? PPOPP 2015, pp. 289-290.

2013

• Santanu Kumar Dash, Sven-Bodo Scholz, Stephan Herhut, Bruce Christianson. A scalable approach to computing representative lowest common ancestor in directed acyclic graphs. In Journal of Theoretical Computer Science, Volume 513, pp. 25-37. Elsevier. 2013.

• Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, and Jaswanth Sreeram. River Trail: A path to parallelism in JavaScript. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA) 2013. 2013. preprint

• Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, and Jaswanth Sreeram. Parallel JavaScript: Bringing the compute power of multi-core CPUs and GPUs to the world of web graphics. In ACM SIGGRAPH 2013 Talks, p. 45. ACM, 2013.

• Felix Klein, Dmitri Rubinstein, Kristian Sons, Farshad Einabadi, Stephan Herhut, and Philipp Slusallek. Declarative AR and image processing on the web with Xflow. In Proceedings of the 18th International Conference on 3D Web Technology, pp. 157-165. ACM, 2013. awarded best paper

2012

• Jaswanth Sreeram, Stephan Herhut, Richard L. Hudson, and Tatiana Shpeisman. Teaching parallelism with River Trail. In Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training (DCP ‘12). ACM, New York, NY, USA, 2012.

• Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, and Jaswanth Sreeram. Parallel Programming for the Web. In Proceedings of the 4th USENIX conference on Hot Topics in Parallelism, HotPar’12. USENIX Association, Berkeley, CA, USA, 2012.

• Raphael Poss, Clemens Grelck, Stephan Herhut, and Sven-Bodo Scholz. Lazy reference counting for the Microgrid. In Proc. 16th Workshop on on Interaction between Compilers and Computer Architectures (INTERACT’16). IEEE, 2012.

2011

• Clemens Grelck, Tim van Deurzen, Stephan Herhut, and Sven-Bodo Scholz. Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming. Concurrency and Computation: Practice and Experience, 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.