Skip to content

Adrian Sampson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

24

Venues

8

Active years

2010–2026

Best venue rank

A*

Where they publish

Papers

24 indexed papers, newest first.

YearVenueTitleAuthors
2026ASPLOSParameterized Hardware Design with Latency-Abstract Interfaces.Rachit Nigam, Ethan Gabizon, Edmund Lam, Carolyn Zech, Jonathan Balkind, Adrian Sampson
2024ASPLOSLightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown
2024ISCAScalable, Programmable and Dense: The HammerBlade Open-Source RISC-V Manycore.Dai Cheol Jung, Max Ruttenberg, Paul Gao, Scott Davidson, Daniel Petrisko, Kangli Li, Aditya K. Kamath, Lin Cheng, Shaolin Xie, Peitian Pan, Zhongyuan Zhao, Zichao Yue, Bandhav Veluri, Sripathi Muralitharan, Adrian Sampson, Andrew Lumsdaine, Zhiru Zhang, Christopher Batten, Mark Oskin, Dustin Richmond, Michael Bedford Taylor
2023ASPLOSStepwise Debugging for Hardware Accelerators.Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, Adrian Sampson
2022HPCACompiler-Driven Simulation of Reconfigurable Hardware Accelerators.Zhijing Li, Yuwei Ye, Stephen Neuendorffer, Adrian Sampson
2022ICSEVerifying Dynamic Trait Objects in Rust.Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson
2021ASPLOSA compiler infrastructure for accelerator generators.Rachit Nigam, Samuel Thomas, Zhijing Li, Adrian Sampson
2021ASPLOSVectorization for digital signal processors via equality saturation.Alexa VanHattum, Rachit Nigam, Vincent T. Lee, James Bornholt, Adrian Sampson
2021MICROSoftware-Defined Vector Processing on Manycore Fabrics.Philip Bedoukian, Neil Adit, Edwin Peguero, Adrian Sampson
2021PLDIReticle: a virtual machine for programming modern FPGAs.Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, Luis Ceze
2020OOPSLAOnline verification of commutativity.Aditi Kabra, Dietrich Geisler, Adrian Sampson
2020PLDIPredictable 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
2018ISCAEVAMark Buckler, Philip Bedoukian, Suren Jayasuriya, Adrian Sampson
2017ICCVReconfiguring the Imaging Pipeline for Computer Vision.Mark Buckler, Suren Jayasuriya, Adrian Sampson
2017PLDIDebugging probabilistic programs.Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
2015ASPLOSMonitoring and Debugging the Quality of Results in Approximate Programs.Michael F. Ringenburg, Adrian Sampson, Isaac Ackerman, Luis Ceze, Dan Grossman
2015HPCASNNAP: Approximate computing on programmable SoCs via neural acceleration.Thierry Moreau, Mark Wyse, Jacob Nelson, Adrian Sampson, Hadi Esmaeilzadeh, Luis Ceze, Mark Oskin
2015OOPSLAProbability type inference for flexible approximate programming.Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze
2014PLDIExpressing and verifying probabilistic assertions.Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
2013MICROApproximate storage in solid-state memories.Adrian Sampson, Jacob Nelson, Karin Strauss, Luis Ceze
2012ASPLOSArchitecture support for disciplined approximate programming.Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug Burger
2012MICRONeural Acceleration for General-Purpose Approximate Programs.Hadi Esmaeilzadeh, Adrian Sampson, Luis Ceze, Doug Burger
2011PLDIEnerJ: approximate data types for safe and general low-power computation.Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman
2010OOPSLAComposable specifications for structured shared-memory communication.Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman