F. Wolf

Most-cited papers

A Batch System with Efficient Adaptive Scheduling for Malleable and Evolving Applications
Suraj Prabhakaran, M. Neumann, Sebastian Rinke, F. Wolf +2 more
2015IEEE International Parallel and Distributed Processing Symposium60 citations
Semantic Scholar
Fast Multi-parameter Performance Modeling
A. Calotoiu, David Beckinsale, C. Earl, T. Hoefler +3 more
2016IEEE International Conference on Cluster Computing56 citations
Semantic Scholar
Static Neural Compiler Optimization via Deep Reinforcement Learning
Rahim Mammadli, Ali Jannesari, F. Wolf
2020Workshop on the LLVM Compiler Infrastructure in HPC47 citations Open access
Semantic Scholar
Gobra: Modular Specification and Verification of Go Programs (extended version)
F. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn +2 more
2021International Conference on Computer Aided Verification42 citations Open access
Semantic Scholar
DiscoPoP: A Profiling Tool to Identify Parallelization Opportunities
Zhen Li, Rohit Atre, Zia Ul-Huda, Ali Jannesari +1 more
201536 citations
Semantic Scholar
Igloo: soundly linking compositional refinement and separation logic for distributed system verification
C. Sprenger, Tobias Klenze, Marco Eilers, F. Wolf +3 more
2020Proc. ACM Program. Lang.35 citations Open access
Semantic Scholar
The Rewiring Brain: A Computational Approach to Structural Plasticity in the Adult Brain
Sebastian Rinke, M. Naveau, F. Wolf, Markus Butz-Ostendorf
201731 citations
Semantic Scholar
Exascaling Your Library: Will Your Implementation Meet Your Expectations?
Sergei Shudler, A. Calotoiu, T. Hoefler, A. Strube +1 more
2015International Conference on Supercomputing31 citations
Semantic Scholar
How Many Threads will be too Many? On the Scalability of OpenMP Implementations
Christian Iwainsky, Sergei Shudler, A. Calotoiu, A. Strube +3 more
2015European Conference on Parallel Processing31 citations Open access
Semantic Scholar
ElastiSim: A Batch-System Simulator for Malleable Workloads
Taylan Özden, Tim Beringer, Arya Mazaheri, H. Fard +1 more
2022International Conference on Parallel Processing29 citations Open access
Semantic Scholar
Isoefficiency in Practice: Configuring and Understanding the Performance of Task-based Applications
Sergei Shudler, A. Calotoiu, T. Hoefler, F. Wolf
2017ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming28 citations Open access
Semantic Scholar
Unveiling parallelization opportunities in sequential programs
Zhen Li, Rohit Atre, Z. Huda, Ali Jannesari +1 more
2016Journal of Systems and Software28 citations
Semantic Scholar
An Efficient Data-Dependence Profiler for Sequential and Parallel Programs
Zhen Li, Ali Jannesari, F. Wolf
2015IEEE International Parallel and Distributed Processing Symposium28 citations
Semantic Scholar
How file access patterns influence interference among cluster applications
C. Kuo, A. Shah, Akihiro Nomura, S. Matsuoka +1 more
2014IEEE International Conference on Cluster Computing26 citations
Semantic Scholar
Multi-objective Hybrid Autoscaling of Microservices in Kubernetes Clusters
A. Horn, H. Fard, F. Wolf
2022European Conference on Parallel Processing23 citations
Semantic Scholar
Learning to make compiler optimizations more effective
Rahim Mammadli, Marija Selakovic, F. Wolf, Michael Pradel
2021MAPS@PLDI23 citations Open access
Semantic Scholar
Using Template Matching to Infer Parallel Design Patterns
Z. Huda, Ali Jannesari, F. Wolf
2015ACM Transactions on Architecture and Code Optimization (TACO)23 citations Open access
Semantic Scholar
Automatic construct selection and variable classification in OpenMP
Mohammad Norouzi, F. Wolf, Ali Jannesari
2019International Conference on Supercomputing22 citations Open access
Semantic Scholar
A Scalable Algorithm for Simulating the Structural Plasticity of the Brain
Sebastian Rinke, Markus Butz-Ostendorf, Marc-André Hermanns, M. Naveau +1 more
2016Symposium on Computer Architecture and High Performance Computing22 citations Open access
Semantic Scholar
2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
P. Kilpatrick, M. Luján, C. Kirkham, J. M. Troya +15 more
201918 citations
Semantic Scholar
Automatic Parallel Pattern Detection in the Algorithm Structure Design Space
Z. Huda, Rohit Atre, Ali Jannesari, F. Wolf
2016IEEE International Parallel and Distributed Processing Symposium18 citations
Semantic Scholar
A Batch System with Fair Scheduling for Evolving Applications
Suraj Prabhakaran, Mohsin Iqbal, Sebastian Rinke, C. Windisch +1 more
2014International Conference on Parallel Processing18 citations
Semantic Scholar
Dynamic Multi-objective Scheduling of Microservices in the Cloud
H. Fard, R. Prodan, F. Wolf
2020International Conference on Utility and Cloud Computing17 citations
Semantic Scholar
Extracting clean performance models from tainted programs
Marcin Copik, A. Calotoiu, T. Grosser, Nicolas Wicki +2 more
2020ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming17 citations Open access
Semantic Scholar
Following the Blind Seer - Creating Better Performance Models Using Less Information
P. Reisert, A. Calotoiu, Sergei Shudler, F. Wolf
2017European Conference on Parallel Processing17 citations
Semantic Scholar
Learning Cost-Effective Sampling Strategies for Empirical Performance Modeling
Marcus Ritter, A. Calotoiu, Sebastian Rinke, Thorsten Reimann +2 more
2020IEEE International Parallel and Distributed Processing Symposium16 citations Open access
Semantic Scholar
The Art of Getting Deep Neural Networks in Shape
Rahim Mammadli, F. Wolf, Ali Jannesari
2019ACM Transactions on Architecture and Code Optimization (TACO)16 citations Open access
Semantic Scholar
10, 000 Performance Models per Minute - Scalability of the UG4 Simulation Framework
A. Vogel, A. Calotoiu, A. Strube, S. Reiter +3 more
2015European Conference on Parallel Processing14 citations Open access
Semantic Scholar
Influence of Noisy Environments on Behavior of HPC Applications
D. Nikitenko, F. Wolf, B. Mohr, T. Hoefler +4 more
2021Lobachevskii Journal of Mathematics13 citations
Semantic Scholar
Off-Road Performance Modeling - How to Deal with Segmented Data
M. Ilyas, A. Calotoiu, F. Wolf
2017European Conference on Parallel Processing13 citations
Semantic Scholar
Software for Exascale Computing - SPPEXA 2013-2015
F. Wolf, C. Bischof, A. Calotoiu, T. Hoefler +7 more
2016Software for Exascale Computing13 citations Open access
Semantic Scholar
Concise outlines for a complex logic: a proof outline checker for TaDA
F. Wolf, M. Schwerhoff, P. Müller
2020Formal methods in system design12 citations Open access
Semantic Scholar
Lightweight Requirements Engineering for Exascale Co-design
A. Calotoiu, Alexander Graf, T. Hoefler, Daniel Lorenz +2 more
2018IEEE International Conference on Cluster Computing12 citations
Semantic Scholar
A Comparison between OPARI2 and the OpenMP Tools Interface in the Context of Score-P
Daniel Lorenz, R. Dietrich, Ronny Tschüter, F. Wolf
2014International Workshop on OpenMP12 citations
Semantic Scholar
ExtraPeak: Advanced Automatic Performance Modeling for HPC Applications
A. Calotoiu, Marcin Copik, T. Hoefler, Marcus Ritter +2 more
2020Software for Exascale Computing11 citations Open access
Semantic Scholar
Estimating the Impact of External Interference on Application Performance
A. Shah, Matthias S. Müller, F. Wolf
2018European Conference on Parallel Processing11 citations
Semantic Scholar
Efficient Fault Tolerance Through Dynamic Node Replacement
Suraj Prabhakaran, M. Neumann, F. Wolf
2018IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing11 citations
Semantic Scholar
Noise-Resilient Empirical Performance Modeling with Deep Neural Networks
Marcus Ritter, A. Geiss, Johannes Wehrstein, A. Calotoiu +3 more
2021IEEE International Parallel and Distributed Processing Symposium10 citations
Semantic Scholar
Engineering Algorithms for Scalability through Continuous Validation of Performance Expectations
Sergei Shudler, Yannick Berens, A. Calotoiu, T. Hoefler +2 more
2019IEEE Transactions on Parallel and Distributed Systems10 citations Open access
Semantic Scholar
Enhancing the Programmability and Performance Portability of GPU Tensor Operations
Arya Mazaheri, Johannes Schulte, Matthew W. Moskewicz, F. Wolf +1 more
2019European Conference on Parallel Processing10 citations
Semantic Scholar
Dependence-Based Code Transformation for Coarse-Grained Parallelism
Bo Zhao, Zhen Li, Ali Jannesari, F. Wolf +1 more
2015COSMIC@CGO10 citations
Semantic Scholar
A Container-Driven Approach for Resource Provisioning in Edge-Fog Cloud
H. Fard, R. Prodan, F. Wolf
2019International Workshop on Algorithmic Aspects of Cloud Computing9 citations
Semantic Scholar
Catching Idlers with Ease: A Lightweight Wait-State Profiler for MPI Programs
G. Mao, David Böhme, Marc-André Hermanns, M. Geimer +2 more
2014EuroMPI/ASIA9 citations
Semantic Scholar
Safer Parallelization
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi +2 more
2020Leveraging Applications of Formal Methods8 citations
Semantic Scholar
Automatic Instrumentation Refinement for Empirical Performance Modeling
Jan-Patrick Lehr, A. Calotoiu, C. Bischof, F. Wolf
20192019 IEEE/ACM International Workshop on Programming and Performance Visualization Tools (ProTools)8 citations
Semantic Scholar
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
Ali Jannesari, F. Wolf
2016International journal of parallel programming8 citations
Semantic Scholar
Adaptive multi-tier intelligent data manager for Exascale
J. Carretero, J. García-Blas, Marco Aldinucci, Jean-Baptiste Besnard +9 more
2023ACM International Conference on Computing Frontiers7 citations Open access
Semantic Scholar
Simulating Structural Plasticity of the Brain more Scalable than Expected
Fabian Czappa, Alexander Geiß, F. Wolf
2022J. Parallel Distributed Comput.7 citations Open access
Semantic Scholar
Skipping Non-essential Instructions Makes Data-Dependence Profiling Faster
Nicolas Morew, Mohammad Norouzi, Ali Jannesari, F. Wolf
2020European Conference on Parallel Processing7 citations
Semantic Scholar
Automatic Performance Modeling of HPC Applications
F. Wolf, C. Bischof, A. Calotoiu, T. Hoefler +7 more
2016Software for Exascale Computing7 citations
Semantic Scholar