3 citations · 5 across the 3 of their papers we have counts for
4 papers
Composing Distributed Computations Through Task and Kernel Fusion
Rohan Yadav, Shiv Sundram, Wonchan Lee +4
We introduce Diffuse, a system that dynamically performs task and kernel fusion in distributed, task-based runtime systems. The key component of Diffuse is an intermediate represen…
Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance
Elliott Slaughter, Wei Wu, Yuankun Fu +12
We present Task Bench, a parameterized benchmark designed to explore the performance of parallel and distributed programming systems under a variety of application scenarios. Task…
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Wonchan Lee, Yungbum Jung, Bow-yaw Wang +1
We address the predicate generation problem in the context of loop invariant inference. Motivated by the interpolation-based abstraction refinement technique, we apply the interpol…
Extended Report: The Implicit Calculus
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi +2
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combin…