Sotabase

Career

· Assistant Professor, Department of Biomedical Engineering, Columbia University2021–

Publications (17)

A pythonic approach for rapid hardware prototyping and instrumentation
International Conference on Field-Programmable Logic and Applications · 2017
63
cited
Pure tensor program rewriting via access patterns (representation pearl)
MAPS@PLDI · 2021
36
cited
Hiding Intermittent Information Leakage with Architectural Support for Blinking
International Symposium on Computer Architecture · 2018
13
cited
Reticle: a virtual machine for programming modern FPGAs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
9
cited
Safer Program Behavior Sharing Through Trace Wringing
International Conference on Architectural Support for Programming Languages and Operating Systems · 2019
9
cited
Challenging on-chip SRAM security with boot-state statistics
IEEE International Symposium on Hardware Oriented Security and Trust · 2017
8
cited
Charm: A Language for Closed-Form High-Level Architecture Modeling
International Symposium on Computer Architecture · 2018
8
cited
Bouncer: Static Program Analysis in Hardware
International Symposium on Computer Architecture · 2019
7
cited
An Architecture Supporting Formal and Compositional Binary Analysis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2017
6
cited
An Architecture for Analysis
IEEE Micro · 2018
4
cited
Information Leakage in Arbiter Protocols
Automated Technology for Verification and Analysis · 2018
2
cited
LastLayer: Toward Hardware and Software Continuous Integration
IEEE Micro · 2020
2
cited
Trace Wringing for Program Trace Privacy
IEEE Micro · 2020
2
cited
Safe functional systems through integrity types and verified assembly
Theoretical Computer Science · 2021
1
cited
Language Support for Navigating Architecture Design in Closed Form
ACM Journal on Emerging Technologies in Computing Systems · 2019
The ZARF Architecture for Recursive Functions
2019
W\(^{\pm}\) \(\to\) J/\(\Psi\) + D\(_{s}\)\(^{\pm}\)
2013
Sotabase
Joseph McMahan | Researcher Profile | Sotabase | Sotabase