Guoqiang Zhang

College of Engineering

Works (2)

Updated: May 9th, 2023 12:52

2021 journal article

Coarsening Optimization for Differentiable Programming

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 5(OOPSLA).

By: X. Shen n , G. Zhang n, I. Dea*, S. Andow*, E. Arroyo-Fang*, N. Gafter*, J. George*, M. Grueter* ...

author keywords: differentiable programming; compiler; program optimizations; SSA; Calculus
TL;DR: This work introduces phi-calculus, a novel method to allow symbolic reasoning and differentiation of computations that involve branches and loops and avoids "expression swell" in symbolic differentiation and balance reuse and coarsening through the design of reuse-centric segment of interest identification. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: January 2, 2022

2021 journal article

UDF to SQL Translation through Compositional Lazy Inductive Synthesis

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 5(OOPSLA).

By: G. Zhang n, Y. Xu n, X. Shen n  & I. Dillig *

author keywords: program synthesis; source-to-source compiler; query optimization
TL;DR: A new technique for translating SQL queries with UDFs to pure SQL expressions using a novel compositional strategy that decomposes the synthesis task into simpler sub-problems and scales significantly better than traditional CEGIS. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: January 2, 2022

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2025) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.