Yuepeng Wang

Publications

1.1K

Citations

H-Index

2009

Active since

Affiliations

Beijing National Laboratory for Molecular Sciences(Current)

University of Chinese Academy of Sciences

Chinese Academy of Sciences

The University of Texas at Austin

Xi'an Jiaotong University

Yuepeng Wang is an author at Beijing National Laboratory for Molecular Sciences specializing in engineering, computer science, and software engineering.

ORCID

Top concepts

EngineeringComputer ScienceChemical EngineeringSoftware EngineeringChemistrySoftware DesignProgram AnalysisSoftware AnalysisCatalysisFormal Methods

Publications per year

2009–2024

Publications

SQLizer: query synthesis from natural language

Navid Yaghmazadeh, Yuepeng Wang, Thomas Dillig · Proceedings of the ACM on Programming Languages · 2017 · 277 citations · Full text

Natural Language Processing, Program Sketch, Database Theory +14

Component-based synthesis for complex APIs

Yu Feng, Ruben Martins, Yuepeng Wang et al. · 2016 · 113 citations · Full text

Engineering, Verification, Software Engineering +21

2D Burgers equation with large Reynolds number using POD/DEIM and calibration

Yuepeng Wang, I. M. Navon, Xinyue Wang et al. · International Journal for Numerical Methods in Fluids · 2016 · 67 citations

Numerical Analysis, Reduced Order Modeling, Engineering +19

Formal Specification and Verification of Smart Contracts for Azure Blockchain

Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang et al. · arXiv (Cornell University) · 2018 · 55 citations · Full text

Engineering, Information Security, Verification +16

Lactate anion catalyzes aminolysis of polyesters with anilines

Fengtian Wu, Yuepeng Wang, Yanfei Zhao et al. · Science Advances · 2023 · 43 citations · Full text

Rows per page

1–5 of 34