K. Gopinath (कांचि गोपीनाथ)

Computer Science & Automation
Indian Institute of Science
INDIA 560 012

Convenor, Computer Architecture and Systems Lab (CASL) lab.

(080) 2293-2778 (direct) or, if non-functional,
(080) 2293-2368/86 (CSA dept office)
Fax: (080) 2360 2911

Email: gopi at csa dot iisc dot ernet dot in
Kindly avoid proprietary formats (.doc, etc.) if possible; prefer ASCII/UNICODE देवनागरि, తెలుగు or ಕನ್ನಡ
Note that some spam filters drop msgs with mhtml and other attachments.

Brief Bio

K. Gopinath is a professor at Indian Institute of Science in the Computer Science and Automation Department. His education has been at IIT-Madras (B.Tech'77), University of Wisconsin, Madison (MS'80) and Stanford University (PhD'88). He has also worked at AMD (Sunnyvale) ('80-'82), and as a PostDoc ('88-'89) at Stanford, and also briefly at Sun Microsystems Labs ('90). His research interests are primarily in the computer systems area (Operating Systems, Storage Systems, Systems Security and Systems Verification).

Research Interests

Operating Systems, Storage Systems, Systems Security, Verification

तेजस्विनावधीतमस्तु। May our studies be enlightening/invigorating! (our=> that of teacher and student)
मा विद्विषावहै। But may we not grow apart! (Why? Research is uncertain!)
(from Shaanti mantra in Katha and other Upanishads; also in Taittiriiya Upanishad, Brahmaanandavalli)

An Editor ("associate editor") of ACM Transactions on Storage.
On PC of USENIX ATC 2016.

My Academic Links


Pl. see below for selected publications with downloadable pdf/ps files.

Complete Bio and Publication List Only pubs kept current!

My NPTEL video course on Storage Systems.

Selected Recent Publications

Ashish Panwar and Kanchi Gopinath, "Improving Power and Memory-Hotplug with a Migration Friendly Buddy Allocator," HiPC 2015.

Suparna Bhattacharya, K. Gopinath, Mangala Gowri Nanda, "Combining Concern Input with Program Analysis for Bloat Detection," OOPSLA 2013.

Mrinal Das, Suparna Bhattacharya, Chiranjib Bhattacharyya, Gopinath K, "Subtle Topic Models and Discovering Subtly Manifested Software Concerns Automatically," ICML 2013 pdf

Suparna Bhattacharya, Karthick Rajamani, K Gopinath, Manish Gupta, "Does Lean Imply Green? A Study of Power-Performance Implications of Java Runtime Bloat," SIGMETRICS, Jun 2012 pdf

Pankaj Pipada, Achintya Kundu, K Gopinath, Chiranjib Bhattacharyya, Sai Susarla, Nagesh P. C., "LoadIQ: Online learning to label program phases using storage traces," HotStorage Jun 2012 pdf

Suparna Bhattacharya, K. Gopinath, Karthick Rajamani, and Manish Gupta, "Software Bloat and Wasted Joules: Is Modularity a Hurdle to Green Software," IEEE Computer, Sep'2011 pdf

Suparna Bhattacharya, Karthick Rajamani, K Gopinath, Manish Gupta, "The Interplay of Software Bloat, Hardware Energy Proportionality and System Bottlenecks," HotPower 2011 pdf

Suparna Bhattacharya, K. Gopinath, "Virtually Cool Ternary Content Addressable Memory," HotOS 2011 pdf

Lawrence L. You, Kristal T. Pollack, Darrell D.E. Long, K. Gopinath, "PRESIDIO: A Framework for Efficient Archival Data Storage," ACM Transactions on Storage, Vol 7,2, Jul 2011. pdf

Suparna Bhattacharya, Mangala Gowri Nanda, K. Gopinath, Manish Gupta. "Reuse, recyle to debloat software," ECOOP 2011. pdf

Neeraja J. Yadwadkar, Chiranjib Bhattacharyya, K. Gopinath, Thirumale Niranjan, Sai Susarla, "Discovery of Application Workloads from Network File Traces," 8th USENIX Conference on File and Storage Technologies (FAST '10), Feb 2010. pdf

K. Gopinath, Jon Elerath, Darrell Long, "Reliability Modelling of Disk Subsystems with Probabilistic Model Checking," presented at Dagstuhl Seminar on "Quantative and Qualitative Analysis of Network Protocols", Jan 2010. Also, Technical Report UCSC-SSRC-09-05, May 2009. pdf More updated work in MSc thesis (Prasenjit). See also, "Are Markov Models Effective for Storage Reliability Modelling?" CoRR abs/1503.07931 (2015).

K. Gopinath, "Static Program Analysis for Security," in The Compiler Design Handbook: Optimizations and Machine Code Generation, CRC Press, 2007. (draft)pdf [Book Chapter]

V H Gupta, K. Gopinath, "G$^2_{its}$VSR: An Information Theoretic Secure Verifiable Secret Redistribution Protocol for Long-term Archival Storage," Fourth International IEEE Security In Storage Workshop (SISW 2007), San Diego, CA Sep 27, 2007. pdf

V Sriram, Ganesh Narayan, K Gopinath, "SAFIUS - A secure and accountable filesystem over untrusted storage," Fourth International IEEE Security In Storage Workshop (SISW 2007), San Diego, CA Sep 27, 2007. pdf

Sandhya G, K. Gopinath, "Design and Analysis of Rate Aware Ad Hoc 802.11 Networks," International Conference on Distributed Computing and Networking (ICDCN 2006), Guwahati, Dec'06, LNCS4308 pdf

KN Gopinath, Pravin Bhagwat, K. Gopinath, "An Empirical Analysis of Heterogeneity in IEEE 802.11 MAC Protocol Implementations and its Implications," The First ACM International Workshop on Wireless Network Testbeds, Experimental evaluation and CHaracterization (WiNTECH 2006), ACM MobiCom 2006, Los Angeles, Sep'2006. pdf

M C Dharmadeep, K. Gopinath, "Proactive leader election in Asynchronous Shared Memory systems," ATVA (Automated Technology for Verification and Analysis), Oct 2006, Beijing, LNCS4218 pdf

Rahul Simha, K. Gopinath, "Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival," International Conference on Computational Science (3) 2006, Reading, UK. pdf

Amitabha Roy, K. Gopinath, "Improved Probabilistic Models for 802.11 Protocol Verification," Computer Aided Verification (CAV) 2005, Edinburgh, LNCS 3576.pdf

A Few Selected Older Publications

Niranjan K. Boora, Chiranjib Bhattacharyya, K. Gopinath, "Efficient Algorithms for Intrusion detection," ICDCIT 2004, LNCS3347. pdf

Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath, "Verifying a UMTS protocol using Spin and EASN," Electronic Notes in Theoretical Computer Science, Vol 118, Feb 2005. Also in Software Verification and Validation Workshop, Mumbai, Dec 2003. pdf

K. Gopinath, "Register Allocation," in The Compiler Design Handbook: Optimizations and Machine Code Generation, CRC Press, 2002. [Book Chapter] (draft) ps

Neeraj Jaggi, K. Gopinath, ``Verification of Leader Election Algorithm in Timed Asynchronous Systems,'' FST&TCS, Bangalore, Dec'01. LNCS 2245. ps

Suresh Babu, K. Gopinath, ``A Persistent Snapshot Device Driver for Linux,'' 2001 Annual Linux Showcase/Usenix, Oakland, CA Nov 6-10, 2001. ps

Venkatesh P., K. Gopinath, ``The Design, Implementation and Framework for a Linux based Temperature Sensitive Storage,'' 2001 Annual Linux Showcase/Usenix, Oakland, CA Nov 6-10, 2001. ps

Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen, `` EASN: Integrating ASN.1 and Model Checking,'' 13th Conference on Computer Aided Verification CAV'01, July 18-23, 2001 Paris, France LNCS 2102. ps

Mansoor Ali Khan, K. Gopinath, ``Predictable Management of System Resources for Linux,'' 26th USENIX/FREENIX Annual Technical Conf, Boston, Jun'01. ps

Vivek K. Shanbhag and K. Gopinath, ``A SPIN-based Model Checker for Telecommunication Protocols,'' 8th International SPIN Workshop on Model Checking of Software (SPIN'2001), May 19-20, 2001, Toronto, Canada LNCS 2057. draft ps

K. Gopinath, Nitin Muppalaneni, N.Suresh Kumar, Pankaj Risbood, ``A 3-tier RAID Storage System with RAID1, RAID5 and compressed RAID5 for Linux,'' 25th USENIX/FREENIX Annual Technical Conf, San Diego, Jun'00 (USENIX2000). ps

K. Gopinath, M.K.Krishna Narasimhan, B.H.Lim, Anant Agarwal,``Performance Evaluation of Switch-Blocking on Multi-threaded Architectures, '' International Conference on Parallel Processing, Chicago, Aug '94. (problematic) pdf

K. Gopinath and John L. Hennessy, ``Copy Elimination in Functional Languages," Proceedings of ACM Symposium on Principles of Programming Languages (POPL), Austin, Texas, Jan '89. pdf

Selected recent MSc/PhD Theses of students who have worked with me:
Suparna Bhattacharya PhD thesis: A Systems Perspective of Software Runtime Bloat – Origin, Mitigation and Power-Performance Implications
Pankaj Pipada MSc thesis: Studies in Autonomic Management of Storage Systems
Prasenjit Karmakar MSc Thesis: Reliability Modelling of Whole RAID Storage Subsystems
Amarnath B S MSc thesis: Scalable quota management for high performance computing
Kamala R. MSc thesis: MIST: MIgrate the Storage Too
Srimuguntan MSc thesis: Efficient usage of Flash memories in high performance scenarios
R. Kameshwari PhD Thesis: Predictive Modeling for Migration within a Secondary Storage Level
M. Dharmadeep MSc Thesis: Optimizations In Storage Area Networks And Direct Attached Storage
L. Gautam MSc Thesis: Fault Tolerant Locking for Shared Disk Filesystems
K. Hariprasad Time Management in Partitioned Systems
Manish Kumar C: Recovery from DoS Attacks in MIPv6: Modelling and Validation
M. Raghu Effective Optimization Techniques for a Parallel File System
N. Ganesh iSAN - An Intelligent Storage Area Network
L.A.Prashanth OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks
V. Sriram MSc thesis: SAFIUS - A Secure Accountable Filesystem over Untrusted Storage
Nitin Muppalaneni: A Multi-tier RAID Storage System with RAID1 and RAID5
Nandakumar K S: Combining Conditional Constant Propagation and Interprocedural Alias Analysis
K.S.Raghunath: Restructuring a Legacy Application Through CORBA
V.Vivekanand: Characterizing the Vulnerability of Parallelism to Resource Constraints

Other Interests

Paper in J of Info Tech for Development

Currently, a Vice President of Free Software Movement of India (FSMI) and President of Free Software Movement of Karnataka.

न चोरहार्यं न च राजहार्यं न भ्रातॄभाज्यं न च भारकारि |
व्यये कॄते वर्धत एव नित्यं विद्याधनं सर्वधनप्रधानं ||
It cannot be stolen by thieves, nor can it be taken away by kings. It need not be divided among brothers and it does not cause a load on your shoulders. If spent, it indeed always keeps growing. The wealth of knowledge is the most superior wealth of all!

सत्यं ब्रुयात् प्रियम् ब्रुयान्नब्रुयात् सत्यमप्रियम् |
प्रियम् च नानॄतम् ब्रुयादेष: धर्म: सनातन: ||
Speak truth. Speak what is pleasant to others. Don't speak truth that is unpleasant ("harmful"). Even if pleasant, don't speak what is false. This is Dharma for all time.

एकं शास्त्रमधीयानो न गच्छेच्छास्त्रनिर्णयम् |
If you know/study only one subject, you cannot go around saying anything authoritatively even in that subject!

आचार्यात् पादमादत्ते From guru, 1/4th
पादं शिष्यः स्वमेधया । By one's own intelligence/effort, another 1/4th
पादं स ब्रह्मचारिभ्यः Another 1/4th from other students
पादं कालक्रमेण च ।। Rest 1/4th by experience and passage of time!
उत्तिष्ठत जाग्रत प्राप्य वरान्निबोधत,
क्षुरासन्न धारा निशिता दुरत्यद्दुर्गम पथ: तत् कवयो वदन्ति |
Arise! Awake! Approach the great and learn.
Like the sharp edge of a razor is that path,
so the wise say−hard to tread and difficult to cross.

“Verily, there is no limit to the scope of the science of life. (na…)
Therefore, without being careless but constantly striving, let us proceed. (tasmat…)
This work of being continually healthy, even from others it is fit to be learned without jealousy. (pare…)
In fact, the whole world is the teacher for the wise and enemy for the foolish (krtsno..)
Therefore, the wise, after careful examination, learn even from rivals (athaha…)
about excellence, fame, long life, health, and of world affairs by listening to their words of instruction and assimilating them."
Charaka Samhita 8.14

[FOR BE I, II, III year students/MCA/... ONLY: If you are a non-IISc student looking for a project, pl. be aware that the CSA Dept as a policy does not encourage it. ]