From post

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.

 

Другие публикации лиц с тем же именем

Merlin: Multi-tier Optimization of eBPF Code for Performance and Compactness., , , и . ASPLOS (3), стр. 639-653. ACM, (2024)C2S: translating natural language comments to formal program specifications., , , , , , , , и . ESEC/SIGSOFT FSE, стр. 25-37. ACM, (2020)AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System., , , и . ICSE, стр. 359-371. IEEE, (2021)CPC: automatically classifying and propagating natural language comments via program analysis., , , , , , , , , и . ICSE, стр. 1359-1371. ACM, (2020)Analyzing Inductively Defined Properties for Recursive Data Structures., , , , , и . Internetware, стр. 221-228. ACM, (2015)Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language., , , , , и . DATE, стр. 622-625. IEEE, (2020)Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java., , , и . QRS, стр. 208-215. IEEE, (2017)Node-Set Analysis for Linked Recursive Data Structures., , , , , и . QRS, стр. 59-64. IEEE, (2015)BppAttack: Stealthy and Efficient Trojan Attacks against Deep Neural Networks via Image Quantization and Contrastive Adversarial Learning., , и . CVPR, стр. 15054-15063. IEEE, (2022)Efficient DNN-Powered Software with Fair Sparse Models., , , , , и . CoRR, (2024)