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.

 

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

Automatic annotation of tasks in structured code., , , , и . PACT, стр. 31:1-31:13. ACM, (2018)Demand-driven less-than analysis., и . SBLP, стр. 2:1-2:8. ACM, (2017)Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos., , и . SBLP, стр. 91-98. ACM, (2023)New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure., , , , и . SBLP, стр. 33-40. ACM, (2021)Hapi: A domain-specific language for the declaration of access policies., , и . J. Comput. Lang., (2022)Inference of peak density of indirect branches to detect ROP attacks., , и . CGO, стр. 150-159. ACM, (2016)Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical Systems., , , , , и . SenSys, стр. 22:1-22:6. ACM, (2017)Speed and Precision in Range Analysis., , , и . SBLP, том 7554 из Lecture Notes in Computer Science, стр. 42-56. Springer, (2012)Compiler-assisted Adaptive Program Scheduling in big.LITTLE Systems., , , и . CoRR, (2019)Efficient and Precise Dynamic Construction of Control Flow Graphs., , и . SBLP, стр. 19-26. ACM, (2019)