Ganesh Gopalakrishnan
Affiliations: | University of Utah, Salt Lake City, UT |
Area:
Computer ScienceWebsite:
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
Parents
Sign in to add mentorDavid 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 traineeVenkatesh 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 |
BETA: Related publications
See more...
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 |