☰

Ganesh Gopalakrishnan

Affiliations: 
University of Utah, Salt Lake City, UT 
Area:
Computer Science
Website:
http://www.cs.utah.edu/~ganesh/
Google:
"Ganesh Gopalakrishnan"
Bio:

https://www.genealogy.math.ndsu.nodak.edu/id.php?id=106477
https://collections.lib.utah.edu/details?id=98444
https://collections.lib.utah.edu/details?id=98173#t_98173

Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
David Richard Smith grad student 1986 SUNY Stony Brook
 (From Algebraic Specifications to Correct VLSI Systems.)
Mandayram Srivas grad student 1986 SUNY Stony Brook

Children

Sign in to add trainee
Venkatesh Akella grad student 1992 University of Utah (E-Tree)
Ravi M. Hosabettu grad student 2000 University of Utah
Ali Sezgin grad student 2004 University of Utah
Ritwik Bhattacharya grad student 2006 University of Utah
Guodong Li grad student 2010 University of Utah
Anh Vo grad student 2011 University of Utah
Subodh Sharma grad student 2013 University of Utah

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Solovyev A, Baranowski MS, Briggs I, et al. (2019) Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions Acm Transactions On Programming Languages and Systems. 41: 1-39
Chiang WF, Gopalakrishnan G, Rakamarić Z. (2015) Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs Electronic Notes in Theoretical Computer Science. 317: 33-45
Gopalakrishnan G, Kirby RM, Siegel S, et al. (2011) Formal analysis of MPI-based parallel programs Communications of the Acm. 54: 82-91
Li G, Palmer R, Delisi M, et al. (2011) Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API Science of Computer Programming. 76: 65-81
Li G, Gopalakrishnan G. (2010) Scalable SMT-based verification of GPU kernel functions Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 187-196
Vo A, Gopalakrishnan G. (2010) Scalable verification of MPI programs Proceedings of the 2010 Ieee International Symposium On Parallel and Distributed Processing, Workshops and Phd Forum, Ipdpsw 2010
Yang Y, Chen X, Gopalakrishnan G, et al. (2010) Distributed dynamic partial order reduction International Journal On Software Tools For Technology Transfer. 12: 113-122
Vakkalanka S, Vo A, Gopalakrishnan G, et al. (2010) Precise dynamic analysis for slack elasticity: Adding buffering without adding bugs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6305: 152-159
Vo A, Vakkalanka S, Gopalakrishnan G. (2010) ISP tool update: Scalable MPI verification Proceedings of the 3rd International Workshop On Parallel Tools For High Performance Computing 2009. 175-184
Pervez S, Gopalakrishnan G, Kirby RM, et al. (2010) Formal methods applied to high-performance computing software design: A case study of MPI one-sided communication-based locking Software - Practice and Experience. 40: 23-43
See more...