76 citations · 123 across the 9 of their papers we have counts for
15 papers
Bit-GraphBLAS: Bit-Level Optimizations of Matrix-Centric Graph Processing on GPU
Jou-An Chen, Hsin-Hsuan Sung, Xipeng Shen +3
In a general graph data structure like an adjacency matrix, when edges are homogeneous, the connectivity of two nodes can be sufficiently represented using a single bit. This insig…
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea +10
This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorith…
G-TADOC: Enabling Efficient GPU-Based Text Analytics without Decompression
Feng Zhang, Zaifeng Pan, Yanliang Zhou +4
Text analytics directly on compression (TADOC) has proven to be a promising technology for big data analytics. GPUs are extremely popular accelerators for data analytics systems. U…
Toward Efficient Interactions between Python and Native Libraries
Jialiang Tan, Yu Chen, Zhenming Liu +4
Python has become a popular programming language because of its excellent programmability. Many modern software packages utilize Python for high-level algorithm design and depend o…
Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)
Jianfeng Chen, Xipeng Shen, Tim Menzies
Theorem provers has been used extensively in software engineering for software testing or verification. However, software is now so large and complex that additional architecture i…
Achieving Real-Time LiDAR 3D Object Detection on a Mobile Device
Pu Zhao, Wei Niu, Geng Yuan +7
3D object detection is an important task, especially in the autonomous driving application domain. However, it is challenging to support the real-time performance with the limited…