( en | de | ru )

 

Disambiguation of "Neto, David"

Author of the publication

copydeleteadd this publication to your clipboard
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.

, , , , , , , and . ASPLOS (2), page 473-488. ACM, (2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

David Rassi-Neto

Oswaldo Cavalcanti Costa Lima Neto

Arthur Ayres Neto

António Manuel Martins Neto

João Pacheco Fernandes Neto

 

Other publications of authors with the same name

Adaptive LASSO for selecting Fourier coefficients in a functional smooth time-varying cointegrating regression: An application to the Feldstein-Horioka puzzle.. Math. Comput. Simul., (2021)Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages., , , , , , and . ICST, page 374-385. IEEE, (2023)From opencl to high-performance hardware on FPGAS., , , , , , , , and . FPL, page 531-534. IEEE, (2012)A comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs., , , , , , and . FPGA, page 167-176. ACM, (2010)Taking Back Control in an Intermediate Representation for GPU Computing., , , , , and . Proc. ACM Program. Lang., 7 (POPL): 1740-1769 (January 2023)MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications., , , , , , , and . ASPLOS (2), page 473-488. ACM, (2023)Accessible organizational elements in wikis with model-driven development., , , and . SIGDOC, page 49-56. ACM, (2010)Efficient cluster compensation for Lin-Kernighan heuristics.. University of Toronto, Canada, (1999)WCAG conformance approach based on model-driven development and WebML., , , and . SIGDOC, page 167-174. ACM, (2010)On the Challenges of Automated Testing of Web Vulnerabilities., , , , , and . WETICE, page 203-206. IEEE, (2020)