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.

 

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

Assertion-Directed Precondition Synthesis for Loops over Data Structures., , и . SETTA, том 9409 из Lecture Notes in Computer Science, стр. 258-274. Springer, (2015)Training with More Confidence: Mitigating Injected and Natural Backdoors During Training., , , и . NeurIPS, (2022)A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair., , , , , , и . CoRR, (2023)ELISE: A Storage Efficient Logging System Powered by Redundancy Reduction and Representation Learning., , , и . USENIX Security Symposium, стр. 3023-3040. USENIX Association, (2021)The Case for Learned Provenance Graph Storage Systems., , , и . USENIX Security Symposium, стр. 3277-3294. USENIX Association, (2023)Post-condition-Directed Invariant Inference for Loops over Data Structures., , и . SERE (Companion), стр. 204-212. IEEE, (2014)Extracting Mapping Relations for Mobile User Interface Transformation., , , , , и . Internetware, стр. 2:1-2:10. ACM, (2019)Machine Translation Testing via Syntactic Tree Pruning., , , , , , и . ACM Trans. Softw. Eng. Methodol., 33 (5): 125:1-125:39 (июня 2024)Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation., , , , , и . CVPR, стр. 24766-24775. IEEE, (2024)Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java., , , и . QRS, стр. 208-215. IEEE, (2017)