Adrian Sampson
Cornell University
H-index: 22
North America-United States
Top articles of Adrian Sampson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Lightweight, modular verification for WebAssembly-to-Native instruction selection | Alexa VanHattum Monica Pardeshi Chris Fallin Adrian Sampson Fraser Brown | 2024/4/27 | |
Correct and Compositional Hardware Generators | arXiv preprint arXiv:2401.02570 | Rachit Nigam Ethan Gabizon Edmund Lam Adrian Sampson | 2024/1/4 |
Fifty Years of the International Symposium on Computer Architecture: A Data-Driven Retrospective | IEEE Micro | Matthew D Sinclair Parthasarathy Ranganathan Gaurang Upasani Adrian Sampson David Patterson | 2023/11/10 |
Fifty years of ISCA: A data-driven retrospective on key trends | arXiv preprint arXiv:2306.03964 | Gaurang Upasani Matthew D Sinclair Adrian Sampson Parthasarathy Ranganathan David Patterson | 2023/6/6 |
Modular hardware design with timeline types | Proceedings of the ACM on Programming Languages | Rachit Nigam Pedro Henrique Azevedo de Amorim Adrian Sampson | 2023/6/6 |
Stepwise debugging for hardware accelerators | Griffin Berlstein Rachit Nigam Christophe Gyurgyik Adrian Sampson | 2023/1/27 | |
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators | arXiv preprint arXiv:2312.16300 | Caleb Kim Pai Li Anshuman Mohan Andrew Butt Adrian Sampson | 2023/12/26 |
Verifying dynamic trait objects in Rust | Alexa VanHattum Daniel Schwartz-Narbonne Nathan Chong Adrian Sampson | 2022/5/21 | |
Compiler-driven simulation of reconfigurable hardware accelerators | Zhijing Li Yuwei Ye Stephen Neuendorffer Adrian Sampson | 2022/4/2 | |
Performance left on the table: an evaluation of compiler autovectorization for RISC-V | IEEE Micro | Neil Adit Adrian Sampson | 2022/6/21 |
A compiler infrastructure for accelerator generators | Rachit Nigam Samuel Thomas Zhijing Li Adrian Sampson | 2021/4/19 | |
Software-defined vector processing on manycore fabrics | Philip Bedoukian Neil Adit Edwin Peguero Adrian Sampson | 2021/10/18 | |
Dense Pruning of Pointwise Convolutions in the Frequency Domain | arXiv preprint arXiv:2109.07707 | Mark Buckler Neil Adit Yuwei Hu Zhiru Zhang Adrian Sampson | 2021/9/16 |
Reticle: A virtual machine for programming modern FPGAs | Luis Vega Joseph McMahan Adrian Sampson Dan Grossman Luis Ceze | 2021/6/19 | |
Vectorization for digital signal processors via equality saturation | Alexa VanHattum Rachit Nigam Vincent T Lee James Bornholt Adrian Sampson | 2021/4/19 | |
A synthesis-aided compiler for dsp architectures (wip paper) | Alexa VanHattum Rachit Nigam Vincent T Lee James Bornholt Adrian Sampson | 2020/6/16 | |
Exploiting errors for efficiency: A survey from circuits to applications | Phillip Stanley-Marbell Armin Alaghi Michael Carbin Eva Darulova Lara Dolecek | 2020/6/12 | |
System and methods for processing spatial data | 2020/12/31 | ||
Predictable accelerator design with time-sensitive affine types | Rachit Nigam Sachille Atapattu Samuel Thomas Zhijing Li Theodore Bauer | 2020/6/11 | |
Online verification of commutativity | Aditi Kabra Dietrich Geisler Adrian Sampson | 2020/11/17 |