218 citations · 448 across the 18 of their papers we have counts for
4 papers · 1 filter
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…