imakwana
- Karma
- 412
- Created
- 6 years ago
About
ASIC Design Verification Engineer struggling to understand modern computing landscape.Austin, TX, USA
Recent Submissions
- 1. ▲ Asymmetry is all you need (2025) (theterminalist.substack.com)
- 2. ▲ Propose, Solve, Verify: Self-Play Through Formal Verification (arxiv.org)
- 3. ▲ Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (nber.org)
- 4. ▲ Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com)
- 5. ▲ Game on: Social networks and markets (2022) (sciencedirect.com)
- 6. ▲ Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)
- 7. ▲ MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (csg.csail.mit.edu)
- 8. ▲ Fuzzing Hardware Like Software (2021) (arxiv.org)
- 9. ▲ The effect of deactivating Facebook and Instagram on users' emotional state (nber.org)
- 10. ▲ MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu)