Sotabase

Career

· Columbia University

Publications (91)

EnerJ: approximate data types for safe and general low-power computation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2011
768
cited
Neural Acceleration for General-Purpose Approximate Programs
Micro · 2012
595
cited
Architecture support for disciplined approximate programming
ASPLOS XVII · 2012
461
cited
Approximate storage in solid-state memories
Micro · 2013
299
cited
SNNAP: Approximate computing on programmable SoCs via neural acceleration
International Symposium on High-Performance Computer Architecture · 2015
138
cited
Reconfiguring the Imaging Pipeline for Computer Vision
IEEE International Conference on Computer Vision · 2017
120
cited
A CCEPT : A Programmer-Guided Compiler Framework for Practical Approximate Computing
2015
114
cited
Expressing and verifying probabilistic assertions
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
99
cited
EVA²: Exploiting Temporal Redundancy in Live Computer Vision
International Symposium on Computer Architecture · 2018
86
cited
Predictable accelerator design with time-sensitive affine types
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2020
73
cited
Monitoring and Debugging the Quality of Results in Approximate Programs
International Conference on Architectural Support for Programming Languages and Operating Systems · 2015
62
cited
Vectorization for digital signal processors via equality saturation
International Conference on Architectural Support for Programming Languages and Operating Systems · 2021
62
cited
A compiler infrastructure for accelerator generators
International Conference on Architectural Support for Programming Languages and Operating Systems · 2021
58
cited
Probability type inference for flexible approximate programming
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2015
48
cited
Verifying Dynamic Trait Objects in Rust
2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) · 2022
44
cited
A Taxonomy of General Purpose Approximate Computing Techniques
IEEE Embedded Systems Letters · 2018
34
cited
Approximate Computing: Making Mobile Systems More Efficient
IEEE pervasive computing · 2015
31
cited
Sensations of Air Temperature Variability and Mitigation Strategies in Urban Environments
Journal of Human Earth and Future · 2021
31
cited
Exploiting Errors for Efficiency
ACM Computing Surveys · 2020
28
cited
Performance Left on the Table: An Evaluation of Compiler Autovectorization for RISC-V
IEEE Micro · 2022
24
cited
Sotabase
Adrian Sampson | Researcher Profile | Sotabase | Sotabase