EDBT 2026 Demo / reviewers in the wild / expert
Thomas Hauser
dblp:91/1570
· DBLP profile ↗
4ranked-venue papers
1as first author
0since 2021 · last 2019
0000-0003-1170-6749ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Debugging and program repair · 67% Program analysis · 33% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Environmental and earth informatics · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
High-performance computing · 91% Performance modeling and evaluation · 9% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Debugging and program repair
fault localization |
0.4 | 1 | 2019 | Making Root Cause Analysis Feasible for Large Code Bases: A Solution Approach for a Climate Model · HPDC 2019 |
Program analysis › static analysis
program slicing |
0.4 | 1 | 2019 | Making Root Cause Analysis Feasible for Large Code Bases: A Solution Approach for a Climate Model · HPDC 2019 |
Debugging and program repair
root cause analysis |
0.4 | 1 | 2019 | Making Root Cause Analysis Feasible for Large Code Bases: A Solution Approach for a Climate Model · HPDC 2019 |
Environmental and earth informatics
climate modeling |
0.1 | 1 | 2019 | Making Root Cause Analysis Feasible for Large Code Bases: A Solution Approach for a Climate Model · HPDC 2019 |
High-performance computing
cluster computing |
0.0 | 1 | 2000 | High-Cost CFD on a Low-Cost Cluster · SC 2000 |
High-performance computing › scientific computing systems
computational fluid dynamics |
0.0 | 1 | 2000 | High-Cost CFD on a Low-Cost Cluster · SC 2000 |
High-performance computing
scientific computing systems |
0.0 | 1 | 2000 | High-Cost CFD on a Low-Cost Cluster · SC 2000 |
Performance modeling and evaluation
benchmarking |
0.0 | 1 | 2000 | High-Cost CFD on a Low-Cost Cluster · SC 2000 |
Methods — techniques the papers use, named apart from their topics
runtime variable sampling · 0.8hybrid program slicing · 0.8directed graph · 0.8community partitioning · 0.8centrality ranking · 0.8performance tuning · 0.0direct numerical simulation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | Making Root Cause Analysis Feasible for Large Code Bases: A Solution Approach for a Climate ModelabstractLarge-scale simulation codes that model complicated science and engineering applications typically have huge and complex code bases. For such simulation codes, where bit-for-bit comparisons are too restrictive, finding the source of statistically significant discrepancies (e.g., from a previous version, alternative hardware or supporting software stack) in output is non-trivial at best. Although there are many tools for program comprehension through debugging or slicing, few (if any) scale to a model as large as the Community Earth System Model (CESM#8482;), which consists of more than 1.5 million lines of Fortran code. Currently for the CESM, we can easily determine whether a discrepancy exists in the output using a by now well-established statistical consistency testing tool. However, this tool provides no information as to the possible cause of the detected discrepancy, leaving developers in a seemingly impossible (and frustrating) situation. Therefore, our aim in this work is to provide the tools to enable developers to trace a problem detected through the CESM output to its source. To this end, our strategy is to reduce the search space for the root cause(s) to a tractable size via a series of techniques that include creating a directed graph of internal CESM variables, extracting a subgraph (using a form of hybrid program slicing), partitioning into communities, and ranking nodes by centrality. Runtime variable sampling then becomes feasible in this reduced search space. We demonstrate the utility of this process on multiple examples of CESM simulation output by illustrating how sampling can be performed as part of an efficient parallel iterative refinement procedure to locate error sources, including sensitivity to CPU instructions. By providing CESM developers with tools to identify and understand the reason for statistically distinct output, we have positively impacted the CESM software development cycle and, in particular, its focus on quality assurance. Daniel Milroy, Allison H. Baker, Dorit Hammerling, Youngsung Kim, Elizabeth R. Jessup, Thomas Hauser |
HPDC | 6 |
| 2013 | The scaling of many-task computing approaches in python on cluster supercomputersabstractWe compare two packages for performing manytask computing (MTC) in Python: IPython Parallel and Celery. We describe these packages in detail and compare their features as applied to many-task computing on a cluster, including a scaling study using over 12,000 cores and several thousand tasks. We use mpi4py as a baseline for our comparisons. Our results suggest that Python is an excellent way to manage many-task computing and that no single technique is the obvious choice in every situation. Monte Lunacek, Jazcek Braden, Thomas Hauser |
CLUSTER | 3 |
| 2006 | Memory support design for LU decomposition on the starbridge hyper-computerabstractLU matrix decomposition is a linear algebra algorithm used to reduce the complexity required to solve a large system of linear equations. Large systems of equations frequently need to be solved in physics, engineering, and computational chemistry. In the hardware implementation of such LU algorithms supporting modules must be included which handle the transfer of memory between the disk and processing nodes. This paper looks at the data transfer hardware which supports an implementation of a block-based LU algorithm on a multi-FPGA system. Preliminary results are provided which show the required areas and latencies of these designs Seth Young, Arvind Sudarsanam, Aravind Dasu, Thomas Hauser |
FPT | 4 |
| 2000 | High-Cost CFD on a Low-Cost ClusterabstractDirect numerical simulation of the Navier-Stokes equations (DNS) is an important technique for the future of computational fluid dynamics (CFD) in engineering applications. However, DNS requires massive computing resources. This paper presents a new approach for implementing high-cost DNS CFD using low-cost cluster hardware. After describing the DNS CFD code DNSTool, the paper focuses on the techniques and tools that we have developed to customize the performance of a cluster implementation of this application. This tuning of system performance involves both recoding of the application and careful engineering of the cluster design. Using the cluster KLAT2 (Kentucky Linux Athlon Testbed 2), while DNSTool cannot match the $0.64 per MFLOPS that KLAT2 achieves on single precision ScaLAPACK, it is very efficient; DNSTool on KLAT2 achieves price/performance of $2.75 per MFLOPS double precision and $1.86 single precision. Further, the code and tools are all, or will soon be, made freely available as full source code. Thomas Hauser, Timothy Mattox, Raymond P. LeBeau, Henry G. Dietz, P. George Huang |
SC | 1 |