default search action
Adrian Sampson
Person information
- affiliation: Cornell University, Ithaca, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam:
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators. Proc. ACM Program. Lang. 8(OOPSLA2): 2242-2267 (2024) - [c29]Alexa VanHattum
, Monica Pardeshi
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. ASPLOS (1) 2024: 231-248 - [c28]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:
Scalable, Programmable and Dense: The HammerBlade Open-Source RISC-V Manycore. ISCA 2024: 770-784 - [i14]Rachit Nigam, Ethan Gabizon, Edmund Lam, Adrian Sampson:
Correct and Compositional Hardware Generators. CoRR abs/2401.02570 (2024) - 2023
- [j12]Matthew D. Sinclair
Fifty Years of the International Symposium on Computer Architecture: A Data-Driven Retrospective. IEEE Micro 43(6): 109-124 (2023) - [j11]Rachit Nigam
Modular Hardware Design with Timeline Types. Proc. ACM Program. Lang. 7(PLDI): 343-367 (2023) - [c27]Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, Adrian Sampson
Stepwise Debugging for Hardware Accelerators. ASPLOS (2) 2023: 778-790 - [i13]Rachit Nigam, Pedro Henrique Azevedo de Amorim, Adrian Sampson:
Modular Hardware Design with Timeline Types. CoRR abs/2304.10646 (2023) - [i12]Gaurang Upasani, Matthew D. Sinclair, Adrian Sampson, Parthasarathy Ranganathan, David A. Patterson, Shaan Shah, Nidhi Parthasarathy, Rutwik Jain
Fifty Years of ISCA: A data-driven retrospective on key trends. CoRR abs/2306.03964 (2023) - [i11]Caleb Kim, Pai Li, Anshuman Mohan, Andrew Butt, Adrian Sampson, Rachit Nigam:
Unifying Static and Dynamic Intermediate Languages for Accelerator Generators. CoRR abs/2312.16300 (2023) - 2022
- [j10]Neil Adit
Performance Left on the Table: An Evaluation of Compiler Autovectorization for RISC-V. IEEE Micro 42(5): 41-48 (2022) - [c26]Zhijing Li, Yuwei Ye, Stephen Neuendorffer, Adrian Sampson
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators. HPCA 2022: 619-632 - [c25]Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson
Verifying Dynamic Trait Objects in Rust. ICSE (SEIP) 2022: 321-330 - [i10]Zhijing Li, Yuwei Ye, Stephen Neuendorffer, Adrian Sampson:
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators. CoRR abs/2202.00739 (2022) - 2021
- [j9]Phillip Stanley-Marbell
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Comput. Surv. 53(3): 51:1-51:39 (2021) - [c24]Rachit Nigam
A compiler infrastructure for accelerator generators. ASPLOS 2021: 804-817 - [c23]Alexa VanHattum
Vectorization for digital signal processors via equality saturation. ASPLOS 2021: 874-886 - [c22]Philip Bedoukian, Neil Adit, Edwin Peguero, Adrian Sampson
Software-Defined Vector Processing on Manycore Fabrics. MICRO 2021: 392-406 - [c21]Luis Vega
Reticle: a virtual machine for programming modern FPGAs. PLDI 2021: 756-771 - [i9]Rachit Nigam, Samuel Thomas, Zhijing Li, Adrian Sampson:
A Compiler Infrastructure for Accelerator Generators. CoRR abs/2102.09713 (2021) - [i8]Mark Buckler, Neil Adit, Yuwei Hu, Zhiru Zhang, Adrian Sampson:
Dense Pruning of Pointwise Convolutions in the Frequency Domain. CoRR abs/2109.07707 (2021) - 2020
- [j8]Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson
Geometry types for graphics programming. Proc. ACM Program. Lang. 4(OOPSLA): 173:1-173:25 (2020) - [c20]Alexa VanHattum
A Synthesis-Aided Compiler for DSP Architectures (WiP Paper). LCTES 2020: 131-135 - [c19]Aditi Kabra, Dietrich Geisler, Adrian Sampson:
Online verification of commutativity. TAPAS@SPLASH 2020: 10-19 - [c18]Rachit Nigam
Predictable accelerator design with time-sensitive affine types. PLDI 2020: 393-407 - [i7]Zhijing Li, Christopher De Sa, Adrian Sampson:
Optimizing JPEG Quantization for Classification Networks. CoRR abs/2003.02874 (2020) - [i6]Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, Zhiru Zhang:
Predictable Accelerator Design with Time-Sensitive Affine Types. CoRR abs/2004.04852 (2020)
2010 – 2019
- 2018
- [j7]Thierry Moreau
A Taxonomy of General Purpose Approximate Computing Techniques. IEEE Embed. Syst. Lett. 10(1): 2-5 (2018) - [c17]Mark Buckler, Philip Bedoukian, Suren Jayasuriya, Adrian Sampson
EVA2: Exploiting Temporal Redundancy in Live Computer Vision. ISCA 2018: 533-546 - [c16]Daniel Sainati
LambdaLab: an interactive λ-calculus reducer for learning. SPLASH-E 2018: 10-19 - [e1]Luis Ceze, Natalie D. Enright Jerger, Babak Falsafi, Grigori Fursin, Anton Lokhmotov, Thierry Moreau, Adrian Sampson, Phillip Stanley-Marbell:
Proceedings of the 1st on Reproducible Quality-Efficient Systems Tournament on Co-designing Pareto-efficient Deep Learning, ReQuEST@ASPLOS 2018, Williamsburg, VA, USA, March 24, 2018. ACM 2018 [contents] - [i5]Mark Buckler, Philip Bedoukian, Suren Jayasuriya, Adrian Sampson:
EVA2 : Exploiting Temporal Redundancy in Live Computer Vision. CoRR abs/1803.06312 (2018) - [i4]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:
Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms. CoRR abs/1809.05859 (2018) - 2017
- [j6]Adrian Sampson
Static stages for heterogeneous programming. Proc. ACM Program. Lang. 1(OOPSLA): 71:1-71:27 (2017) - [c15]Mark Buckler, Suren Jayasuriya, Adrian Sampson
Reconfiguring the Imaging Pipeline for Computer Vision. ICCV 2017: 975-984 - [c14]Chandrakana Nandi, Dan Grossman, Adrian Sampson
Debugging probabilistic programs. MAPL@PLDI 2017: 18-26 - [c13]Adrian Sampson
Let's Fix OpenGL. SNAPL 2017: 14:1-14:12 - [i3]Mark Buckler, Suren Jayasuriya, Adrian Sampson:
Reconfiguring the Imaging Pipeline for Computer Vision. CoRR abs/1705.04352 (2017) - [i2]Alex Renda, Harrison Goldstein, Sarah Bird, Chris Quirk, Adrian Sampson:
Abstractions for AI-Based User Interfaces and Systems. CoRR abs/1709.04991 (2017) - [i1]Diman Zad Tootaghaj, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley:
High Five: Improving Gesture Recognition by Embracing Uncertainty. CoRR abs/1710.09441 (2017) - 2016
- [j5]Luis Ceze, Adrian Sampson
Approximate Computing: Unlocking Efficiency with Hardware-Software Co-Design. GetMobile Mob. Comput. Commun. 20(3): 12-16 (2016) - 2015
- [b1]Adrian Sampson:
Hardware and Software for Approximate Computing. University of Washington, USA, 2015 - [j4]Hadi Esmaeilzadeh, Adrian Sampson
Neural acceleration for general-purpose approximate programs. Commun. ACM 58(1): 105-115 (2015) - [j3]Thierry Moreau, Adrian Sampson
Approximate Computing: Making Mobile Systems More Efficient. IEEE Pervasive Comput. 14(2): 9-13 (2015) - [c12]Michael F. Ringenburg
Monitoring and Debugging the Quality of Results in Approximate Programs. ASPLOS 2015: 399-411 - [c11]Thierry Moreau, Mark Wyse
SNNAP: Approximate computing on programmable SoCs via neural acceleration. HPCA 2015: 603-614 - [c10]Brett Boston, Adrian Sampson
Probability type inference for flexible approximate programming. OOPSLA 2015: 470-487 - [c9]Adrian Sampson
Hardware-Software Co-Design: Not Just a Cliché. SNAPL 2015: 262-273 - 2014
- [j2]Adrian Sampson
Approximate Storage in Solid-State Memories. ACM Trans. Comput. Syst. 32(3): 9:1-9:23 (2014) - [c8]Adrian Sampson
Expressing and verifying probabilistic assertions. PLDI 2014: 112-122 - 2013
- [j1]Hadi Esmaeilzadeh, Adrian Sampson
Neural Acceleration for General-Purpose Approximate Programs. IEEE Micro 33(3): 16-27 (2013) - [c7]Adrian Sampson
Approximate storage in solid-state memories. MICRO 2013: 25-36 - 2012
- [c6]Hadi Esmaeilzadeh, Adrian Sampson
Architecture support for disciplined approximate programming. ASPLOS 2012: 301-312 - [c5]Adrian Sampson
Automatic discovery of performance and energy pitfalls in HTML and CSS. IISWC 2012: 82-83 - [c4]Hadi Esmaeilzadeh, Adrian Sampson
Neural Acceleration for General-Purpose Approximate Programs. MICRO 2012: 449-460 - 2011
- [c3]Adrian Sampson
EnerJ: approximate data types for safe and general low-power computation. PLDI 2011: 164-174 - 2010
- [c2]Benjamin P. Wood, Adrian Sampson
Composable specifications for structured shared-memory communication. OOPSLA 2010: 140-159
2000 – 2009
- 2008
- [c1]R. Jordan Crouser
On-line Distributed Traffic Grooming. ICC 2008: 5239-5245
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: