Skip to content

David Neto

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

2006–2023

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2023ASPLOSMC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen
2023ICSTIndustrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages.Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson
2012FPLFrom opencl to high-performance hardware on FPGAS.Tomasz S. Czajkowski, Utku Aydonat, Dmitry Denisenko, John Freeman, Michael Kinsner, David Neto, Jason Wong, Peter Yiannacouras, Deshanand P. Singh
2010FPGAA comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs.Doris Chen, Deshanand P. Singh, Jeffrey Chromczak, David M. Lewis, Ryan Fung, David Neto, Vaughn Betz
2006FPGAPower-aware RAM mapping for FPGA embedded memory blocks.Russell Tessier, Vaughn Betz, David Neto, Thiagaraja Gopalsamy