ParFuse: Parallel and Compositional Analysis of Message Passing Programs. - Sriram Aananthakrishnan; Greg Bronevetsky; Mark Baranowski; Ganesh Gopalakrishnan (LCPC, 2016)

Rigorous floating-point mixed-precision tuning. - Wei-Fan Chiang; Mark Baranowski; Ian Briggs; Alexey Solovyev; Ganesh Gopalakrishnan; Zvonimir Rakamaric (POPL, 2017)

FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. - Ian Briggs; Arnab Das; Mark Baranowski; Vishal Chandra Sharma; Sriram Krishnamoorthy; Zvonimir Rakamaric; Ganesh Gopalakrishnan (ACM Trans. Archit. Code Optim., 2020)

Array Programming on GPUs: Challenges and Opportunities. - Xinyi Li; Mark Baranowski; Harvey Dam; Ganesh Gopalakrishnan (ARRAY@PLDI, 2025)

Equivalence Checking of a libm Port. - Mark Baranowski; Zvonimir Rakamaric; Ganesh Gopalakrishnan (TACAS (2), 2025)