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.

 

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

Automated Repair of Programs from Large Language Models., , , , и . ICSE, стр. 1469-1481. IEEE, (2023)A Conservative Technique to Improve Deterministic Evaluation of Logic Programs., , , и . ICCL, стр. 196-205. IEEE Computer Society, (1998)Using Compressed Bytecode Traces for Slicing Java Programs., и . ICSE, стр. 512-521. IEEE Computer Society, (2004)A correlation study between automated program repair and test-suite metrics., , , , и . ICSE, стр. 24. ACM, (2018)Binary rewriting without control flow recovery., , и . PLDI, стр. 151-163. ACM, (2020)Cache-aware optimization of BAN applications., , , , и . CODES+ISSS, стр. 149-154. ACM, (2008)Automatic Generation of Protocol Converters from Scenario-Based Specifications., , , и . RTSS, стр. 447-458. IEEE Computer Society, (2004)WOMM: A Weak Operational Memory Model., , и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 519-534. Springer, (2010)Formal Reasoning about Hardware and Software Memory Models.. ICFEM, том 2495 из Lecture Notes in Computer Science, стр. 423-434. Springer, (2002)Efficient Algorithms for Vertex Arboricity of Planar Graphs., и . FSTTCS, том 1026 из Lecture Notes in Computer Science, стр. 37-51. Springer, (1995)