Tao Wang
College of Engineering
Works (3)
Updated: November 18th, 2024 11:06
2020 journal article
BarrierFinder: recognizing ad hoc barriers
EMPIRICAL SOFTWARE ENGINEERING, 25(6), 4676–4706.
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.
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).
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