1;2c1;2c1;2c1;2c
Home Page of Prof. K. Gopinath (काॕचि गोपीनाथ)
1;2c
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
(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!
Note that some spam filters drop msgs with mhtml and other attachments.
Research Interests
Operating Systems, Storage Systems, Systems Security, Verification
An Editor ("associate editor") of ACM Transactions on Storage.
On Program Committee of HotStorage '11,MASCOTS'12, and in the past ICDCS'08, MASCOTS ('08-'12), SEFM'06, FSTTCS'02, IPPS'97, etc.
Recently conducted a workshop on the Use of Emerging Storage and Memory Technologies (WEST 10) as part of HPCA2010.
Website
CFP for a recently conducted WORKSHOP ON NETWORKED HEALTHCARE TECHNOLOGY (NetHealth) January 4, 2011 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, Karthick Rajamani, K Gopinath, Manish Gupta, "Does Lean Imply Green? A Study of Power-Performance Implications of Java Runtime Bloat," SIGMETRICS, Jun 2012
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
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
Suparna Bhattacharya, Karthick Rajamani, K Gopinath, Manish Gupta,
"The Interplay of Software Bloat, Hardware Energy Proportionality and
System Bottlenecks," HotPower 2011
Suparna Bhattacharya, K. Gopinath, "Virtually Cool Ternary Content
Addressable Memory," HotOS 2011
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.
Suparna Bhattacharya, Mangala Gowri Nanda, K. Gopinath, Manish Gupta.
"Reuse, recyle to debloat software," ECOOP 2011
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
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:
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
Most recent paper in J of Info Tech for Development
Currently, a Vice President of Free Software Movement of India (FSMI).
[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.
]