( en | de | ru )

 

Disambiguation of "Chen, Yanju"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis-powered optimization of smart contracts via data type refactoring.

, , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 560-588 (2022)

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.

Chen Chen

Chen Chen

Shih Chen Chen

Yi-Chen Chen

Chen-Loung Chen

 

Other publications of authors with the same name

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs., , , , , , , , , and . Proc. ACM Program. Lang., 7 (PLDI): 1510-1532 (2023)Modeling a two-stage supply contract problem in a hybrid uncertain environment., , and . Comput. Ind. Eng., (2018)Trinity: An Extensible Synthesis Framework for Data Science., , , , and . Proc. VLDB Endow., 12 (12): 1914-1917 (2019)Practical Security Analysis of Zero-Knowledge Proof Circuits., , , , , , , and . IACR Cryptol. ePrint Arch., (2023)Automatic Emphatic Information Extraction from Aligned Acoustic Data and Its Application on Sentence Compression., and . AAAI, page 3422-3428. AAAI Press, (2017)Expectation formulas for reduced fuzzy variables., and . ICMLC, page 568-552. IEEE, (2010)Designing a resilient supply chain network under ambiguous information and disruption risk., and . Comput. Chem. Eng., (November 2023)Automated transpilation of imperative to functional code using neural-guided program synthesis., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-27 (2022)SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds., , , , , and . CoRR, (2021)Standby Redundancy Optimization with Type-2 Fuzzy Lifetimes., and . ICSI (1), volume 6728 of Lecture Notes in Computer Science, page 329-337. Springer, (2011)