Concepedia

Zheng Guo

ZG

Statistics

Publications

4

Citations

63

H-Index

4

Active since

2020

Affiliations

University of California San Diego(Current)

Zheng Guo is an author at University of California San Diego specializing in computing, type systems, and program synthesis.

Publications per year

2020–2023

4

Publications

4

Digging for fold: synthesis-aided API discovery for Haskell

Michael B. James, Zheng Guo, Ziteng Wang et al. · Proceedings of the ACM on Programming Languages · 2020 · 18 citations · Full text

Computing, Computer Science, Computer Systems +16

Searching entangled program spaces

James Koppel, Zheng Guo, Edsko de Vries et al. · Proceedings of the ACM on Programming Languages · 2022 · 16 citations · Full text

Computing, Computer Science, Algorithms +10

Wet clutch pressure hysteresis compensation control under variable oil temperatures for electro-hydraulic actuators

Antai Li, Datong Qin, Zheng Guo et al. · Control Engineering Practice · 2023 · 15 citations

Engineering, Mechanical Engineering, Mechatronics Engineering +14

Type-directed program synthesis for RESTful APIs

Zheng Guo, David Cao, Davin Tjong et al. · 2022 · 14 citations · Full text

Computing, Computer Science, Computer Systems +16

1–4 of 4