Tao Wang

College of Engineering

Works (3)

Updated: July 5th, 2023 15:08

2020 journal article

BarrierFinder: recognizing ad hoc barriers

EMPIRICAL SOFTWARE ENGINEERING, 25(6), 4676–4706.

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
Source: Web Of Science
Added: September 21, 2020

2019 article

BARRIERFINDER: Recognizing Ad Hoc Barriers

2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327.

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
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: Auto-tuning Scientific Applications With Per-loop Compilation

PROCEEDINGS OF THE 48TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP 2019).

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
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© (2024) 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.