( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Program analysis for bug detection using parfait: invited talk.

, , , и . PEPM, стр. 7-8. ACM, (2009)

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.

Roberto Cifuentes

Manuel Valiente Cifuentes

Sergio Espinoza Cifuentes

Leonel Osvaldo Cifuentes

Cristina Sattarhoff

 

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

JavaTM on the bare metal of wireless sensor devices: the squawk Java virtual machine., , , , и . VEE, стр. 78-88. ACM, (2006)The Design of a Resourceable and Retargetable Binary Translator., , и . WCRE, стр. 280-291. IEEE Computer Society, (1999)Dynamic Graph Map Animation., , , , и . PacificVis, стр. 1-6. IEEE, (2020)Parfait - Designing a Scalable Bug Checker., и . Scalable Program Analysis, том 08161 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Static deep error checking in large system applications using parfait., , , , , , , , , и . SIGSOFT FSE, стр. 432-435. ACM, (2011)Boosting the performance of flow-sensitive points-to analysis using value flow., , и . SIGSOFT FSE, стр. 343-353. ACM, (2011)Machine learning for finding bugs: An initial report., , , и . MaLTeSQuE, стр. 21-26. IEEE Computer Society, (2017)Copyright in Shareware Software Distributed on the Internet - The Trumpet Winsock Case., и . ICSE, стр. 456-464. ACM, (1997)The legal status of reverse engineering of computer software., и . Ann. Softw. Eng., (2000)Specifying the Semantics of Machine Instructions., и . IWPC, стр. 126-133. IEEE Computer Society, (1998)