Author of the publication

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.

 

Other publications of authors with the same name

Optical-flow-based framework to boost video object detection performance with object enhancement., , and . Expert Syst. Appl., (2021)SigVM: enabling event-driven execution for truly decentralized smart contracts., , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 673-698 (2022)Multiscale Empirical Analysis of Software Network Evolution., , , , , and . QRS Companion, page 1109-1118. IEEE, (2021)Sound input filter generation for integer overflow errors., , , and . POPL, page 439-452. ACM, (2014)LVMT: An Efficient Authenticated Storage for Blockchain., , , , , and . OSDI, page 135-153. USENIX Association, (2023)An analysis of patch plausibility and correctness for generate-and-validate patch generation systems., , , and . ISSTA, page 24-36. ACM, (2015)An Improved Blind Optimization Algorithm for Hardware/Software Partitioning and Scheduling., , , and . ICSI (2), volume 10942 of Lecture Notes in Computer Science, page 225-234. Springer, (2018)Sparseness of the LS-SVM algorithm based on the leave one out cross validation method with Multibeam data., , , and . EITCE, page 253-257. ACM, (2020)Securing smart contract with runtime validation., , and . PLDI, page 438-453. ACM, (2020)Automatic patch generation via learning from successful human patches.. Massachusetts Institute of Technology, Cambridge, USA, (2018)ndltd.org (oai:dspace.mit.edu:1721.1/115774).