Publications

Found 14 results
Filters: Author is Christian Bischof  [Clear All Filters]
2022
A. Hück, Kreutzer, S., Protze, J., Lehr, J. - P., Bischof, C., Terboven, C., and Müller, M. S., Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications, IT Professional, vol. 24, no. 2, pp. 45-51, 2022.
S. Kreutzer, Iwainsky, C., Lehr, J. - P., and Bischof, C., Compiler-assisted Instrumentation Selection for Large-scale C++ Codes, in Proceedings of the ISC High Performance 2022 International Workshops (C3PO), 2022, pp. 5-19.
T. Jammer, Hück, A., Lehr, J. - P., Protze, J., Schwitanski, S., and Bischof, C., Towards a Hybrid MPI Correctness Benchmark Suite, in Proceedings of the 29th European MPI Users' Group Meeting (EuroMPI/USA), 2022, pp. 46-56.
2021
P. Arzt, Fischler, Y., Lehr, J. - P., and Bischof, C., Automatic Low-Overhead Load-Imbalance Detection in MPI Applications, in Proceedings of the 27th International Conference on Parallel and Distributed Computing (Euro-Par), 2021, pp. 19-34.
J. - P. Lehr, Jammer, T., and Bischof, C., MPI-CorrBench: Towards an MPI Correctness Benchmark Suite, in Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing (HPDC), 2021, pp. 69-80.
J. - P. Lehr, Bischof, C., Dewald, F., Mantel, H., Norouzi, M., and Wolf, F., Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization, in Proceedings of the 50th International Conference on Parallel Processing (ICPP), 2021, pp. 1-10.
2020
J. - P. Lehr, Hück, A., Fischer, M., and Bischof, C., Compiler-assisted type-safe checkpointing, in Proceedings of the ISC High Performance 2020 International Workshops (C3PO), 2020, pp. 5-18.
D. Sokolowski, Lehr, J. - P., Bischof, C., and Salvaneschi, G., Leveraging Hybrid Cloud HPC with Multitier Reactive Programming, in Proceedings of the 3rd IEEE/ACM International Workshop on Interoperability of Supercomputing and Cloud Technologies (SuperCompCloud), 2020, pp. 27-32.
J. - P. Lehr, Hück, A., Fischler, Y., and Bischof, C., MetaCG: annotated call-graphs to facilitate whole-program analysis, in Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis (TAPAS), 2020, pp. 3-9.
A. Hück, Protze, J., Lehr, J. - P., Terboven, C., Bischof, C., and Müller, M. S., Towards compiler-aided correctness checking of adjoint MPI applications, in Proceedings of the 4th International Workshop on Software Correctness for HPC Applications (Correctness), 2020, pp. 40-48.
2019
Y. Fischler, Lehr, J. - P., Kiehn, M. Magnus, and Bischof, C., Automatic Identification of Standard Template Algorithms in Raw Loops, in Proceedings of the 6th ACM SIGPLAN International Workshop on AI-Inspired and Empirical Methods for Software Engineering on Parallel Computing Systems (AI-SEPS), 2019, pp. 11-14.
J. - P. Lehr, Calotoiu, A., Bischof, C., and Wolf, F., Automatic Instrumentation Refinement for Empirical Performance Modeling, in Proceedings of the 2019 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools), 2019, pp. 40-47.
2018
A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., and Müller, M. S., Compiler-aided type tracking for correctness checking of MPI applications, in Proceedings of the 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018, pp. 51-58.
J. - P. Lehr, Hück, A., and Bischof, C., PIRA: Performance Instrumentation Refinement Automation, in Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems (AI-SEPS), 2018, pp. 1-10.