"Green codes with short wires at the decoder: Fundamental limits and constructions". - Pulkit Grover; Anant Sahai; Karthik Ganesan 001; Jan M. Rabaey (ITA, 2011)

The power cost of over-designing codes. - Karthik Ganesan 001; Pulkit Grover; Jan M. Rabaey (SiPS, 2011)

How far are LDPC codes from fundamental limits on total power consumption? - Karthik Ganesan 001; Pulkit Grover; Andrea Goldsmith (Allerton Conference, 2012)

Choosing "green" codes by simulation-based modeling of implementations. - Karthik Ganesan 001; Yang Wen; Pulkit Grover; Andrea Goldsmith; Jan M. Rabaey (GLOBECOM, 2012)

Towards Approaching Total-Power-Capacity: Transmit and Decoding Power Minimization for LDPC Codes. - Karthik Ganesan 001; Pulkit Grover; Jan M. Rabaey; Andrea J. Goldsmith (CoRR, 2015)

On the Total Power Capacity of Regular-LDPC Codes With Iterative Message-Passing Decoders. - Karthik Ganesan 001; Pulkit Grover; Jan M. Rabaey; Andrea Goldsmith (IEEE J. Sel. Areas Commun., 2016)

TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits. - Tony F. Wu; Karthik Ganesan 001; Yunqing Alexander Hu; H.-S. Philip Wong; S. Simon Wong; Subhasish Mitra (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

QVZ: lossy compression of quality values. - Greg Malysa; Mikel Hernaez; Idoia Ochoa; Milind Rao; Karthik Ganesan 001; Tsachy Weissman (Bioinform., 2018)

Review of Methodologies for Pre- and Post-Silicon Analog Verification in Mixed-Signal SOCs. - Georges G. E. Gielen; Nektar Xama; Karthik Ganesan 001; Subhasish Mitra (DATE, 2019)

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. - Eshan Singh; Keerthikumara Devarajegowda; Sebastian Simon; Ralf Schnieder; Karthik Ganesan 001; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz; Clark W. Barrett; Wolfgang Ecker; Subhasish Mitra (DATE, 2019)

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. - Florian Lonsing; Karthik Ganesan 001; Makai Mann; Srinivasa Shashank Nuthakki; Eshan Singh; Mario Srouji; Yahan Yang; Subhasish Mitra; Clark W. Barrett (ICCAD, 2019)

Sensory Particles with Optical Telemetry. - Karthik Ganesan 001; Thomas A. Flores; Binh Q. Le; Dante G. Muratore; Neal A. Patel; Subhasish Mitra; Boris Murmann; Daniel Palanker (ISCAS, 2020)

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. - Karthik Ganesan 001; Florian Lonsing; Srinivasa Shashank Nuthakki; Eshan Singh; Mohammad Rahmani Fadiheh; Wolfgang Kunz; Dominik Stoffel; Clark W. Barrett; Subhasish Mitra (CoRR, 2021)