Adrian Sampson

According to our database, Adrian Sampson authored at least 46 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Correct and Compositional Hardware Generators.

Rachit Nigam, Ethan Gabizon, Edmund Lam, Adrian Sampson

CoRR, 2024

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.

Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Modular Hardware Design with Timeline Types.

Rachit Nigam, Pedro Henrique Azevedo de Amorim, Adrian Sampson

Proc. ACM Program. Lang., 2023

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

Matthew D. Sinclair, Parthasarathy Ranganathan, Gaurang Upasani, Adrian Sampson, David A. Patterson, Rutwik Jain, Nidhi Parthasarathy, Shaan Shah

IEEE Micro, 2023

Unifying Static and Dynamic Intermediate Languages for Accelerator Generators.

Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam

CoRR, 2023

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

Gaurang Upasani, Matthew D. Sinclair, Adrian Sampson, Parthasarathy Ranganathan, David A. Patterson, Shaan Shah, Nidhi Parthasarathy, Rutwik Jain

CoRR, 2023

Stepwise Debugging for Hardware Accelerators.

Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, Adrian Sampson

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.

Neil Adit, Adrian Sampson

IEEE Micro, 2022

Verifying Dynamic Trait Objects in Rust.

Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Compiler-Driven Simulation of Reconfigurable Hardware Accelerators.

Zhijing Li, Yuwei Ye, Stephen Neuendorffer, Adrian Sampson

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2022

2021

Exploiting Errors for Efficiency: A Survey from Circuits to Applications.

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

ACM Comput. Surv., 2021

Dense Pruning of Pointwise Convolutions in the Frequency Domain.

Mark Buckler, Neil Adit, Yuwei Hu, Zhiru Zhang, Adrian Sampson

CoRR, 2021

Reticle: a virtual machine for programming modern FPGAs.

Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Software-Defined Vector Processing on Manycore Fabrics.

Philip Bedoukian, Neil Adit, Edwin Peguero, Adrian Sampson

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

Vectorization for digital signal processors via equality saturation.

Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson

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.

Rachit Nigam, Samuel Thomas, Zhijing Li, Adrian Sampson

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.

Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson

Proc. ACM Program. Lang., 2020

Optimizing JPEG Quantization for Classification Networks.

Zhijing Li, Christopher De Sa, Adrian Sampson

CoRR, 2020

Predictable accelerator design with time-sensitive affine types.

Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, Zhiru Zhang

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Online verification of commutativity.

Aditi Kabra, Dietrich Geisler, Adrian Sampson

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

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper).

Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson

Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

2018

A Taxonomy of General Purpose Approximate Computing Techniques.

Thierry Moreau, Joshua San Miguel, Mark Wyse, James Bornholt, Armin Alaghi, Luis Ceze, Natalie D. Enright Jerger, Adrian Sampson

IEEE Embed. Syst. Lett., 2018

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

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey

CoRR, 2018

LambdaLab: an interactive λ-calculus reducer for learning.

Daniel Sainati, Adrian Sampson

Proceedings of the SPLASH-E '18, 2018

EVA²: Exploiting Temporal Redundancy in Live Computer Vision.

Mark Buckler, Philip Bedoukian, Suren Jayasuriya, Adrian Sampson

Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

2017

Static stages for heterogeneous programming.

Adrian Sampson, Kathryn S. McKinley, Todd Mytkowicz

Proc. ACM Program. Lang., 2017

High Five: Improving Gesture Recognition by Embracing Uncertainty.

Diman Zad Tootaghaj, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley

CoRR, 2017

Abstractions for AI-Based User Interfaces and Systems.

Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson

CoRR, 2017

Let's Fix OpenGL.

Adrian Sampson

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Debugging probabilistic programs.

Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley

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

Reconfiguring the Imaging Pipeline for Computer Vision.

Mark Buckler, Suren Jayasuriya, Adrian Sampson

Proceedings of the IEEE International Conference on Computer Vision, 2017

2016

Approximate Computing: Unlocking Efficiency with Hardware-Software Co-Design.

Luis Ceze, Adrian Sampson

GetMobile Mob. Comput. Commun., 2016

2015

Hardware and Software for Approximate Computing.

Adrian Sampson

PhD thesis, 2015

Approximate Computing: Making Mobile Systems More Efficient.

Thierry Moreau, Adrian Sampson, Luis Ceze

IEEE Pervasive Comput., 2015

Hardware-Software Co-Design: Not Just a Cliché.

Adrian Sampson, James Bornholt, Luis Ceze

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Probability type inference for flexible approximate programming.

Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

SNNAP: Approximate computing on programmable SoCs via neural acceleration.

Thierry Moreau, Mark Wyse, Jacob Nelson, Adrian Sampson, Hadi Esmaeilzadeh, Luis Ceze, Mark Oskin

Proceedings of the 21st IEEE International Symposium on High Performance Computer Architecture, 2015

Monitoring and Debugging the Quality of Results in Approximate Programs.

Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Approximate Storage in Solid-State Memories.

Adrian Sampson, Jacob Nelson, Karin Strauss, Luis Ceze

ACM Trans. Comput. Syst., 2014

Expressing and verifying probabilistic assertions.

Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Neural Acceleration for General-Purpose Approximate Programs.

Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug Burger

IEEE Micro, 2013

2012

Automatic discovery of performance and energy pitfalls in HTML and CSS.

Adrian Sampson, Calin Cascaval, Luis Ceze, Pablo Montesinos, Darío Suárez Gracia

Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Architecture support for disciplined approximate programming.

Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug Burger

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.

Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Composable specifications for structured shared-memory communication.

Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

On-line Distributed Traffic Grooming.

R. Jordan Crouser, Brian Rice, Adrian Sampson

Proceedings of IEEE International Conference on Communications, 2008