Ganesh Gopalakrishnan

发表

Simone Atzeni, Ganesh Gopalakrishnan, 2017, ArXiv.
Martin Schulz, Matthias S. Müller, Simone Atzeni, 2014, 2014 LLVM Compiler Infrastructure in HPC.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 2003, Formal Methods Syst. Des..
Ganesh Gopalakrishnan, Prabhat Jain, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
Martin Schulz, Bronis R. de Supinski, Ganesh Gopalakrishnan, 2011, 2011 International Conference on Parallel Architectures and Compilation Techniques.
Martin Schulz, Ganesh Gopalakrishnan, Dong H. Ahn, 2013, SE-HPCCSE '13.
Ganesh Gopalakrishnan, Annette Bunker, G. Gopalakrishnan, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.
Dominique Cansell, Dominique Méry, Michael D. Jones, 2002, ZB.
Ganesh Gopalakrishnan, Robert M. Kirby, Sarvani Vakkalanka, 2010 .
Ganesh Gopalakrishnan, Ratan Nalumasu, G. Gopalakrishnan, 2003 .
Ganesh Gopalakrishnan, T. S. Lamba, Syam Krishna Babbellapati, 2002, Proceedings 10th IEEE International Conference on Networks (ICON 2002). Towards Network Superiority (Cat. No.02EX588).
Ganesh Gopalakrishnan, Ritwik Bhattacharya, Ritwik Bhattacharya, 2002 .
Ganesh Gopalakrishnan, Richard M. Fujimoto, Jya-Jang Tsai, 1988, ISCA '88.
Guodong Li, Ganesh Gopalakrishnan, G. Gopalakrishnan, 2012, 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum.
Aditya Bhaskara, Ganesh Gopalakrishnan, Mu Zhang, 2020, 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness).
Ganesh Gopalakrishnan, Robert Michael Kirby, R. Kirby, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Ganesh Gopalakrishnan, Robert Michael Kirby, R. Kirby, 2009, PVM/MPI.
Yu Yang, Ganesh Gopalakrishnan, Robert Michael Kirby, 2006, Electron. Notes Theor. Comput. Sci..
Martin Schulz, Bronis R. de Supinski, Rajeev Thakur, 2011, Commun. ACM.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 2000, CAV.
Sneha Kumar Kasera, Ganesh Gopalakrishnan, Xin Wang, 2003 .
Ganesh Gopalakrishnan, Wei-Fan Chiang, Zvonimir Rakamaric, 2015, LCPC.
Sneha Kumar Kasera, Ganesh Gopalakrishnan, 2002, CCRV.
Ganesh Gopalakrishnan, Venkatesh Akella, 1991 .
Peng Li, Guodong Li, Ganesh Gopalakrishnan, 2012, PPoPP '12.
Yu Yang, Ganesh Gopalakrishnan, Robert Michael Kirby, 2006, International Journal on Software Tools for Technology Transfer.
Rajeev Thakur, Ganesh Gopalakrishnan, Robert Michael Kirby, 2009, PVM/MPI.
Yue Yang, Ganesh Gopalakrishnan, Konrad Slind, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Ganesh Gopalakrishnan, Ratan Nalumasu, G. Gopalakrishnan, 1999 .
Ganesh Gopalakrishnan, Yu Yang, Igor Melatti, 2006, SPIN.
Simone Atzeni, Ganesh Gopalakrishnan, Joachim Protze, 2019, Int. J. High Perform. Comput. Appl..
Ganesh Gopalakrishnan, Gary Lindstrom, Yue Yang, 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.
Ganesh Gopalakrishnan, Gary Lindstrom, Yue Yang, 2005 .
Ganesh Gopalakrishnan, Wei-Fan Chiang, Zvonimir Rakamaric, 2015, Electron. Notes Theor. Comput. Sci..
Ganesh Gopalakrishnan, Prosenjit Chatterjee, Hemanthkumar Sivaraj, 2002, CAV.
Ganesh Gopalakrishnan, Gary Lindstrom, Yue Yang, 2003 .
Markus Hadwiger, Ganesh Gopalakrishnan, Charles D. Hansen, 2014, IEEE Transactions on Visualization and Computer Graphics.
Ganesh Gopalakrishnan, Robert Michael Kirby, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.
Ganesh Gopalakrishnan, Robert Palmer, Steven Barrus, 2004 .
Ganesh Gopalakrishnan, Erik Brunvand, Steven M. Nowick, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Ganesh Gopalakrishnan, Ali Sezgin, 2005, Inf. Process. Lett..
Ganesh Gopalakrishnan, Richard M. Fujimoto, Jya-Jang Tsai, 1992, IEEE Trans. Computers.
Ganesh Gopalakrishnan, Steven M. German, Xiaofang Chen, 2007 .
Ganesh Gopalakrishnan, Ratan Nalumasu, 1998, IPPS/SPDP Workshops.
Simone Atzeni, Ganesh Gopalakrishnan, 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).
Guodong Li, Ganesh Gopalakrishnan, Robert Michael Kirby, 2008, PPOPP.
Ganesh Gopalakrishnan, Robert Michael Kirby, Subodh Sharma, 2008, PPOPP.
Ganesh Gopalakrishnan, Ratan Nalumasu, G. Gopalakrishnan, 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Ganesh Gopalakrishnan, Konrad Slind, Sudhindra Pandav, 2005, CHARME.
Ganesh Gopalakrishnan, Wei-Fan Chiang, Zvonimir Rakamaric, 2014, PPoPP '14.
Ganesh Gopalakrishnan, Shaz Qadeer, S. Qadeer, 2011 .
Ganesh Gopalakrishnan, Robert Palmer, Geof Sawaya, 2005 .
Ganesh Gopalakrishnan, Robert Michael Kirby, Anh Vo, 2009, FM.
Ganesh Gopalakrishnan, Jade Alglave, John Wickerson, 2015, ASPLOS.
Ian Briggs, Sriram Krishnamoorthy, Ganesh Gopalakrishnan, 2020, ArXiv.
Sriram Krishnamoorthy, Ganesh Gopalakrishnan, Vishal Chandra Sharma, 2016, 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).
Ganesh Gopalakrishnan, Robert Michael Kirby, Anh Vo, 2010, EuroMPI.
Yue Yang, Ganesh Gopalakrishnan, Hemanthkumar Sivaraj, 2004, CAV.
Sally A. McKee, Ganesh Gopalakrishnan, Annette Bunker, 2008 .
Ganesh Gopalakrishnan, Alan Humphrey, Beth Tibbitts, 2010, ICPP Workshops.
Sally A. McKee, Ganesh Gopalakrishnan, Annette Bunker, 2004, TODE.
Ganesh Gopalakrishnan, Geof Sawaya, 2007 .
Ganesh Gopalakrishnan, Eric Mercer, Subodh Sharma, 2009, 2009 IEEE International High Level Design Validation and Test Workshop.
Yu Yang, Simone Atzeni, Ganesh Gopalakrishnan, 2009, PADTAD '09.
Ganesh Gopalakrishnan, Jae-Tack Yoo, K. F. Smith, 1997 .
Ganesh Gopalakrishnan, Venkatesh Akella, 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.
Ganesh Gopalakrishnan, Robert Michael Kirby, Sarvani S. Vakkalanka, 2008, PADTAD '08.
Guodong Li, Ganesh Gopalakrishnan, Robert Michael Kirby, 2011, Sci. Comput. Program..
Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev, 2015, FM.
Rajeev Thakur, Ganesh Gopalakrishnan, Robert Michael Kirby, 2009, PVM/MPI.
Martin Schulz, Bronis R. de Supinski, Ganesh Gopalakrishnan, 2010, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis.
Ian Briggs, Sriram Krishnamoorthy, Ganesh Gopalakrishnan, 2020, ACM Trans. Archit. Code Optim..
Ganesh Gopalakrishnan, Venkatesh Akella, V. Akella, 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.
Ganesh Gopalakrishnan, Venkatesh Akella, Richard M. Fujimoto, 1989, Integr..
Ian Briggs, Ganesh Gopalakrishnan, Wei-Fan Chiang, 2017, AFM@NFM.
Ganesh Gopalakrishnan, Hemanthkumar Sivaraj, G. Gopalakrishnan, 2003, PDMC@CAV.
Martin Schulz, Ganesh Gopalakrishnan, B R de Supinski, 2010 .
Ganesh Gopalakrishnan, Ratan Nalumasu, 1998, FMCAD.
Ganesh Gopalakrishnan, 2007, Electron. Notes Theor. Comput. Sci..
Ganesh Gopalakrishnan, Venkatesh Akella, Narayana Mani, 1989, Automatic Verification Methods for Finite State Systems.
Ganesh Gopalakrishnan, Jae-Tack Yoo, Kent F. Smith, 1999, IEEE Trans. Very Large Scale Integr. Syst..
Rajeev Thakur, William Gropp, Ganesh Gopalakrishnan, 2008, PVM/MPI.
Ganesh Gopalakrishnan, Venkatesh Akella, V. Akella, 1992, Microprocess. Microsystems.
Ganesh Gopalakrishnan, Ratan Nalumasu, G. Gopalakrishnan, 1998, Formal Methods Syst. Des..
Ganesh Gopalakrishnan, Warren A. Hunt, 2003, Formal Methods Syst. Des..
Yu Yang, Ganesh Gopalakrishnan, Robert Michael Kirby, 2008, SPIN.
Ganesh Gopalakrishnan, John O'Leary, 2007, Electron. Notes Theor. Comput. Sci..
Chris J. Myers, Ganesh Gopalakrishnan, Hans M. Jacobson, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Ganesh Gopalakrishnan, Venkatesh Akella, V. Akella, 1994, J. VLSI Signal Process..
Ganesh Gopalakrishnan, Venkatesh Akella, 1994, Int. J. Comput. Simul..
Ganesh Gopalakrishnan, Ratan Nalumasu, Dilip Khandekar, 1994 .
Ganesh Gopalakrishnan, Ratan Nalumasu, 1997 .
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, 2002, JGI '02.
Ganesh Gopalakrishnan, Konrad Slind, Annette Bunker, 2005, International Journal on Software Tools for Technology Transfer.
Rajeev Thakur, William Gropp, Ganesh Gopalakrishnan, 2007, PVM/MPI.
Ganesh Gopalakrishnan, Robert Michael Kirby, 2007, Electron. Notes Theor. Comput. Sci..
Michael D. Jones, Ganesh Gopalakrishnan, G. Gopalakrishnan, 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).
Guodong Li, Ganesh Gopalakrishnan, G. Gopalakrishnan, 2010, FSE '10.
Simone Atzeni, Ganesh Gopalakrishnan, Dong H. Ahn, 2018, 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Yu Yang, Ganesh Gopalakrishnan, Xiaofang Chen, 2006, 2006 Formal Methods in Computer Aided Design.
Guodong Li, Ganesh Gopalakrishnan, Guodong Li, 2010 .
Ganesh Gopalakrishnan, Gary Lindstrom, Yue Yang, 2003 .
Ganesh Gopalakrishnan, Ritwik Bhattacharya, Ritwik Bhattacharya, 2006 .
Ganesh Gopalakrishnan, Zvonimir Rakamaric, Vishal Chandra Sharma, 2013, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing.
Ganesh Gopalakrishnan, Richard M. Fujimoto, Jya-Jang Tsai, 1987 .
Ganesh Gopalakrishnan, Prosenjit Chatterjee, 2001, Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.
Ganesh Gopalakrishnan, Gernot Armin Liebchen, 1992, Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors.
Michael D. Jones, Ganesh Gopalakrishnan, Ravi Hosabettu, 2000, Formal Methods Syst. Des..
Ganesh Gopalakrishnan, Elizabeth Josephson, 1993 .
Martin Schulz, Matthias S. Müller, Simone Atzeni, 2016, 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Ganesh Gopalakrishnan, Greg Bronevetsky, Subodh Sharma, 2012, 2012 SC Companion: High Performance Computing, Networking Storage and Analysis.
Ganesh Gopalakrishnan, Stephen F. Siegel, G. Gopalakrishnan, 2011, VMCAI.
Ganesh Gopalakrishnan, Ratan Nalumasu, Rajnish Ghughal, 1998, SPAA '98.
Ganesh Gopalakrishnan, Alan Humphrey, Beth Tibbitts, 2010, 2010 39th International Conference on Parallel Processing Workshops.
Ganesh Gopalakrishnan, Mandayam K. Srivas, 1988, Inf. Process. Lett..
Ganesh Gopalakrishnan, Venkatesh Akella, V. Akella, 1993, VLSI.
Ganesh Gopalakrishnan, Robert Michael Kirby, Sarvani S. Vakkalanka, 2008, CAV.
Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alastair F. Donaldson, 2016, OOPSLA.
Ganesh Gopalakrishnan, Rajnish Ghughal, 2000, IPDPS Workshops.
Ganesh Gopalakrishnan, Steven M. German, Ritwik Bhattacharya, 2005, CHARME.
Ganesh Gopalakrishnan, Phillip J. Windley, 2002, Lecture Notes in Computer Science.
Ganesh Gopalakrishnan, Venkatesh Akella, V. Akella, 1992, The Fifth International Conference on VLSI Design.
Sebastian Burckhardt, Ganesh Gopalakrishnan, Judith Bishop, 2011, SIGCSE.
Ganesh Gopalakrishnan, Greg Bronevetsky, Sriram Aananthakrishnan, 2013, ICS '13.
Ganesh Gopalakrishnan, Martin Burtscher, Saeed Taheri, 2017, ESPT/VPA@SC.
Ganesh Gopalakrishnan, Prabhat Jain, 1991, [1991] Proceedings. Fourth CSI/IEEE International Symposium on VLSI Design.
Ian Briggs, Ganesh Gopalakrishnan, Zvonimir Rakamaric, 2015, FM.
Ganesh Gopalakrishnan, Venkatesh Akella, 1994, IEEE Trans. Software Eng..
Guodong Li, Ganesh Gopalakrishnan, Robert Michael Kirby, 2010, PPoPP '10.
Ganesh Gopalakrishnan, 2014, PPoPP '14.
Ganesh Gopalakrishnan, Venkatesh Akella, Richard M. Fujimoto, 1989 .
Rajeev Thakur, Ganesh Gopalakrishnan, Robert Michael Kirby, 2009, PVM/MPI.
Ganesh Gopalakrishnan, Ali Sezgin, 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Rajeev Thakur, Ganesh Gopalakrishnan, Wei-Fan Chiang, 2010, EuroMPI.
Rajeev Thakur, Ganesh Gopalakrishnan, Robert Michael Kirby, 2009, PPoPP '09.
Ganesh Gopalakrishnan, Prabhat Jain, Lüli Josephson, 1991 .
Ganesh Gopalakrishnan, Alexey Solovyev, Charles Jacobsen, 2015, NSV.
Peng Li, Guodong Li, Ganesh Gopalakrishnan, 2014, SC14: International Conference for High Performance Computing, Networking, Storage and Analysis.
Ganesh Gopalakrishnan, Shaz Qadeer, S. Qadeer, 2012, Formal Methods Syst. Des..
Yu Yang, Ganesh Gopalakrishnan, Xiaofang Chen, 2010, Formal Methods Syst. Des..
Sriram Krishnamoorthy, Ganesh Gopalakrishnan, Vishal Chandra Sharma, 2016, 2016 IEEE 23rd International Conference on High Performance Computing (HiPC).
Ganesh Gopalakrishnan, Wei-Fan Chiang, 2013 .
Ganesh Gopalakrishnan, Ravi Hosabettu, Abdelillah Mokkedem, 1998, FMCAD.
Ganesh Gopalakrishnan, Robert Palmer, 2002, FORTE.
Ian Briggs, Sriram Krishnamoorthy, Ganesh Gopalakrishnan, 2019, ACM Trans. Archit. Code Optim..
Guodong Li, Ganesh Gopalakrishnan, Wei-Fan Chiang, 2013, NASA Formal Methods.
Ganesh Gopalakrishnan, Anh Vo, Sarvani S. Vakkalanka, 2009, Parallel Tools Workshop.
Ganesh Gopalakrishnan, Anh Vo, G. Gopalakrishnan, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).
Ganesh Gopalakrishnan, Robert Michael Kirby, R. Kirby, 2010, FoSER '10.
Ganesh Gopalakrishnan, David L. Dill, Kenneth L. McMillan, 2002, Lecture Notes in Computer Science.
Yu Yang, Ganesh Gopalakrishnan, Robert Michael Kirby, 2010, International Journal on Software Tools for Technology Transfer.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 1999, CHARME.
Ganesh Gopalakrishnan, Vinu Joseph, Mark Van der Merwe, 2019, 2019 IEEE High Performance Extreme Computing Conference (HPEC).
Ganesh Gopalakrishnan, Michael Jones, 2000 .
Ganesh Gopalakrishnan, Erik Brunvand, G. Gopalakrishnan, 1993, Integr..
Ganesh Gopalakrishnan, Steven M. German, Ritwik Bhattacharya, 2006, SPIN.
Ganesh Gopalakrishnan, G. Gopalakrishnan, 2019 .
Rajeev Thakur, William Gropp, Ganesh Gopalakrishnan, 2008, PVM/MPI.
Ganesh Gopalakrishnan, Subodh Sharma, 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum.
Rajeev Thakur, William Gropp, Ganesh Gopalakrishnan, 2006, PVM/MPI.
Ganesh Gopalakrishnan, Ganesh Gopalakrishnan, 2019 .
Peter A. Beerel, Chris J. Myers, Ganesh Gopalakrishnan, 2003 .
Michael Garland, Ganesh Gopalakrishnan, Animesh Garg, 2019, ArXiv.
Ganesh Gopalakrishnan, Hans M. Jacobson, H. Jacobson, 1997, Proceedings Seventeenth Conference on Advanced Research in VLSI.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 2003, IEEE Design & Test of Computers.
Ganesh Gopalakrishnan, Robert Michael Kirby, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.
Markus Hadwiger, Ganesh Gopalakrishnan, Charles D. Hansen, 2013, 2013 IEEE Pacific Visualization Symposium (PacificVis).
Ganesh Gopalakrishnan, Venkatesh Akella, 1992, ICCAD.
Ganesh Gopalakrishnan, Ryan Stutsman, Mohammed S. Al-Mahfoudh, 2016, 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, 2005, Concurr. Pract. Exp..
Ian Briggs, Ganesh Gopalakrishnan, Martin Burtscher, 2019, 2019 IEEE International Conference on Cluster Computing (CLUSTER).
Yue Yang, Ganesh Gopalakrishnan, Konrad Slind, 2003, CHARME.
Ganesh Gopalakrishnan, Eric Mercer, Subodh Sharma, 2009, 2009 Formal Methods in Computer-Aided Design.
Ganesh Gopalakrishnan, Prabhat Jain, Prabhakar Kudva, 1992, CAV.
Ganesh Gopalakrishnan, Erik Brunvand, Prabhakar Kudva, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Ganesh Gopalakrishnan, Erik Brunvand, Venkatesh Akella, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Ganesh Gopalakrishnan, Greg Bronevetsky, Sriram Aananthakrishnan, 2016, LCPC.
Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, 2019, HPDC.
Ganesh Gopalakrishnan, 2012, 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum.
Ganesh Gopalakrishnan, Robert Michael Kirby, Robert Palmer, 2007, PADTAD '07.
Ganesh Gopalakrishnan, Prabhat Jain, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Ganesh Gopalakrishnan, Ratan Nalumasu, G. Gopalakrishnan, 2003 .
Ganesh Gopalakrishnan, Gary Lindstrom, Yue Yang, 2004, ICFEM.
Ganesh Gopalakrishnan, Erik Brunvand, Prabhakar Kudva, 1999, IEEE Trans. Very Large Scale Integr. Syst..
Peng Li, Guodong Li, Ganesh Gopalakrishnan, 2012, 2012 International Conference for High Performance Computing, Networking, Storage and Analysis.
Ganesh Gopalakrishnan, Ravi Hosabettu, Ratan Nalumasu, 1997, CHARME.
Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, 2017, 2017 IEEE International Symposium on Workload Characterization (IISWC).
Ganesh Gopalakrishnan, Greg Bronevetsky, Subodh Sharma, 2012, SBMF.
Qingyu Meng, Martin Berzins, Ganesh Gopalakrishnan, 2013, 2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE).
Ganesh Gopalakrishnan, Ratan Nalumasu, Rajnish Ghughal, 1998, CAV.
Tomofumi Yuki, Ganesh Gopalakrishnan, Kazem Cheshmi, 2018, ArXiv.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 1999, CAV 1999.
Ganesh Gopalakrishnan, Steven M. Nowick, Prabhakar Kudva, 1996, DAC '96.
Qingyu Meng, Martin Berzins, Ganesh Gopalakrishnan, 2014, LCPC.
Ganesh Gopalakrishnan, G. Gopalakrishnan, 1994, IEEE Design & Test of Computers.
Ganesh Gopalakrishnan, Venkatesh Akella, Prabhakar Kudva, 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Ian Briggs, Ganesh Gopalakrishnan, Wei-Fan Chiang, 2017, POPL.
Ganesh Gopalakrishnan, Ravi Hosabettu, 2000 .
Yu Yang, Ganesh Gopalakrishnan, Xiaofang Chen, 2007, 2007 IEEE International High Level Design Validation and Test Workshop.
Qingyu Meng, Martin Berzins, Ganesh Gopalakrishnan, 2014, Computing in Science & Engineering.
Ganesh Gopalakrishnan, Geof Sawaya, 2006 .
Ganesh Gopalakrishnan, Prabhakar Kudva, Hans M. Jacobson, 1996, DAC '96.
Yu Yang, Chao Wang, Ganesh Gopalakrishnan, 2008, ATVA.
Ganesh Gopalakrishnan, Ratan Nalumasu, G. Gopalakrishnan, 2002, Formal Methods Syst. Des..
Ganesh Gopalakrishnan, Tyler Sorensen, Vinod Grover, 2013, ICS '13.
Guodong Li, Ganesh Gopalakrishnan, Alan Humphrey, 2012 .
Yu Yang, Ganesh Gopalakrishnan, Robert Michael Kirby, 2007, SPIN.
Ganesh Gopalakrishnan, Steven M. German, Xiaofang Chen, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 1998, CAV.
Ganesh Gopalakrishnan, Robert Michael Kirby, Robert Palmer, 2007, FMICS.
Ganesh Gopalakrishnan, 2015, ASPLOS 2015.
Ganesh Gopalakrishnan, Ryan Stutsman, Mohammed Al-Mahfoudh, 2016, FormaliSE@ICSE.
Ganesh Gopalakrishnan, Saeed Taheri, G. Gopalakrishnan, 2021, ArXiv.
Ganesh Gopalakrishnan, Saeed Taheri, G. Gopalakrishnan, 2021, 2021 IEEE International Symposium on Workload Characterization (IISWC).
Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, 2021, Commun. ACM.
Ganesh Gopalakrishnan, Ryan Stutsman, Mohammed S. Al-Mahfoudh, 2021, ArXiv.
Sriram Krishnamoorthy, Ganesh Gopalakrishnan, Arnab Das, 2021, 2021 IEEE International Conference on Cluster Computing (CLUSTER).
Ganesh Gopalakrishnan, 2001 .
Ganesh Gopalakrishnan, Zvonimir Rakamarić, Vishal Chandra Sharma, 2014 .
Ganesh Gopalakrishnan, Erik Brunvand, Prabhakar Kudva, 2000, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).
Ganesh Gopalakrishnan, Shuvendu K. Lahiri, Arvind Haran, 2015 .
Ganesh Gopalakrishnan, Michael DeLisi, Robert M. Kirby, 2022 .
Ganesh Gopalakrishnan, G. Gopalakrishnan, Nalumasu, 1995 .
Martin Schulz, Bronis R. de Supinski, Rajeev Thakur, 2011 .
Ganesh Gopalakrishnan, Robert Palmer, G. Gopalakrishnan, 2002 .