( en | de | ru )

 

Disambiguation of "Wang, Yuepeng"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying equivalence of database-driven applications.

, , , and . Proc. ACM Program. Lang., 2 (POPL): 56:1-56:29 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yuepeng Wan

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

 

Other publications of authors with the same name

Accelerating inverse inference of ensemble Kalman filter via reduced-order model trained using adaptive sparse observations., , , , and . J. Comput. Phys., (January 2024)Type- and Content-Driven Synthesis of SQL Queries from Natural Language., , , and . CoRR, (2017)Sporq: An Interactive Environment for Exploring Code using Query-by-Example., , , , , and . UIST, page 84-99. ACM, (2021)Hunter: next-generation code reuse for Java., , , , , and . SIGSOFT FSE, page 1028-1032. ACM, (2016)Automatic Repair for Network Programs., , , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 353-372. Springer, (2022)Application of regularization technique to variational adjoint method: A case for nonlinear convection-diffusion problem., and . Appl. Math. Comput., 218 (8): 4475-4482 (2011)Synthesis-powered optimization of smart contracts via data type refactoring., , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 560-588 (2022)Feasibility of DEIM for retrieving the initial field via dimensionality reduction., , , , , and . J. Comput. Phys., (2021)CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation., , , , , and . ICLR, OpenReview.net, (2022)Formal Specification and Verification of Smart Contracts for Azure Blockchain., , , and . CoRR, (2018)