Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarGanesh Gopalakrishnan
Person information
- affiliation: University of Utah, Salt Lake City, Utah, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
[c121]Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn:
FLiT: Cross-platform floating-point result-consistency tester and workload. IISWC 2017: 229-238- [c120]Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev:
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM 2017: 19-30 - [c119]Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Rigorous floating-point mixed-precision tuning. POPL 2017: 300-315 - [i3]Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama:
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR abs/1705.07478 (2017) - [i2]Simone Atzeni, Ganesh Gopalakrishnan:
An Operational Semantic Basis for OpenMP Race Analysis. CoRR abs/1709.04551 (2017) - 2016
- [c118]Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
PRESAGE: Protecting Structured Address Generation against Soft Errors. HiPC 2016: 252-261 - [c117]Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman:
Toward rigorous design of domain-specific distributed systems. FormaliSE@ICSE 2016: 42-48 - [c116]Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, Matthias S. Müller:
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. IPDPS 2016: 53-62 - [c115]Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
Towards Resiliency Evaluation of Vector Programs. IPDPS Workshops 2016: 1319-1328 - [c114]Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman:
Toward Bringing Distributed System Design upon Rigorous Footing. IRI 2016: 233-240 - [c113]Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski, Ganesh Gopalakrishnan:
ParFuse: Parallel and Compositional Analysis of Message Passing Programs. LCPC 2016: 24-39 - [c112]Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA 2016: 39-58 - [i1]Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
PRESAGE: Protecting Structured Address Generation against Soft Errors. CoRR abs/1606.08948 (2016) - 2015
- [j43]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. Electr. Notes Theor. Comput. Sci. 317: 33-45 (2015) - [j42]Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan:
A Parameterized Floating-Point Formalizaton in HOL Light. Electr. Notes Theor. Comput. Sci. 317: 101-107 (2015) - [c111]Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson:
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS 2015: 577-591 - [c110]Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM 2015: 532-550 - [c109]Ganesh Gopalakrishnan, Jeffrey Sawaya:
Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development. SCREAM@HPDC 2015: 11-18 - [c108]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Practical Floating-Point Divergence Detection. LCPC 2015: 271-286 - 2014
- [j41]Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Systematic Debugging Methods for Large-Scale HPC Computational Frameworks. Computing in Science and Engineering 16(3): 48-56 (2014) - [j40]Thomas Höllt, Ahmed Magdy, Peng Zhan, Guoning Chen, Ganesh Gopalakrishnan, Ibrahim Hoteit, Charles D. Hansen, Markus Hadwiger:
Ovis: A Framework for Visual Analysisof Ocean Forecast Ensembles. IEEE Trans. Vis. Comput. Graph. 20(8): 1114-1126 (2014) - [c107]Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins:
Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs. LCPC 2014: 317-331 - [c106]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev:
Efficient search for inputs causing high floating-point errors. PPOPP 2014: 43-52 - [c105]Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Müller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee:
Towards providing low-overhead data race detection for large OpenMP applications. LLVM@SC 2014: 40-47 - [c104]Peng Li, Guodong Li, Ganesh Gopalakrishnan:
Practical Symbolic Race Checking of GPU Programs. SC 2014: 179-190 - 2013
- [c103]Thomas Höllt, Ahmed Magdy, Guoning Chen, Ganesh Gopalakrishnan, Ibrahim Hoteit, Charles D. Hansen, Markus Hadwiger:
Visual analysis of uncertainties in ocean forecasts for planning and operation of off-shore structures. PacificVis 2013: 185-192 - [c102]Sriram Aananthakrishnan, Greg Bronevetsky, Ganesh Gopalakrishnan:
Hybrid approach for data-flow analysis of MPI programs. ICS 2013: 455-456 - [c101]Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover:
Towards shared memory consistency models for GPUs. ICS 2013: 489-490 - [c100]Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins:
Practical formal correctness checking of million-core problem solving environments for HPC. SE-CSE@ICSE 2013: 75-83 - [c99]Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric:
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. NASA Formal Methods 2013: 213-228 - [c98]Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Towards Formal Approaches to System Resilience. PRDC 2013: 41-50 - [c97]Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna:
Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. SE-HPCCSE@SC 2013: 41-44 - 2012
- [j39]
- [c96]Ganesh Gopalakrishnan:
Formal Methods for Surviving the Jungle of Heterogeneous Parallelism. IPDPS Workshops 2012: 1321-1324 - [c95]Guodong Li, Ganesh Gopalakrishnan:
Parameterized Verification of GPU Kernel Programs. IPDPS Workshops 2012: 2450-2459 - [c94]Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan:
GKLEE: concolic verification and test generation for GPUs. PPOPP 2012: 215-224 - [c93]Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky:
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. SBMF 2012: 194-209 - [c92]Peng Li, Guodong Li, Ganesh Gopalakrishnan:
Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. SC 2012: 29 - [c91]Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky:
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. SC Companion 2012: 1425-1426 - 2011
- [j38]Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky:
Formal analysis of MPI-based parallel programs. Commun. ACM 54(12): 82-91 (2011) - [j37]Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Sci. Comput. Program. 76(2): 65-81 (2011) - [c90]Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky:
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT 2011: 330-339 - [c89]Subodh Sharma, Ganesh Gopalakrishnan:
Efficient Verification Solutions for Message Passing Systems. IPDPS Workshops 2011: 2026-2029 - [c88]Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub:
Practical parallel and concurrent programming. SIGCSE 2011: 189-194 - [c87]Stephen F. Siegel, Ganesh Gopalakrishnan:
Formal Analysis of Message Passing - (Invited Talk). VMCAI 2011: 2-18 - [e4]Ganesh Gopalakrishnan, Shaz Qadeer:
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Lecture Notes in Computer Science 6806, Springer 2011, ISBN 978-3-642-22109-5 [contents] - 2010
- [j36]Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Formal Methods in System Design 36(1): 37-64 (2010) - [j35]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw., Pract. Exper. 40(1): 23-43 (2010) - [j34]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed dynamic partial order reduction. STTT 12(2): 113-122 (2010) - [c86]Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth Tibbitts:
GEM: Graphical Explorer of MPI Programs. ICPP Workshops 2010: 161-168 - [c85]
- [c84]Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan:
A symbolic verifier for CUDA programs. PPOPP 2010: 357-358 - [c83]Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI 2010: 152-159 - [c82]Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur:
Dynamic Verification of Hybrid Programs. EuroMPI 2010: 298-301 - [c81]Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky:
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. SC 2010: 1-10 - [c80]Ganesh Gopalakrishnan, Robert M. Kirby:
Top ten ways to make formal methods for HPC practical. FoSER 2010: 137-142 - [c79]Guodong Li, Ganesh Gopalakrishnan:
Scalable SMT-based verification of GPU kernel functions. SIGSOFT FSE 2010: 187-196 - [c78]Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth R. Tibbitts:
GEM: graphical explorer of MPI programs. SOFTVIS 2010: 217-218
2000 – 2009
- 2009
- [j33]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009) - [c77]Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Reduced Execution Semantics of MPI: From Theory to Practice. FM 2009: 724-740 - [c76]Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt:
MCC: A runtime verification tool for MCAPI user applications. FMCAD 2009: 41-44 - [c75]Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer:
Dynamic verification of Multicore Communication applications in MCAPI. HLDVT 2009: 100-105 - [c74]Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni:
Some resources for teaching concurrency. PADTAD 2009 - [c73]Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Formal verification of practical MPI programs. PPOPP 2009: 261-270 - [c72]Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan:
ISP Tool Update: Scalable MPI Verification. Parallel Tools Workshop 2009: 175-184 - [c71]Ganesh Gopalakrishnan, Robert M. Kirby:
Practical Formal Verification of MPI and Thread Programs. PVM/MPI 2009: 8 - [c70]Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI 2009: 261-270 - [c69]Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI 2009: 271-281 - [c68]Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI 2009: 329-330 - [c67]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang:
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 - [e3]Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer:
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM 2009, ISBN 978-1-60558-655-7 [contents] - 2008
- [j32]Ganesh Gopalakrishnan:
Review computation engineering: applied automata theory and logic. SIGACT News 39(3): 30-32 (2008) - [c66]Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140 - [c65]Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby:
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV 2008: 66-79 - [c64]
- [c63]Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3 - [c62]Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+. PPOPP 2008: 283-284 - [c61]Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby:
ISP: a tool for model checking MPI programs. PPOPP 2008: 285-286 - [c60]Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI 2008: 248-256 - [c59]Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI 2008: 265-273 - [c58]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305 - 2007
- [j31]
- [j30]
- [j29]Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Methods for MPI Programs. Electr. Notes Theor. Comput. Sci. 193: 19-27 (2007) - [c57]Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan:
Transaction Based Modeling and Verification of Hardware Protocols. FMCAD 2007: 53-61 - [c56]Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181 - [c55]Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Hierarchical cache coherence protocol verification one level at a time through assume guarantee. HLDVT 2007: 107-114 - [c54]Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6 - [c53]Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53 - [c52]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp:
Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353 - [c51]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75 - 2006
- [b1]Ganesh Gopalakrishnan:
Computation engineering - applied automata theory and logic. Springer 2006, ISBN 978-0-387-24418-1, pp. I-XXXV, 1-471 - [j28]Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006) - [c50]Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD 2006: 81-88 - [c49]Ganesh Gopalakrishnan, Robert M. Kirby:
Toward reliable and efficient message passing software through formal analysis. IPDPS 2006 - [c48]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp:
Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39 - [c47]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125 - [c46]Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan:
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN 2006: 252-270 - 2005
- [j27]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
UMM: an operational memory model specification framework with integrated model checking capability. Concurrency - Practice and Experience 17(5-6): 465-487 (2005) - [j26]Ali Sezgin, Ganesh Gopalakrishnan:
On the definition of sequential consistency. Inf. Process. Lett. 96(6): 193-196 (2005) - [j25]Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind:
Live sequence charts applied to hardware requirements specification and verification. STTT 7(4): 341-350 (2005) - [c45]Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan:
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. CHARME 2005: 317-331 - [c44]Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan:
Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335 - [c43]Ali Sezgin, Ganesh Gopalakrishnan:
On the decidability of shared memory consistency verification. MEMOCODE 2005: 199-208 - 2004
- [j24]Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee:
Formal hardware specification languages for protocol compliance verification. ACM Trans. Design Autom. Electr. Syst. 9(1): 1-32 (2004) - [c42]Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj:
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. CAV 2004: 401-413 - [c41]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45 - [c40]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004 - [e2]Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan:
Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Lecture Notes in Computer Science 3223, Springer 2004, ISBN 3-540-23017-3 [contents] - 2003
- [j23]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Design & Test of Computers 20(4): 4-14 (2003) - [j22]Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): 51-67 (2003) - [j21]Ganesh Gopalakrishnan, Warren A. Hunt Jr.:
Industrial Practice of Formal Hardware Verification: A Sampling. Formal Methods in System Design 22(2): 95-99 (2003) - [j20]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Formal Verification of a Complex Pipelined Processor. Formal Methods in System Design 23(2): 171-213 (2003) - [c39]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME 2003: 81-95 - 2002
- [j19]Ganesh Gopalakrishnan, Sneha Kumar Kasera:
Robust rate based congestion control. Computer Communication Review 32(3): 22 (2002) - [j18]Ratan Nalumasu, Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols Through Refinement. Formal Methods in System Design 20(1): 107-125 (2002) - [j17]Ratan Nalumasu, Ganesh Gopalakrishnan:
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. Formal Methods in System Design 20(3): 231-247 (2002) - [c38]Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. CAV 2002: 123-136 - [c37]Prosenjit Chatterjee, Ganesh Gopalakrishnan:
A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. FMCAD 2002: 292-309 - [c36]Robert Palmer, Ganesh Gopalakrishnan:
A Distributed Partial Order Reduction Algorithm. FORTE 2002: 370 - [c35]Syam Krishna Babbellapati, Ganesh Gopalakrishnan, T. S. Lamba:
FSRC: fair and stable rate control - a TCP-friendly adaptive rate control scheme for packet audio applications. ICON 2002: 443-448 - [c34]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201 - [c33]Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen:
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41 - 2001
- [c32]Annette Bunker, Ganesh Gopalakrishnan:
Using live sequence charts for hardware protocol specification and compliance verification. HLDVT 2001: 95-100 - [c31]Prosenjit Chatterjee, Ganesh Gopalakrishnan:
towards A formal Model of Shared Memory Consistency for Intel ItaniumTM. ICCD 2001: 515-518 - 2000
- [j16]Ganesh Gopalakrishnan:
Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications. Formal Methods in System Design 16(1): 5-6 (2000) - [j15]Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan:
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods in System Design 16(1): 93-119 (2000) - [c30]Hans M. Jacobson, Erik Brunvand, Ganesh Gopalakrishnan, Prabhakar Kudva:
High-Level Asynchronous System Design Using the ACK Framework. ASYNC 2000: 93-103 - [c29]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV 2000: 521-537 - [c28]Michael D. Jones, Ganesh Gopalakrishnan:
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD 2000: 505-519 - [c27]Michael D. Jones, Ganesh Gopalakrishnan:
Toward automated abstraction for protocols on branching networks. HLDVT 2000: 147-152 - [c26]Hans M. Jacobson, Chris J. Myers, Ganesh Gopalakrishnan:
Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines. ICCAD 2000: 303-310 - [c25]Rajnish Ghughal, Ganesh Gopalakrishnan:
Verification Methods for Weaker Shared Memory Consistency Models. IPDPS Workshops 2000: 985-992
1990 – 1999
- 1999
- [j14]Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand:
Peephole optimization of asynchronous macromodule networks. IEEE Trans. VLSI Syst. 7(1): 30-37 (1999) - [j13]Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith:
Timing constraints for high-speed counterflow-clocked pipelining. IEEE Trans. VLSI Syst. 7(2): 167-173 (1999) - [c24]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME 1999: 8-22 - 1998
- [c23]Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan:
Decomposing the Proof of Correctness of pipelined Microprocessors. CAV 1998: 122-134 - [c22]Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan:
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV 1998: 464-476 - [c21]Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan:
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD 1998: 237-254 - [c20]Ratan Nalumasu, Ganesh Gopalakrishnan:
PV: An Explicit Enumeration Model-Checker. FMCAD 1998: 523-528 - [c19]Ratan Nalumasu, Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols through Refinement. IPPS/SPDP Workshops 1998: 857-870 - [c18]Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan:
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA 1998: 231-239 - [e1]Ganesh Gopalakrishnan, Phillip J. Windley:
Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Lecture Notes in Computer Science 1522, Springer 1998, ISBN 3-540-65191-8 [contents] - 1997
- [c17]Hans M. Jacobson, Ganesh Gopalakrishnan:
Asynchronous Microengines for Efficient High-level Control. ARVLSI 1997: 201-218 - [c16]Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu:
Formal modeling and validation applied to a commercial coherent bus: a case study. CHARME 1997: 48-62 - 1996
- [c15]Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson:
A Technique for Synthesizing Distributed Burst-mode Circuits. DAC 1996: 67-70 - [c14]Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson, Steven M. Nowick:
Synthesis for Hazard-free Customized CMOS Complex-Gate Networks Under Multiple-Input Changes. DAC 1996: 77-82 - 1995
- [c13]Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith, V. John Mathews:
High speed counterflow-clocked pipelining illustrated on the design of HDTV subband vector quantizer chips. ARVLSI 1995: 91-107 - 1994
- [j12]Ganesh Gopalakrishnan:
Developing Micropipeline Wavefront Arbiters. IEEE Design & Test of Computers 11(4): 55-64 (1994) - [j11]Venkatesh Akella, Ganesh Gopalakrishnan:
CFSIM: A Concurrent Compiled Code Functional Simulator for hopCP. Int. Journal in Computer Simulation 4(4): 375-394 (1994) - [j10]Prabhat Jain, Ganesh Gopalakrishnan:
Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. IEEE Trans. on CAD of Integrated Circuits and Systems 13(8): 1005-1015 (1994) - [j9]Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick:
A correctness criterion for asynchronous circuit validation and optimization. IEEE Trans. on CAD of Integrated Circuits and Systems 13(11): 1309-1318 (1994) - [j8]Venkatesh Akella, Ganesh Gopalakrishnan:
Specification and Validation of Control-Intensive IC's in hopCP. IEEE Trans. Software Eng. 20(6): 405-423 (1994) - [j7]Ganesh Gopalakrishnan, Venkatesh Akella:
High-level optimizations in compiling process descriptions to asynchronous circuits. VLSI Signal Processing 7(1-2): 33-45 (1994) - [c12]Prabhakar Kudva, Ganesh Gopalakrishnan, Erik Brunvand, Venkatesh Akella:
Performance Analysis and Optimization of Asynchronous Circuits. ICCD 1994: 221-224 - [c11]Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand:
Peephole Optimization of Asynchronous Macromodule Networks. ICCD 1994: 442-446 - 1993
- [j6]Ganesh Gopalakrishnan, Erik Brunvand:
Guest editors' introduction to the special issue on asynchronous systems. Integration 15(3): 233-239 (1993) - [j5]Ganesh Gopalakrishnan, Richard Fujimoto:
Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design. ACM Trans. Comput. Syst. 11(2): 109-145 (1993) - [c10]Prabhat Jain, Ganesh Gopalakrishnan:
Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD 1993: 304-307 - [c9]Ganesh Gopalakrishnan, Venkatesh Akella:
A transformational approach to asynchronous high-level synthesis. VLSI 1993: 201-210 - 1992
- [j4]Ganesh Gopalakrishnan, Venkatesh Akella:
VLSI asynchronous systems: specification and synthesis. Microprocessors and Microsystems - Embedded Hardware Design 16(10): 517-527 (1992) - [j3]Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan:
Design and Evaluation of the Rollback Chip: Special Purpose Hardware for Time Warp. IEEE Trans. Computers 41(1): 68-82 (1992) - [c8]Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan:
Towards a Verification Technique for Large Synchronous Circuits. CAV 1992: 109-122 - [c7]Venkatesh Akella, Ganesh Gopalakrishnan:
SHILPA: a high-level synthesis system for self-timed circuits. ICCAD 1992: 587-591 - [c6]Gernot Armin Liebchen, Ganesh Gopalakrishnan:
Dynamic Reordering of Hgh Latency Transactions Using a Modified a Micropipeline. ICCD 1992: 336-340 - [c5]Prabhat Jain, Ganesh Gopalakrishnan:
Some Techniques for Efficient Symbolic Simulation-Based Verification. ICCD 1992: 598-602 - [c4]Venkatesh Akella, Ganesh Gopalakrishnan:
From Process-Oriented Functional Specifications to Efficient Asynchronous Circuits. VLSI Design 1992: 324-325
1980 – 1989
- 1989
- [j2]Ganesh Gopalakrishnan, Richard M. Fujimoto, Venkatesh Akella, Narayana Mani:
HOP: A process model for synchronous hardware; semantics and experiments in process composition. Integration 8(3): 209-247 (1989) - [c3]Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella:
Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. Automatic Verification Methods for Finite State Systems 1989: 374-382 - 1988
- [j1]Ganesh Gopalakrishnan, Mandayam K. Srivas:
Implementing Functional Programs Using Mutable Abstract Data Types. Inf. Process. Lett. 26(6): 277-286 (1988) - [c2]Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan:
Design and Performance of Special Purpose Hardware for Time Warp. ISCA 1988: 401-408 - 1987
- [c1]Ganesh Gopalakrishnan:
Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets. PNPM 1987: 94-103
Coauthor Index
maintained by 
at 
at 
last updated on 2018-06-28 14:24 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint