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

Professor
Computer Science & Automation
Indian Institute of Science
Bangalore
INDIA 560 012


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



Telephone:
(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.

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!)


An Editor ("associate editor") of ACM Transactions on Storage.

On Program Committee of INFLOW'14, HotStorage'13, HotStorage'11, MASCOTS'12,'11,'10,'09,'08, and in the past ICDCS'08, SEFM'06, FSTTCS'02, IPPS'97, etc.

Conducted a workshop on the Use of Emerging Storage and Memory Technologies (WEST 10) as part of HPCA2010. Website
CFP for WORKSHOPs ON NETWORKED HEALTHCARE TECHNOLOGY (NetHealth) 2011/12 in Bangalore, India --
Co-located workshops at COMSNETS 2011 along with NetHealth's CFP (in pdf)

My Academic Links

Publications

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

Complete Bio and Publication List Only pubs kept current!

Selected Recent Publications

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

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
Pankaj Pipada
Prasenjit Karmakar
Amarnath B S
Kamala R.
Srimuguntan
R. Kameshwari
M. Dharmadeep
L. Gautam
K. Hariprasad
M. Raghu
N. Ganesh
L.A.Prashanth
V. Sriram

Other Interests

Organized an Int'l Conf (Aug'93) on "INTELLECTUAL PROPERTY RIGHTS IN COMPUTER SOFTWARE AND THEIR IMPACT ON DEVELOPING COUNTRIES". See Call For Papers
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!



“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. ]