G. Gopalakrishnan
发表
Ganesh Gopalakrishnan,
Steven M. German,
Ritwik Bhattacharya,
2006,
SPIN.
Rajeev Thakur,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2009,
PPoPP '09.
R. Kirby,
G. Gopalakrishnan,
Subodh Sharma,
.
G. Gopalakrishnan,
Yu Yang,
Xiaofan Chen,
2008
.
Tyler Sorensen,
G. Gopalakrishnan,
Vinod Grover,
2014
.
R. Kirby,
G. Gopalakrishnan,
R. Palmer,
2006
.
Rajeev Thakur,
William Gropp,
Ganesh Gopalakrishnan,
2006,
PVM/MPI.
Matthew B. Dwyer,
Stephen F. Siegel,
Timothy K. Zirkel,
2014
.
R. Kirby,
G. Gopalakrishnan,
Yu Yang,
2022
.
Ganesh Gopalakrishnan,
Shuvendu K. Lahiri,
Arvind Haran,
2015
.
R. Thakur,
W. Gropp,
R. Kirby,
2007
.
M. Berzins,
G. Gopalakrishnan,
2012
.
G. Gopalakrishnan,
Anh Vo,
S. Vakkalanka,
2010
.
D. Quinlan,
R. Kirby,
G. Gopalakrishnan,
2009
.
G. Gopalakrishnan,
R. Palmer,
I. Melatti,
2007
.
P. Kudva,
H. Jacobson,
G. Gopalakrishnan,
1996,
33rd Design Automation Conference Proceedings, 1996.
Ganesh Gopalakrishnan,
Erik Brunvand,
Prabhakar Kudva,
2000,
Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).
G. Gopalakrishnan,
2003
.
Ganesh Gopalakrishnan,
Venkatesh Akella,
V. Akella,
1992,
1992 IEEE/ACM International Conference on Computer-Aided Design.
G. Gopalakrishnan,
Konrad Slind,
Guodong Li,
2006
.
Stephen F. Siegel,
R. Thakur,
W. Gropp,
2011
.
R. Kirby,
G. Gopalakrishnan,
R. Palmer,
2006
.
S. Krishnamoorthy,
G. Gopalakrishnan,
Ramakrishna Tipireddy,
2020,
ACM Transactions on Architecture and Code Optimization.
G. Gopalakrishnan,
B. Meakin,
2009
.
G. Gopalakrishnan,
B. Meakin,
2009
.
P. Kudva,
G. Gopalakrishnan,
P. Kudva,
1996,
33rd Design Automation Conference Proceedings, 1996.
R. Kirby,
G. Gopalakrishnan,
R. Palmer,
2006
.
G. Gopalakrishnan,
R. Palmer,
2007
.
G. Gopalakrishnan,
Hemanthkumar Sivaraj,
2003
.
S. Rajan,
G. Gopalakrishnan,
Guodong Li,
2012,
PPOPP.
G. Gopalakrishnan,
Anh Vo,
S. Vakkalanka,
2010
.
Ganesh Gopalakrishnan,
Alan Humphrey,
Beth Tibbitts,
2010,
ICPP Workshops.
G. Gopalakrishnan,
Yue Yang,
G. Lindstrom,
2022
.
G. Gopalakrishnan,
Subodh Sharma,
2012
.
R. Thakur,
R. Kirby,
G. Gopalakrishnan,
2009
.
G. Gopalakrishnan,
Simone Atzeni,
2014
.
G. Gopalakrishnan,
R. Nalumasu,
2007
.
V. Akella,
G. Gopalakrishnan,
2003
.
P. Kudva,
G. Gopalakrishnan,
G. Edu,
1993
.
G. Gopalakrishnan,
1995
.
Ganesh Gopalakrishnan,
Shaz Qadeer,
S. Qadeer,
2011
.
S. Krishnamoorthy,
G. Gopalakrishnan,
P. Panchekha,
2020,
SC20: International Conference for High Performance Computing, Networking, Storage and Analysis.
G. Gopalakrishnan,
Nalumasu,
1996
.
G. Gopalakrishnan,
I. Laguna,
Tanmay Tirpankar,
2022,
2022 IEEE International Symposium on Workload Characterization (IISWC).
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
2019
.
Ganesh Gopalakrishnan,
Robert Michael Kirby,
R. Kirby,
2010,
FoSER '10.
Ganesh Gopalakrishnan,
Robert Michael Kirby,
Sarvani S. Vakkalanka,
2008,
CAV.
Yu Yang,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2007,
SPIN.
Ian Briggs,
Ganesh Gopalakrishnan,
Martin Burtscher,
2019,
2019 IEEE International Conference on Cluster Computing (CLUSTER).
Ganesh Gopalakrishnan,
Martin Burtscher,
Saeed Taheri,
2017,
ESPT/VPA@SC.
Martin Schulz,
Bronis R. de Supinski,
Ganesh Gopalakrishnan,
2011,
2011 International Conference on Parallel Architectures and Compilation Techniques.
Guodong Li,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2011,
Sci. Comput. Program..
Martin Schulz,
Bronis R. de Supinski,
Ganesh Gopalakrishnan,
2010,
2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis.
Ganesh Gopalakrishnan,
Anh Vo,
G. Gopalakrishnan,
2010,
2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).
Ganesh Gopalakrishnan,
Anh Vo,
Sarvani S. Vakkalanka,
2009,
Parallel Tools Workshop.
Ganesh Gopalakrishnan,
Robert Michael Kirby,
Robert Palmer,
2007,
FMICS.
G. Gopalakrishnan,
R. Palmer,
2007
.
Ganesh Gopalakrishnan,
Hemanthkumar Sivaraj,
G. Gopalakrishnan,
2003,
PDMC@CAV.
Ganesh Gopalakrishnan,
Robert Palmer,
G. Gopalakrishnan,
2002
.
Ganesh Gopalakrishnan,
Michael DeLisi,
Robert M. Kirby,
2022
.
Yu Yang,
Chao Wang,
Ganesh Gopalakrishnan,
2009,
SPIN.
Yu Yang,
Chao Wang,
Ganesh Gopalakrishnan,
2008,
ATVA.
Ganesh Gopalakrishnan,
Shaz Qadeer,
S. Qadeer,
2012,
Formal Methods Syst. Des..
Ian Briggs,
Ganesh Gopalakrishnan,
Zvonimir Rakamaric,
2015,
FM.
Ryan Stutsman,
Mohammed S. Al-Mahfoudh,
Ganesh Gopalakrishnan,
2016,
2016 IEEE 17th International Conference on Information Reuse and Integration (IRI).
Peng Li,
Guodong Li,
Ganesh Gopalakrishnan,
2012,
2012 International Conference for High Performance Computing, Networking, Storage and Analysis.
Guodong Li,
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
2012,
2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum.
Guodong Li,
Ganesh Gopalakrishnan,
Alan Humphrey,
2012
.
Guodong Li,
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
2013,
NASA Formal Methods.
Michael D. Jones,
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
2000,
Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).
Ganesh Gopalakrishnan,
Erik Brunvand,
Venkatesh Akella,
1994,
Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2010,
Formal Methods Syst. Des..
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2006,
2006 Formal Methods in Computer Aided Design.
Ganesh Gopalakrishnan,
Ritwik Bhattacharya,
Ritwik Bhattacharya,
2002
.
Ganesh Gopalakrishnan,
Ratan Nalumasu,
G. Gopalakrishnan,
1999
.
Ganesh Gopalakrishnan,
Ratan Nalumasu,
Rajnish Ghughal,
1998,
CAV.
Ganesh Gopalakrishnan,
Ratan Nalumasu,
Rajnish Ghughal,
1998,
SPAA '98.
G. Gopalakrishnan,
R. Ghughal,
Ravi Hosabettu,
1997,
CHARME.
Ganesh Gopalakrishnan,
Ratan Nalumasu,
G. Gopalakrishnan,
1995,
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
Nalumasu,
1995
.
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
1994,
IEEE Design & Test of Computers.
V. Akella,
G. Gopalakrishnan,
1994,
IEEE Trans. Software Eng..
Ganesh Gopalakrishnan,
Ratan Nalumasu,
Dilip Khandekar,
1994
.
G. Gopalakrishnan,
1994
.
Ganesh Gopalakrishnan,
Zvonimir Rakamaric,
Alastair F. Donaldson,
2016,
OOPSLA.
Ian Briggs,
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
2017,
POPL.
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
Zvonimir Rakamaric,
2014,
PPoPP '14.
Rajeev Thakur,
William Gropp,
Ganesh Gopalakrishnan,
2010,
Softw. Pract. Exp..
Yue Yang,
Ganesh Gopalakrishnan,
Gary Lindstrom,
2005,
Concurr. Pract. Exp..
Yue Yang,
Ganesh Gopalakrishnan,
Konrad Slind,
2004,
18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Rajeev Thakur,
William Gropp,
Ganesh Gopalakrishnan,
2010
.
Ganesh Gopalakrishnan,
Gary Lindstrom,
Yue Yang,
2003
.
Ganesh Gopalakrishnan,
Gary Lindstrom,
Yue Yang,
2003
.
Ganesh Gopalakrishnan,
Stephen F. Siegel,
G. Gopalakrishnan,
2011,
VMCAI.
Yu Yang,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2006,
International Journal on Software Tools for Technology Transfer.
Ganesh Gopalakrishnan,
Alexey Solovyev,
Charles Jacobsen,
2015,
NSV.
Martin Schulz,
Bronis R. de Supinski,
Rajeev Thakur,
2011,
Commun. ACM.
Rajeev Thakur,
William Gropp,
Ganesh Gopalakrishnan,
2007,
PVM/MPI.
Qingyu Meng,
Martin Berzins,
Ganesh Gopalakrishnan,
2014,
Computing in Science & Engineering.
Qingyu Meng,
Martin Berzins,
Ganesh Gopalakrishnan,
2013,
2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE).
Shoaib Ahmed Siddiqui,
Aditya Bhaskara,
M. Garland,
2020,
2012.01604.
Ganesh Gopalakrishnan,
Annette Bunker,
G. Gopalakrishnan,
2001,
Sixth IEEE International High-Level Design Validation and Test Workshop.
Ganesh Gopalakrishnan,
Robert Michael Kirby,
Robert Palmer,
2007,
PADTAD '07.
Ganesh Gopalakrishnan,
Steven M. German,
Ritwik Bhattacharya,
2005,
CHARME.
Ganesh Gopalakrishnan,
Ratan Nalumasu,
G. Gopalakrishnan,
2002,
Formal Methods Syst. Des..
Ganesh Gopalakrishnan,
Ratan Nalumasu,
G. Gopalakrishnan,
2003
.
Peter A. Beerel,
Chris J. Myers,
Ganesh Gopalakrishnan,
2003
.
Ganesh Gopalakrishnan,
Ratan Nalumasu,
G. Gopalakrishnan,
2003
.
G. Gopalakrishnan,
R. Palmer,
B. Prather,
2001
.
Yue Yang,
Ganesh Gopalakrishnan,
Hemanthkumar Sivaraj,
2004,
CAV.
Ganesh Gopalakrishnan,
Konrad Slind,
Annette Bunker,
2005,
International Journal on Software Tools for Technology Transfer.
Sally A. McKee,
Ganesh Gopalakrishnan,
Annette Bunker,
2004,
TODE.
Mohammed S. Al-Mahfoudh,
Ryan Stutsman,
G. Gopalakrishnan,
2021,
ArXiv.
Ryan Stutsman,
Mohammed S. Al-Mahfoudh,
Ganesh Gopalakrishnan,
2016
.
Rajeev Thakur,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2009,
PVM/MPI.
Yu Yang,
Simone Atzeni,
Ganesh Gopalakrishnan,
2009,
PADTAD '09.
Ian Briggs,
Dong H. Ahn,
Ignacio Laguna,
2020,
PPoPP.
Simone Atzeni,
Ganesh Gopalakrishnan,
Dong H. Ahn,
2018,
2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Ganesh Gopalakrishnan,
Saeed Taheri,
G. Gopalakrishnan,
2021,
2021 IEEE International Symposium on Workload Characterization (IISWC).
Ganesh Gopalakrishnan,
Saeed Taheri,
G. Gopalakrishnan,
2021,
ArXiv.
Daniel O. Rice,
Saeed Abu-Nimeh,
S. Upadhyaya,
2020,
ICDCS.
Ganesh Gopalakrishnan,
Ryan Stutsman,
Mohammed S. Al-Mahfoudh,
2016,
2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Ganesh Gopalakrishnan,
Ratan Nalumasu,
G. Gopalakrishnan,
1998,
Formal Methods Syst. Des..
Ganesh Gopalakrishnan,
Erik Brunvand,
Steven M. Nowick,
1994,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Ganesh Gopalakrishnan,
Venkatesh Akella,
V. Akella,
1994,
J. VLSI Signal Process..
Ganesh Gopalakrishnan,
Venkatesh Akella,
V. Akella,
1992,
Microprocess. Microsystems.
Ganesh Gopalakrishnan,
Venkatesh Akella,
V. Akella,
1992,
The Fifth International Conference on VLSI Design.
Ganesh Gopalakrishnan,
Venkatesh Akella,
Richard M. Fujimoto,
1989,
Integr..
Ganesh Gopalakrishnan,
Venkatesh Akella,
Narayana Mani,
1989,
Automatic Verification Methods for Finite State Systems.
G. Gopalakrishnan,
R. Nalumasu,
2007
.
Yu Yang,
Ganesh Gopalakrishnan,
Robert Michael Kirby,
2008,
SPIN.
Ganesh Gopalakrishnan,
Robert Michael Kirby,
Anh Vo,
2009,
FM.
Ganesh Gopalakrishnan,
Robert Michael Kirby,
R. Kirby,
2009,
PVM/MPI.
Ganesh Gopalakrishnan,
Steven M. German,
Xiaofang Chen,
2007,
Formal Methods in Computer Aided Design (FMCAD'07).
Ganesh Gopalakrishnan,
Robert Michael Kirby,
R. Kirby,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
2008
.
R. Kirby,
G. Gopalakrishnan,
R. Palmer,
2006
.
Ganesh Gopalakrishnan,
Tyler Sorensen,
Vinod Grover,
2013,
ICS '13.
Ang Li,
G. Gopalakrishnan,
K. Barker,
2022,
2022 IEEE/ACM 12th Workshop on Fault Tolerance for HPC at eXtreme Scale (FTXS).
Ganesh Gopalakrishnan,
Wei-Fan Chiang,
Zvonimir Rakamaric,
2015,
LCPC.
Martin Schulz,
Matthias S. Müller,
Simone Atzeni,
2016,
2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Guodong Li,
Ganesh Gopalakrishnan,
G. Gopalakrishnan,
2010,
FSE '10.
Armando Solar-Lezama,
Sriram Krishnamoorthy,
Koushik Sen,
2017,
ArXiv.
Ganesh Gopalakrishnan,
Ravi Hosabettu,
Mandayam K. Srivas,
2003,
Formal Methods Syst. Des..
Ganesh Gopalakrishnan,
Ravi Hosabettu,
Mandayam K. Srivas,
2003,
IEEE Design & Test of Computers.
Ganesh Gopalakrishnan,
Ravi Hosabettu,
Mandayam K. Srivas,
1999,
CHARME.
Ganesh Gopalakrishnan,
Ravi Hosabettu,
Mandayam K. Srivas,
1999,
CAV 1999.
Ganesh Gopalakrishnan,
Ravi Hosabettu,
Mandayam K. Srivas,
1998,
CAV.
Ganesh Gopalakrishnan,
Hans M. Jacobson,
H. Jacobson,
1997,
Proceedings Seventeenth Conference on Advanced Research in VLSI.
Ganesh Gopalakrishnan,
Venkatesh Akella,
V. Akella,
1993,
VLSI.
Ganesh Gopalakrishnan,
Venkatesh Akella,
Richard M. Fujimoto,
1989
.
Ganesh Gopalakrishnan,
Prosenjit Chatterjee,
Hemanthkumar Sivaraj,
2002,
CAV.
Sriram Krishnamoorthy,
Ganesh Gopalakrishnan,
Vishal Chandra Sharma,
2016,
2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW).
Ganesh Gopalakrishnan,
Erik Brunvand,
G. Gopalakrishnan,
1993,
Integr..
Ganesh Gopalakrishnan,
David L. Dill,
Kenneth L. McMillan,
2002,
Lecture Notes in Computer Science.
Peng Li,
Guodong Li,
Ganesh Gopalakrishnan,
2012,
PPoPP '12.
Ganesh Gopalakrishnan,
Richard M. Fujimoto,
Jya-Jang Tsai,
1992,
IEEE Trans. Computers.
Sebastian Burckhardt,
Ganesh Gopalakrishnan,
Judith Bishop,
2011,
SIGCSE.
Ian Briggs,
Sriram Krishnamoorthy,
Ganesh Gopalakrishnan,
2019,
ACM Trans. Archit. Code Optim..