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

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