1: BASIC CONTACT INFO: K.Gopinath Professor Computer Science & Automation (CSA), Indian Institute of Science (IISc), Bangalore 560012 INDIA Ph: 91-80-2293 2778 (direct) 91-80-2293 2368 (thru 1 operator) 9am-5:30pm only 2468/ 2386/ 2229 also. Msgs can be left here. CSA FAX: 91-80-2360 2911 e-mail: gopi :at: csa :dot: iisc :dot: ernet :dot: in gopi !at! stanfordalumni !dot! org http://drona.csa.iisc.ernet.in/~gopi (IP addr: 144.16.67.13) Use text/ASCII (some spam filters drop msgs with mhtml and other attachments!) 2: BRIEF BIO (see below for a detailed bio with publications): 1990-current Faculty Member at IISc; Professor 1988 PhD Stanford University 1980 MS University of Wisconsin, Madison 1977 BTech IIT Madras Prof. K. Gopinath graduated from IIT-Madras with a B.Tech. degree and from University of Wisconsin, Madison with an MS in Computer Science. After working at Advanced Micro Devices as a Product Planning Engineer, he joined Stanford University for a Ph.D.(completed '88). After a brief stint as a PostDoc at Stanford and then at Sun Microsystems Labs, he joined IISc as a faculty in 1990 where he is now a Professor. His research interests are primarily in the computer systems area (Operating Systems, Storage Systems, Computer Systems Security, Software Verification). 3: DETAILED BIO: EDUCATION Stanford University, Ph.D. in Computer Systems in Computer Systems Laboratory, Departments of Electrical Engineering and Computer Science, March 1988. Dissertation Title: Copy Elimination in Single Assignment Languages. Advisor: Prof. John L. Hennessy Thesis Paper: 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. University of Wisconsin, Madison, M.S., Computer Science, June 1980. Indian Institute of Technology, Madras, India, B.Tech., Electrical Engineering, May 1977. ACADEMIC and EMPLOYMENT EXPERIENCE Jul 1990 - present: Faculty Member, CSA Dept, IISc, Bangalore Professor Jun 2007 - May 2009: Visiting Professor, UCSC Storage Systems Research Center May 2005 - Jul 2005: Visiting Professor, Univ Joseph Fourier/Verimag (Grenoble) May 2000 - Jun 2000: International Fellow, SRI International, MP, CA Apr 2000 - May 2000, Jun 1998 - Jul 1998, Mar 1998 - Apr 1998, Oct 1997 - Nov 1997, Jun 1997 - Aug 1997: Visiting Research Scientist, Courant Inst of Math Sciences, NYU Apr 1988 - Mar 1990: Post-Doctoral Affliate with Prof. John Hennessy, Stanford University, Stanford, CA. Apr 1982 - Mar 1988: Research Assistant, Stanford University, Stanford, CA. Jun 1980 - Mar 1982: Product Planning Engineer, Advanced Micro Devices, Sunnyvale, CA. 1981 - 1984: Instructor in Computer Architecture, and AI, UC Berkeley Extension Sep 1977 - May 1980: Teaching Assistant, University of Wisconsin, Madison. PROFESSIONAL INTEREST AREAS Operating Systems, Software Verification, Computer Systems Security. In the past: Compilers, Object-oriented Systems, Parallel Processing, Functional Languages He is the convener of the CASL (Computer Architecture and Systems Lab) and the SAN (Storage Area Networks) Lab at CSA Dept. He is an Editor ("associate editor") of ACM Transactions on Storage He is/has been on the program committees of the following conferences/ workshops: MASCOTS 2012: Washington DC MASCOTS 2011: Singapore MASCOTS 2010: Miami Beach WETSoM 2010/11: Workshop on Emerging Trends in Software Metrics (part of ICSE 2010) WISE 2009: The 10th International Conference on Web Information Systems Engineering Poznan, Poland, October 5-7, 2009 MASCOTS 2009: Imperial College, London. MASCOTS 2008: Conf on Measurement, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2008) Baltimore, Maryland (USA) ICDCS 2008: 28th Intl Distributed Computing Systems Beijing, China Jun, 2008 SEFM 2006: 4rd IEEE Intl Conf on Sw Engg & Formal Methods, Pune, Sep 2006 ICISS'06 2nd Intl Conf on Information System Security, Dec 19-21, 2006 ICDCIT 2006 CIT06: 9th Intl Conf on Information Technology, Bhubaneswar, India, Dec 2006 ICISS'05 First Intl Conf on Information System Security, Dec 19-21, 2005 ICDCIT'05, 2nd International Conference on Distributed Computing and Internet Technology, Bhuvaneshwar, Dec 2005 FSTTCS'02, Kanpur, Dec 2002 CIT'02, Bhuvaneshwar, Dec 2002 First Working IFIP Conference on Software Architecture (WICSA1) San Antonio, Texas, Feb 1999 International Parallel Processing Symposium (IPPS'97) Geneva, Apr 1997 Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96), Stanford CA, Aug 1996 IPRS-93, Bangalore, Aug 1993 (also its organizer) General co-chair: Indocrypt 2005 He organized (along with Suparna Bhattacharya of IBM) the HPCA 2010 Workshop on the Use of Emerging Storage and Memory Technologies (WEST10). He was one of the directors for the Indo-French ``CIMPA School on Security for Computer Systems and Networks'' held at IISc, Bangalore from Jan25 to Feb4, 2005. He has also been the Institute coordinator of the IISc-INRIA-CNRS workshop at IISc, Bangalore Feb 8,9 2006. INDUSTRY INTERACTION: current till '07 (Selected projects) Completed: Jun 1995 - Aug 2001: Consultant/Sponsored Project, Veritas Software, Pune/MtView, CA Feb 1998 - Aug 2001: Sponsored Project with Nokia Research Center, Helsinki Jul 2000 - Jun 2002: Sponsored Project with Intel Corp, Santa Clara, CA Aug 2000 - Dec 2002: Sponsored Project with CDAC, Bangalore Oct 2002 - Mar 2003: Sponsored Project with TCS, Delhi Jan 2003 - May 2003: Consultancy with HP-IITM R&D Lab Mar 2004 - Nov 2007: DIT Project on "Secure and survivable storage: Correctness of protocols" He has consulted for ISNAR, Netherlands ('93); Siemens Ltd, Calcutta ('96); Wipro SIDC, Bangalore ('97); TCS ('02); HP-IITM ('02-'03); Novatium ('04-05), etc. 4: JOURNAL and REFEREED CONFERENCE PUBLICATIONS IN REVERSE CHRONOLOGICAL ORDER 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 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 Suparna Bhattacharya, K. Gopinath, "Virtually Cool Ternary Content Addressable Memory," HotOS 2011 V.V.N Pavan Kumar, K.Gopinath, "Scalable Lock-Free FIFO Queues using Efficient Elimination Techniques," ACM Compute 2012. 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. 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. K. Gopinath, "Internet in India," in "Media and Politics Reader," ed. Arvind Rajagopal, Oxford Univ. Press 2009.[Book Chapter] K. Gopinath, "Static Program Analysis for Security," in The Compiler Design Handbook: Optimizations and Machine Code Generation, CRC Press, 2007. [Book Chapter] Prashanth L A, Sajal Kumar Das, K Gopinath, "MAC design for heterogeneous application support in OFDM based wireless systems," IEEE CCNC'08. Ganesh Narayan, K. Gopinath and Sridhar Varadarajan, "Structure and Interpretation of Computer Programs," 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering, Jun 2008, Nanjing, China M. Raghavendra, K. Gopinath, "Effective Optimization Techniques for a Parallel File System," Managing Complexity in a Distributed World (MCDES 2008), May 2008, IISc Bangalore Arul Ganesh, K. Gopinath: SPKI/SDSI certificate chain discovery with generic constraints. Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008. ACM 2008. L.A. Prashant, K. Gopinath, "OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks," 3rd Intl IEEE Conf on COMmunication System softWAre & MiddlewaRE (COMSWARE 2008), Bangalore. Bhargava Kumar K, Ganesh M. Narayan, K. Gopinath, "Performance Evaluation of multiple TCP connections in iSCSI," 24th IEEE Conference on Mass Storage Systems and Technologies (MSST'07) San Diego, CA Sep 24-27, 2007. 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. 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. Manish Nair, K. Gopinath, "Recovery from DoS Attacks in MIPv6: Modelling and Validation," 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). London, UK. Sep 10-14, 2007. Ramanujan A, Amit Thawani, V. Sridhar, K. Gopinath, "Optimizing Multimedia Experience in a Thin Client Environment for a Resource Constrained Processor," IWCMC 2007 Conference, Aug 2007, Hawaii, USA 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 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. N. Narasimha Datta, K. Gopinath, "A survey of routing algorithms for wireless networks," J.IISc, Vol 86, Number 6, Nov-Dec 2006. M C Dharmadeep, K. Gopinath, "Proactive leader election in Asynchronous Shared Memory systems," ATVA (Automated Technology for Verification and Analysis), Oct 2006, Beijing, LNCS4218 V. H. Gupta and K. Gopinath, "An Extended Verifiable Secret Redistribution Protocol for Archival Systems," International Conference on Availability, Reliability and Security, Apr 20-22, 2006, Vienna IEEE Computer Society. Rahul Simha, K. Gopinath: Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival. International Conference on Computational Science (3) 2006, Reading, UK. K. Gopinath, "Access Control in Communication Systems," Intl IEEE Conf on COMmunication System softWAre & MiddlewaRE, New Delhi, Jan 9-12 2006 Amitabha Roy, K. Gopinath, "Improved Probabilistic Models for 802.11 Protocol Verification," Computer Aided Verification (CAV) 2005, Edinburgh, LNCS 3576. Girish Motwani, K. Gopinath, "Evaluation of Advanced TCP Stacks in an iSCSI Environment," 22nd IEEE - 13th NASA Goddard (MSST2005) Conference on Mass Storage Systems and Technologies April 11-14, 2005, Monterey, California USA. 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. Niranjan K. Boora, Chiranjib Bhattacharyya, K. Gopinath, "Efficient Algorithms for Intrusion detection," ICDCIT 2004, LNCS3347. K. Gopinath, Anil K. Pugalia and K. V. M. Naidu, "Formal Proof of Impossibility of Reliability in Crashing Protocols," IWDC04, LNCS3326. Ganesh Narayan, K. Gopinath, "iSAN - An Intelligent Storage Area Network Architecture," HiPC 2004, LNCS3296, Bangalore. K. Gopinath, "Register Allocation," in The Compiler Design Handbook: Optimizations and Machine Code Generation, CRC Press, 2002. [Book Chapter] (an older draft available at http://drona.csa.iisc.ernet.in/~gopi/comp/3.ps.gz) Neeraj Jaggi, K. Gopinath, ``Verification of Leader Election Algorithm in Timed Asynchronous Systems,'' FST&TCS, Bangalore, Dec'01. LNCS 2245. Suresh Babu, K. Gopinath, ``A Persistent Snapshot Device Driver for Linux,'' 2001 Annual Linux Showcase/Usenix, Oakland, CA Nov 6-10, 2001. 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. 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. Mansoor Ali Khan, K. Gopinath, ``Predictable Management of System Resources for Linux,'' 26th USENIX/FREENIX Annual Technical Conf, Boston, Jun'01. 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. 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). Nitin Muppalaneni, K. Gopinath, ``An Integrated Volume Manager with RAID1 and RAID5,'' Int'l Parallel and Distributed Processing Symposium (IPDPS), Cancun, Mexico, May 2000. K. Gopinath, M.K.Krishna Narasimhan, ``Performance Evaluation of Switch-Blocking on Multi-threaded Architectures,'' Journal of Universal Computer Science (J.UCS), Special Issue on Multithreaded Processors and Chip-Multiprocessors, Vol 6, Issue 10, Oct, 2000. H. Kim, K. Gopinath, and V. Kathail. "Region based register allocation for EPIC processors with predication," Parallel Computing '99, pages 36-44, 1999. Hansoo Kim, Kanchi Gopinath, Vinod Kathail, ``Fine Grained Register Allocation for EPIC Processors with Predication,'' PDPTA, Las Vegas, '99. K. Gopinath, K.S.Nandakumar, ``Combining Conditional Constant Propagation and Interprocedural Alias Analysis,'' IEEE International Conference on High Performance Computing (HiPC), Calcutta, Dec '99, LNCS 1745. N.S.Pendharkar, K. Gopinath, ``Formal Verification of an OS submodule,'' FST&TCS, Chennai, Dec '98, LNCS 1530. Vivek Shanbhag, K. Gopinath, ``A C++ Simulator Generator from Graphical Specifications,'' Software: Practice and Experience, 1998. K. Gopinath and M.K.Ravishankar, ``Intellectual Property Rights in Computer Software,'' Journal of Information Technology for Development, IOS Press, Netherlands, Volume 7, Issue 4 (1996). V.Vivekanand, K. Gopinath, Pradeep Dubey, ``Characterizing Vulnerability of Parallelism to Resource Constraints,'' IEEE International Conference on High Performance Computing (HiPC), Bangalore, Dec'97. K. Gopinath, R.Seshadri, ``Alias Analysis for Fortran90 Array Slices,'' Int'l Parallel Processing Symposium, Geneva, Apr'97. 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. 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. OTHER CONFERENCE/WORKSHOP PUBLICATIONS (selected) K. Gopinath, "Mobile Web and Developing Countries," W3C Workshop on the Mobile Web in Developing Countries, Dec 2006, Bangalore. Anika S, VH Gupta, K. Gopinath, "Verification of a Cryptographic Filesystem," National Workshop on Cryptology-2006 DIAT, Pune, 8-10, Sep'06. R. Simha and K. Gopinath, "Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival," International Workshop on Intelligent Storage Technology, May 2006, Reading UK. LNCS3993. Jaya G. Nair, Anand D. Apte, Anshuman Saxena & K. Gopinath, "A Secure Highly Available Framework for Distributed Algorithms," ATVA 2004, Taiwan. [*accepted for presentation but not included in proceedings due to difficulties with registration*] Jaya G. Nair, K. Gopinath, "A Highly Available Framework for Distributed Algorithms using LLC over Ethernet," IEEE TENCON Nov 2004. A.K. Chakravarthy,..., K. Gopinath, ..., Madhav Gadgil,... et.al. "On networking Indian biodiversity databases," to appear in Current Science. Kameshwari R. and Gopinath, K, "Space & Compute Requirements of PPM for Migration within the Secondary Storage," IEEE TENCON 2003, Bangalore, Oct'03. Himanshu Ashwani and K Gopinath, "Evaluating a Network Processor for Wirespeed Performance for Encapsulation, QoS, and Security in a Storage Area Network," Journal of the Computer Society of India, 2004. Gopinath, K, Ajai TS, Anil Kumar N, "Design and Implementation of Wireless Transaction Protocol at User Level and in the Linux Kernel," NCC'03, Chennai, Jan'03. Himanshu Ashwani and K Gopinath, "Evaluating a Network Processor for Wirespeed Performance for Encapsulation, QoS, and Security in a Storage Area Network," 2nd Workshop on Storage Area Networks, HiPC 2002, Bangalore Dec'02. Kameshwari R. and Gopinath, K, "Vertical Migration within the Secondary Storage Layer for Increased I/O Performance," HPCAsia 2002, Bangalore, Dec'02. T.S.Ajai, K.Gopinath, ``Design and Implementation of WTP Protocol,'' International Conference on Communications, Control & Signal Processing in the Next Millennium (CCSP-2000), Bangalore, Jul'00. K. Gopinath, T.S. Ajai, N.P. Singh, K.S.R.Murty, ``On the Design of a Low Cost Access Terminal,'' International Millennium Conference on Affordable Telecommunication and IT Solutions for Developing Countries (COMMSPHERE 2000), Chennai, Feb'00. Anish Sheth, K.Gopinath, ``Data Structure Distribution \& Multi-threading of Linux File System for Multiprocessors,'' IEEE International Conference on High Performance Computing (HiPC), Chennai, Dec '98. Aniruddha P.Bhutkar, K.Gopinath, ``Program Analysis for Page Size Selection,'' IEEE International Conference on High Performance Computing, (HiPC), Trivandrum, Dec'96. K.Gopinath, ``Verification of Directory Based Cache Coherence Protocols,'' IEEE International Conference on High Performance Computing (HiPC), Bangalore, Dec'95. K.Gopinath, R.Manohara Rao, ``Verification of DASH Cache Consistency Protocols,'' International Conference on Computer Systems and Education, Bangalore, Jun '94. K. Gopinath, Editor, Proceedings of the IFIP International Conference on Intellectual Property Rights in Computer Software and their Impact on Developing Countries (IPRS-93), Indian Institute of Science, Aug 1993. 5: SEMINARS, TRAINING (sample) '96 Siemens Ltd, Calcutta on CORBA '97 Wipro SIDC, Bangalore on Unix internals '99 Lucent Technologies, Bangalore on Unix internals '01 BPL on Linux kernel networking internals '03 DLink on Linux Kernel Internals '04 TCS on Storage Area Networks TALKS (recent sample of invited talks since 2001): '06 Comsware Jan 2006 (1st Intl Conf on COMm Sys softWAre & MiddlewaRE) '06 Sun Global Technology Conference, Bangalore '06 Wipro Tech Forum, Bangalore '05 Workshop on Formal Methods for Design & Analysis of Software Oct 7-8, 2005 '05 2nd Annual IIT Kanpur Hacker's Workshop 2005 (IITKHACK05) '04 Distinguished Speaker at Storage Network Summit, Bangalore (Dec7-9) '04 Keynote speaker at the CTO Storage Forum, Bangalore (Dec1) '04 Inaugural Talk on a UGC-sponsored program at CS Dept, Kancheepuram '03 Inaugural Talk at IIITMK-Trivandrum '03 Distinguished Speaker at Storage Network Summit, Bangalore (Jan21-22) '03 Wipro Tech Forum, Bangalore '01 Research Communications seminar at Intel, Hillsboro, Oregon '01 Indian Law Inst, New Delhi RECENT TUTORIALS AT CONFERENCES (since 2001): '04 on Role of Hardware in Information Systems, Hyderabad (Sep 12) '03 on "802.11" at NCC'03, IIT Madras, (Jan31-Feb2) '03 on "Virtualization" at Storage Network Summit, Bangalore (Jan21-22) Member of JURY (since 2001): '05 Network Computing CTO Award '03 Anveshan organized by CIIE, IIM Ahmedabad '00 Nokia WAP contest OTHER: Member of Internet Usage Policy committee at IISc Member of MHRD (GoI) Expert Group on Promoting Low Cost Computing and Open Source Software Member of Academic Council, MSRIT