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.

 

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

Mutation Analysis for Coq, , , , и . 34th IEEE/ACM International Conference on Automated Software Engineering, стр. 539--551. (ноября 2019)A framework for writing trigger-action todo comments in executable format., , , , , и . ESEC/SIGSOFT FSE, стр. 385-396. ACM, (2019)Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning., , , и . ICSE (Companion Volume), стр. 21-24. IEEE, (2021)Predictive constraint solving and analysis., , , , , и . ICSE (NIER), стр. 109-112. ACM, (2020)Deep Just-In-Time Inconsistency Detection Between Comments and Source Code., , , и . AAAI, стр. 427-435. AAAI Press, (2021)A regression proof selection tool for coq., , и . ICSE (Companion Volume), стр. 117-120. ACM, (2018)A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas., , , , и . SBAC-PAD, стр. 140-149. IEEE, (2022)Debugging the performance of Maven's test isolation: experience report., , , , , и . ISSTA, стр. 249-259. ACM, (2020)Pattern-Based Peephole Optimizations with Java JIT Tests., , и . CoRR, (2024)Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves., , , , и . AAAI Workshops, том WS-18 из AAAI Technical Report, стр. 775-778. AAAI Press, (2018)