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.

[FOR BE I, II, III year students/MCA/... ONLY: If you are a non-IISc student looking for a project, pl. be aware that CSA Dept has an official internship program during summer. Pl. do apply! ]

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

An Editor ("associate editor") of ACM Transactions on Storage.
Recent PC Activity: ERC (ASPLOS'17,'18), PC (USENIX ATC 2016).

तेजस्विनावधीतमस्तु। 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)

अम्बितमे नदीतमे देवितमे सरस्वति | अप्रशस्ता इव स्मसि प्रशस्तिमम्ब नस्कृधि || RV 2.41.16
O Sarasvati, best of mothers, greatest among rivers (of inspiration), most divine, we are but limited in our sayings! O Mother, give us self-expression!
(slightly modified from the translation of RL Kashyap)

परस्वादानेच्छाविरतमनसो वस्तु सुकवेः| सरस्वत्येवैषा घटयति यथेष्टं भगवती || ४.१७||
(पर-स्वादान-इच्छा-विरत-मनसः वस्तु सुकवेः | सरस्वती एव एषा घटयति यथेष्टं भगवती || ४.१७||)
The Goddess of speech, Saraswati, herself will help the deserving and talented poets in procuring the ideas provided they shun plagiarism (ie. they are "devoid of the desire of eating other's tasty treats").

वादे वादे जायते तत्त्वबोधः |
Debate after debate produces true understanding.

आह्मां घरीं धन शब्दाचींच रत्‍नें । शब्दाचींच शस्‍त्रें यत्‍ने करूं ॥१॥
शब्दचि आमुच्या जिवाचें जीवन । शब्दें वांटूं धन जनलोकां ॥२॥
तुका ह्मणे पहा शब्दचि हा देव । शब्देंचि गौरव पूजा करूं ॥३॥
Words are the only jewels we possess in the house
Words, with our own efforts, are our only protection
Words are the only sustenance of our lives
Words are the only wealth we distribute among people
Says Tuka: See! the Words are verily the Shining Ones ("God")!
To Words respectfully offer puujaa! (Sant Tukaaraam)

Albert Camus: "It is better for the intellectual [teacher?] not to talk all the time. It would keep him from thinking."

My Academic Links


Pl. see below for selected publications with downloadable pdf/ps files.
See here for Complete Bio and Publication List but only pubs kept current!

My NPTEL video course on Storage Systems.

See also video proceedings of ICPR Conference on S&T in the Indic Tradition, Feb 3-6, 2017
Youtube playlist link to all the videos from the seminar

Selected Recent Publications

A. Panwar, A. Prasad, K. Gopinath, "Making Huge Pages Actually Useful," ASPLOS 2018

Ajinkya Rajput and K. Gopinath, "Towards a more secure Aadhaar," ICISS 2017 (BEST PAPER award). pdf talk (see also my talk at SDC 2017 for a background wrt Aadhaar)

Aravinda Prasad, K. Gopinath, Paul E. McKenney, "The RCU-Reader Preemption Problem in VMs," USENIX ATC 2017. pdf

Aravinda Prasad, K. Gopinath, "Prudent Memory Reclamation in Procrastination based Synchronization," ASPLOS 2016. pdf

Ashish Panwar, Naman Patel, K. Gopinath, "A Case for Protecting Huge Pages from the Kernel," ApSys 2016 pdf

Lan Zhou, Vijay Varadharajan, K. Gopinath, ``A Secure Role-based Cloud Storage System for Encrypted Patient Centric Health Records,'' Computer Journal, 2016 pdf

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

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

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
Naman Patel MSc thesis: A Case for Protecting Huge Pages from the Kernel
Ashish Panwar MSc thesis: An Allocation Framework for Optimizing Memory Power Consumption and Controlling Fragmentation
Pankaj Pipada MSc thesis: Studies in Autonomic Management of Storage Systems
Kamala R. MSc thesis: MIST: MIgrate the Storage Too
Prasenjit Karmakar MSc Thesis: Reliability Modelling of Whole RAID Storage Subsystems
Amarnath B S MSc thesis: Scalable quota management for high performance computing
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: MSc thesis 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: MSc thesis A Multi-tier RAID Storage System with RAID1 and RAID5
Nandakumar K S: Combining Conditional Constant Propagation and Interprocedural Alias Analysis
K.S.Raghunath: MSc thesis Restructuring a Legacy Application Through CORBA
V.Vivekanand: MSc thesis Characterizing the Vulnerability of Parallelism to Resource Constraints

Other Interests

Paper in J of Info Tech for Development

Currently, President of Free Software Movement of Karnataka.

Some talks: given at National Conf on Free SW 2010 on "Free SW and its manifestations", Open Day at CSA/IISc on "JC Bose and Free Knowledge Systems".
Transcript (edited) of an interview on IPR, Net neutrality, etc on a FM station

न चोरहार्यं न च राजहार्यं न भ्रातॄभाज्यं न च भारकारि |
व्यये कॄते वर्धत एव नित्यं विद्याधनं सर्वधनप्रधानं ||
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!
कइव नहि गुरु: लोकवृत्तेपि भूमन्?
Is there anything in this world that cannot be a teacher?

उत्तिष्ठत जाग्रत प्राप्य वरान्निबोधत,
क्षुरासन्न धारा निशिता दुरत्यद्दुर्गम पथ: तत् कवयो वदन्ति |
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