Adrian Sampson

Orcid: 0000-0003-0837-8924

Affiliations:
  • Cornell University, Ithaca, NY, USA


According to our database1, Adrian Sampson authored at least 47 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Correct and Compositional Hardware Generators.
CoRR, 2024

Scalable, Programmable and Dense: The HammerBlade Open-Source RISC-V Manycore.
Proceedings of the 51st ACM/IEEE Annual International Symposium on Computer Architecture, 2024

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023
Modular Hardware Design with Timeline Types.
Proc. ACM Program. Lang., 2023

Fifty Years of the International Symposium on Computer Architecture: A Data-Driven Retrospective.
IEEE Micro, 2023

Unifying Static and Dynamic Intermediate Languages for Accelerator Generators.
CoRR, 2023

Fifty Years of ISCA: A data-driven retrospective on key trends.
CoRR, 2023

Stepwise Debugging for Hardware Accelerators.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022
Performance Left on the Table: An Evaluation of Compiler Autovectorization for RISC-V.
IEEE Micro, 2022

Verifying Dynamic Trait Objects in Rust.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Compiler-Driven Simulation of Reconfigurable Hardware Accelerators.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2022

2021
Exploiting Errors for Efficiency: A Survey from Circuits to Applications.
ACM Comput. Surv., 2021

Dense Pruning of Pointwise Convolutions in the Frequency Domain.
CoRR, 2021

Reticle: a virtual machine for programming modern FPGAs.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Software-Defined Vector Processing on Manycore Fabrics.
Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

Vectorization for digital signal processors via equality saturation.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

A compiler infrastructure for accelerator generators.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020
Geometry types for graphics programming.
Proc. ACM Program. Lang., 2020

Optimizing JPEG Quantization for Classification Networks.
CoRR, 2020

Predictable accelerator design with time-sensitive affine types.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Online verification of commutativity.
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

2018
A Taxonomy of General Purpose Approximate Computing Techniques.
IEEE Embed. Syst. Lett., 2018

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms.
CoRR, 2018

LambdaLab: an interactive λ-calculus reducer for learning.
Proceedings of the SPLASH-E '18, 2018

EVA<sup>2</sup>: Exploiting Temporal Redundancy in Live Computer Vision.
Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

2017
Static stages for heterogeneous programming.
Proc. ACM Program. Lang., 2017

High Five: Improving Gesture Recognition by Embracing Uncertainty.
CoRR, 2017

Abstractions for AI-Based User Interfaces and Systems.
CoRR, 2017

Let's Fix OpenGL.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Debugging probabilistic programs.
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

Reconfiguring the Imaging Pipeline for Computer Vision.
Proceedings of the IEEE International Conference on Computer Vision, 2017

2016
Approximate Computing: Unlocking Efficiency with Hardware-Software Co-Design.
GetMobile Mob. Comput. Commun., 2016

2015
Hardware and Software for Approximate Computing.
PhD thesis, 2015

Approximate Computing: Making Mobile Systems More Efficient.
IEEE Pervasive Comput., 2015

Neural acceleration for general-purpose approximate programs.
Commun. ACM, 2015

Hardware-Software Co-Design: Not Just a Cliché.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Probability type inference for flexible approximate programming.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

SNNAP: Approximate computing on programmable SoCs via neural acceleration.
Proceedings of the 21st IEEE International Symposium on High Performance Computer Architecture, 2015

Monitoring and Debugging the Quality of Results in Approximate Programs.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Approximate Storage in Solid-State Memories.
ACM Trans. Comput. Syst., 2014

Expressing and verifying probabilistic assertions.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012
Automatic discovery of performance and energy pitfalls in HTML and CSS.
Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Architecture support for disciplined approximate programming.
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011
EnerJ: approximate data types for safe and general low-power computation.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010
Composable specifications for structured shared-memory communication.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008
On-line Distributed Traffic Grooming.
Proceedings of IEEE International Conference on Communications, 2008


  Loading...