David Neto

Orcid: 0009-0007-5993-080X

According to our database1, David Neto authored at least 8 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Taking Back Control in an Intermediate Representation for GPU Computing.
Proc. ACM Program. Lang., January, 2023

Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021
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

2012
From opencl to high-performance hardware on FPGAS.
Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

2010
A comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs.
Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

2007
Power-Efficient RAM Mapping Algorithms for FPGA Embedded Memory Blocks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

2006
Power-aware RAM mapping for FPGA embedded memory blocks.
Proceedings of the ACM/SIGDA 14th International Symposium on Field Programmable Gate Arrays, 2006


  Loading...