Tao Wang

College of Engineering

Works (3)

Download BibTeX Download Plain Text View JSON

2020 journal article

BarrierFinder: recognizing ad hoc barriers

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

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

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, X. Yu, Z. Qiu n, G. Jin & F. Mueller

author keywords: ad hoc synchronization; barrier; symbolic execution; interprocedural program slicing; Cloud9; LLVM
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. Jain*, D. Beckingsale*, D. Boehme *, F. Mueller & T. Gamblin*

author keywords: per-loop; fine-grained; auto-tuning; ICC; compiler; optimization; profile; OperalP; HPC; scientific simulation
Source: Web Of Science
Added: October 28, 2019