David Neto

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 4

Top Topics

Intermediate Representation

Fourier Coefficients

Top Venues

Proc. ACM Program. Lang.

Math. Comput. Simul.

Publications

Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. ASPLOS (2) (2023)
Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, Hana Watson
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. ICST (2023)
David Neto
Adaptive LASSO for selecting Fourier coefficients in a functional smooth time-varying cointegrating regression: An application to the Feldstein-Horioka puzzle. Math. Comput. Simul. 179 (2021)
Tomasz S. Czajkowski, Utku Aydonat, Dmitry Denisenko, John Freeman, Michael Kinsner, David Neto, Jason Wong, Peter Yiannacouras, Deshanand P. Singh
From opencl to high-performance hardware on FPGAS. FPL (2012)
Doris Chen, Deshanand P. Singh, Jeffrey Chromczak, David M. Lewis, Ryan Fung, David Neto, Vaughn Betz
A comprehensive approach to modeling, characterizing and optimizing for metastability in FPGAs. FPGA (2010)
Russell Tessier, Vaughn Betz, David Neto, Aaron Egier, Thiagaraja Gopalsamy
Power-Efficient RAM Mapping Algorithms for FPGA Embedded Memory Blocks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (2) (2007)
Russell Tessier, Vaughn Betz, David Neto, Thiagaraja Gopalsamy
Power-aware RAM mapping for FPGA embedded memory blocks. FPGA (2006)