On-line Distributed Traffic Grooming. - R. Jordan Crouser; Brian Rice; Adrian Sampson (ICC, 2008)

Composable specifications for structured shared-memory communication. - Benjamin P. Wood; Adrian Sampson; Luis Ceze; Dan Grossman (OOPSLA, 2010)

EnerJ: approximate data types for safe and general low-power computation. - Adrian Sampson; Werner Dietl; Emily Fortuna; Danushen Gnanapragasam; Luis Ceze; Dan Grossman (PLDI, 2011)

Architecture support for disciplined approximate programming. - Hadi Esmaeilzadeh; Adrian Sampson; Luis Ceze; Doug Burger (ASPLOS, 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 (IISWC, 2012)

Expressing and verifying probabilistic assertions. - Adrian Sampson; Pavel Panchekha; Todd Mytkowicz; Kathryn S. McKinley; Dan Grossman; Luis Ceze (PLDI, 2014)

Approximate Storage in Solid-State Memories. - Adrian Sampson; Jacob Nelson 001; Karin Strauss; Luis Ceze (ACM Trans. Comput. Syst., 2014)

Monitoring and Debugging the Quality of Results in Approximate Programs. - Michael F. Ringenburg; Adrian Sampson; Isaac Ackerman; Luis Ceze; Dan Grossman (ASPLOS, 2015)

SNNAP: Approximate computing on programmable SoCs via neural acceleration. - Thierry Moreau; Mark Wyse; Jacob Nelson 001; Adrian Sampson; Hadi Esmaeilzadeh; Luis Ceze; Mark Oskin (HPCA, 2015)

Probability type inference for flexible approximate programming. - Brett Boston; Adrian Sampson; Dan Grossman; Luis Ceze (OOPSLA, 2015)

Hardware-Software Co-Design: Not Just a Cliché. - Adrian Sampson; James Bornholt; Luis Ceze (SNAPL, 2015)

Neural acceleration for general-purpose approximate programs. - Hadi Esmaeilzadeh; Adrian Sampson; Luis Ceze; Doug Burger (Commun. ACM, 2015)

Approximate Computing: Making Mobile Systems More Efficient. - Thierry Moreau; Adrian Sampson; Luis Ceze (IEEE Pervasive Comput., 2015)

Hardware and Software for Approximate Computing. - Adrian Sampson (2015)

Approximate Computing: Unlocking Efficiency with Hardware-Software Co-Design. - Luis Ceze; Adrian Sampson (GetMobile Mob. Comput. Commun., 2016)

Reconfiguring the Imaging Pipeline for Computer Vision. - Mark Buckler; Suren Jayasuriya; Adrian Sampson (ICCV, 2017)

Debugging probabilistic programs. - Chandrakana Nandi; Dan Grossman; Adrian Sampson; Todd Mytkowicz; Kathryn S. McKinley (MAPL@PLDI, 2017)

Let's Fix OpenGL. - Adrian Sampson (SNAPL, 2017)

Abstractions for AI-Based User Interfaces and Systems. - Alex Renda; Harrison Goldstein; Sarah Bird; Chris Quirk; Adrian Sampson (CoRR, 2017)

High Five: Improving Gesture Recognition by Embracing Uncertainty. - Diman Zad Tootaghaj; Adrian Sampson; Todd Mytkowicz; Kathryn S. McKinley (CoRR, 2017)

Static stages for heterogeneous programming. - Adrian Sampson; Kathryn S. McKinley; Todd Mytkowicz (Proc. ACM Program. Lang., 2017)

EVA2: Exploiting Temporal Redundancy in Live Computer Vision. - Mark Buckler; Philip Bedoukian; Suren Jayasuriya; Adrian Sampson (ISCA, 2018)

LambdaLab: an interactive λ-calculus reducer for learning. - Daniel Sainati; Adrian Sampson (SPLASH-E, 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; et al. (CoRR, 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)

A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). - Alexa VanHattum; Rachit Nigam; Vincent T. Lee; James Bornholt; Adrian Sampson (LCTES, 2020)

Online verification of commutativity. - Aditi Kabra; Dietrich Geisler; Adrian Sampson (TAPAS@SPLASH, 2020)

Predictable accelerator design with time-sensitive affine types. - Rachit Nigam; Sachille Atapattu; Samuel Thomas; Zhijing Li 002; Theodore Bauer; Yuwei Ye; Apurva Koti; Adrian Sampson; Zhiru Zhang (PLDI, 2020)

Optimizing JPEG Quantization for Classification Networks. - Zhijing Li 002; Christopher De Sa; Adrian Sampson (CoRR, 2020)

Geometry types for graphics programming. - Dietrich Geisler; Irene Yoon 001; Aditi Kabra; Horace He; Yinnon Sanders; Adrian Sampson (Proc. ACM Program. Lang., 2020)

A compiler infrastructure for accelerator generators. - Rachit Nigam; Samuel Thomas; Zhijing Li 002; Adrian Sampson (ASPLOS, 2021)

Vectorization for digital signal processors via equality saturation. - Alexa VanHattum; Rachit Nigam; Vincent T. Lee; James Bornholt; Adrian Sampson (ASPLOS, 2021)

Software-Defined Vector Processing on Manycore Fabrics. - Philip Bedoukian; Neil Adit; Edwin Peguero; Adrian Sampson (MICRO, 2021)

Reticle: a virtual machine for programming modern FPGAs. - Luis Vega; Joseph McMahan; Adrian Sampson; Dan Grossman; Luis Ceze (PLDI, 2021)

Dense Pruning of Pointwise Convolutions in the Frequency Domain. - Mark Buckler; Neil Adit; Yuwei Hu; Zhiru Zhang; Adrian Sampson (CoRR, 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; et al. (ACM Comput. Surv., 2021)

Compiler-Driven Simulation of Reconfigurable Hardware Accelerators. - Zhijing Li 002; Yuwei Ye; Stephen Neuendorffer; Adrian Sampson (HPCA, 2022)

Verifying Dynamic Trait Objects in Rust. - Alexa VanHattum; Daniel Schwartz-Narbonne; Nathan Chong; Adrian Sampson (ICSE (SEIP), 2022)

Performance Left on the Table: An Evaluation of Compiler Autovectorization for RISC-V. - Neil Adit; Adrian Sampson (IEEE Micro, 2022)

Stepwise Debugging for Hardware Accelerators. - Griffin Berlstein; Rachit Nigam; Christophe Gyurgyik; Adrian Sampson (ASPLOS (2), 2023)

Fifty Years of ISCA: A data-driven retrospective on key trends. - Gaurang Upasani; Matthew D. Sinclair; Adrian Sampson; Parthasarathy Ranganathan; David A. Patterson 001; Shaan Shah; Nidhi Parthasarathy; Rutwik Jain (CoRR, 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 001; Rutwik Jain; Nidhi Parthasarathy; Shaan Shah (IEEE Micro, 2023)

Modular Hardware Design with Timeline Types. - Rachit Nigam; Pedro Henrique Azevedo de Amorim; Adrian Sampson (Proc. ACM Program. Lang., 2023)

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. - Alexa VanHattum; Monica Pardeshi; Chris Fallin; Adrian Sampson; Fraser Brown (ASPLOS (1), 2024)

Scalable, Programmable and Dense: The HammerBlade Open-Source RISC-V Manycore. - Dai Cheol Jung; Max Ruttenberg; Paul Gao 001; Scott Davidson 004; Daniel Petrisko; Kangli Li; Aditya K. Kamath; Lin Cheng; Shaolin Xie; Peitian Pan; Zhongyuan Zhao 004; Zichao Yue; et al. (ISCA, 2024)

Correct and Compositional Hardware Generators. - Rachit Nigam; Ethan Gabizon; Edmund Lam; Adrian Sampson (CoRR, 2024)

Unifying Static and Dynamic Intermediate Languages for Accelerator Generators. - Caleb Kim; Pai Li; Anshuman Mohan; Andrew Butt; Adrian Sampson; Rachit Nigam (Proc. ACM Program. Lang., 2024)