Axilog: language support for approximate hardware design. - Amir Yazdanbakhsh; Divya Mahajan 001; Bradley Thwaites; Jongse Park; Anandhavel Nagendrakumar; Sindhuja Sethuraman; Kartik Ramkrishnan; Nishanthi Ravindran; Rudra Jariwala; Abbas Rahimi; Hadi Esmaeilzadeh; Kia Bazargan (DATE, 2015)

SKA: static kernel analysis using LLVM IR. - Kartik Ramkrishnan; Ben Bergen 002; Justin Tripp (LLVM@SC, 2015)

Axilog: Abstractions for Approximate Hardware Design and Reuse. - Divya Mahajan 001; Kartik Ramkrishnan; Rudra Jariwala; Amir Yazdanbakhsh; Jongse Park; Bradley Thwaites; Anandhavel Nagendrakumar; Abbas Rahimi; Hadi Esmaeilzadeh; Kia Bazargan (IEEE Micro, 2015)

New Attacks and Defenses for Randomized Caches. - Kartik Ramkrishnan; Antonia Zhai; Stephen McCamant; Pen-Chung Yew (CoRR, 2019)

First Time Miss : Low Overhead Mitigation for Shared Memory Cache Side Channels. - Kartik Ramkrishnan; Stephen McCamant; Pen-Chung Yew; Antonia Zhai (ICPP, 2020)

Non-Fusion Based Coherent Cache Randomization Using Cross-Domain Accesses. - Kartik Ramkrishnan; Stephen McCamant; Antonia Zhai; Pen-Chung Yew (AsiaCCS, 2024)

Shield Bash: Abusing Defensive Coherence State Retrieval to Break Timing Obfuscation. - Kartik Ramkrishnan; Antonia Zhai; Stephen McCamant; Pen-Chung Yew (CoRR, 2025)