Tao Wang

College of Engineering

Works (3)

Updated: November 18th, 2024 11:06

2020 article

BarrierFinder: recognizing ad hoc barriers

Wang, T., Yu, X., Qiu, Z., Jin, G., & Mueller, F. (2020, September 1). Empirical Software Engineering.

By: T. Wang n, X. Yu n, Z. Qiu n, G. Jin n & F. Mueller n

author keywords: Ad hoc synchronizations; Barriers; Program slicing; Symbolic execution; Temporal invariants
topics (OpenAlex): Software Testing and Debugging Techniques; Software System Performance and Reliability; Parallel Computing and Optimization Techniques
Source: Web Of Science
Added: September 21, 2020

2019 article

BARRIERFINDER: Recognizing Ad Hoc Barriers

Wang, T., Yu, X., Qiu, Z., Jin, G., & Mueller, F. (2019, September 1).

By: T. Wang n, X. Yu n, Z. Qiu n, G. Jin n & F. Mueller n

author keywords: ad hoc synchronization; barrier; symbolic execution; interprocedural program slicing; Cloud9; LLVM
topics (OpenAlex): Distributed systems and fault tolerance; Parallel Computing and Optimization Techniques; Software System Performance and Reliability
TL;DR: A framework to automatically identify complex ad hoc synchronizations in full and infer their synchronization relationships and a tool called BarrierFinder, which features various techniques, including program slicing and bounded symbolic execution, to efficiently explore the interleaving space of ad hoc synchronizations within multi-threaded programs and collect execution traces. (via Semantic Scholar)
Source: Web Of Science
Added: April 14, 2020

2019 article

FuncyTuner

Wang, T., Jain, N., Beckingsale, D., Boehme, D., Mueller, F., & Gamblin, T. (2019, July 25).

By: T. Wang n, N. Jain *, D. Beckingsale *, D. Boehme*, F. Mueller n & T. Gamblin *

author keywords: per-loop; fine-grained; auto-tuning; ICC; compiler; optimization; profile; OperalP; HPC; scientific simulation
topics (OpenAlex): Parallel Computing and Optimization Techniques; Distributed and Parallel Computing Systems; Software Engineering Research
TL;DR: It is demonstrated that a naïve greedy approach to per-region compilation often degrades performance in comparison to the 03 baseline, and a novel per-loop compilation framework, FuncyTuner, is contributed, which employs lightweight profiling to collect per- loop timing information, and then utilizes a space-focusing technique to construct a performant executable. (via Semantic Scholar)
Source: Web Of Science
Added: October 28, 2019

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.