Stephan Herhut

According to our database1, Stephan Herhut authored at least 22 papers between 2005 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction.
CoRR, 2022

Structured Operations: Modular Design of Code Generators for Tensor Compilers.
Proceedings of the Languages and Compilers for Parallel Computing, 2022

2021
Domain-Specific Multi-Level IR Rewriting for GPU: The Open Earth Compiler for GPU-accelerated Climate Simulation.
ACM Trans. Archit. Code Optim., 2021

2020
Domain-Specific Multi-Level IR Rewriting for GPU.
CoRR, 2020

2017
Are Web Applications Ready for Parallelism?
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

2013
A scalable approach to computing representative lowest common ancestor in directed acyclic graphs.
Theor. Comput. Sci., 2013

Declarative AR and image processing on the web with Xflow.
Proceedings of the 18th International Conference on Web3D Technology, 2013

Parallel JavaScript: bringing the compute power of multi-core CPUs and GPUs to the world of web graphics.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2013

River trail: a path to parallelism in JavaScript.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012
Asynchronous adaptive optimisation for generic data-parallel array programming.
Concurr. Comput. Pract. Exp., 2012

Parallel Programming for the Web.
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

Lazy reference counting for the microgrid.
Proceedings of the 16th Workshop on Interaction between Compilers and Computer Architectures, 2012

2010
Auxiliary computations : a framework for a step-wise, non-disruptive introduction of static guarantees to untyped programs using partial evaluation techniques.
PhD thesis, 2010

Parallel signal processing with S-Net.
Proceedings of the International Conference on Computational Science, 2010

Compiler-Support for Robust Multi-core Computing.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences.
Proceedings of the Implementation and Application of Functional Languages, 2010

Message Driven Programming with S-Net: Methodology and Performance.
Proceedings of the 39th International Conference on Parallel Processing, 2010

2009
Controlling chaos: on safe side-effects in data-parallel operations.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Symbiotic Expressions.
Proceedings of the Implementation and Application of Functional Languages, 2009

2007
From Contracts Towards Dependent Types: Proofs by Partial Evaluation.
Proceedings of the Implementation and Application of Functional Languages, 2007

2006
Index Vector Elimination - Making Index Vectors Affordable.
Proceedings of the Implementation and Application of Functional Languages, 2006

2005
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.
Proceedings of the Implementation and Application of Functional Languages, 2005


  Loading...