SCGPSim: a fast SystemC simulator on GPUs. - Mahesh Nanjundappa; Hiren D. Patel; Bijoy Antony Jose; Sandeep K. Shukla (ASP-DAC, 2010)

Accelerating SystemC simulations using GPUs. - Mahesh Nanjundappa; Anirudh M. Kaushik; Hiren D. Patel; Sandeep K. Shukla (HLDVT, 2012)

A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. - Mahesh Nanjundappa; Matthew Kracht; Julien Ouy; Sandeep Kumar Shukla (ACSD, 2013)

Verification of unit and dimensional consistencies in polychronous specifications. - Mahesh Nanjundappa; Sandeep K. Shukla (FDL, 2014)

Compiling polychronous programs into conditional partial orders for ASIP synthesis. - Mahesh Nanjundappa; Sandeep K. Shukla (FormaliSE, 2014)

Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models. - Mahesh Nanjundappa (2015)