Ganesh Gopalakrishnan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A GPU accelerated mixed-precision smoothed particle hydrodynamics framework with cell-based relative coordinates Engineering Analysis with Boundary Elements	2024-05-29	Paper
Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions FM 2015: Formal Methods	2019-12-19	Paper
Automata and computability. A programmer's perspective	2018-12-14	Paper
Rigorous floating-point mixed-precision tuning Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
A parameterized floating-point formalizaton in HOL Light	2016-12-16	Paper
Random walk based heuristic algorithms for distributed memory model checking	2013-08-30	Paper
A sound reduction of persistent-sets for deadlock detection in MPI applications Lecture Notes in Computer Science	2012-11-06	Paper
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols Formal Methods in System Design	2010-05-05	Paper
On the definition of sequential consistency Information Processing Letters	2009-12-18	Paper
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions Automated Technology for Verification and Analysis	2008-11-20	Paper
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings Computer Aided Verification	2008-07-15	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
Computation engineering. Applied automata theory and logic.	2006-09-20	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
scientific article; zbMATH DE number 2102694 (Why is no real title available?)	2004-09-24	Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol ZB 2002:Formal Specification and Development in Z and B	2004-08-03	Paper
Formal verification of a complex pipelined processor Formal Methods in System Design	2004-03-15	Paper
scientific article; zbMATH DE number 1979557 (Why is no real title available?)	2003-09-14	Paper
scientific article; zbMATH DE number 1903349 (Why is no real title available?)	2003-05-01	Paper
An efficient partial order reduction algorithm with an alternative proviso implementation Formal Methods in System Design	2002-06-16	Paper
Deriving efficient cache coherence protocols through refinement Formal Methods in System Design	2002-04-11	Paper
scientific article; zbMATH DE number 1670799 (Why is no real title available?)	2001-11-11	Paper

Research outcomes over time

This page was built for person: Ganesh Gopalakrishnan