2008 |
37 | EE | Arul Ganesh,
K. Gopinath:
SPKI/SDSI certificate chain discovery with generic constraints.
Bangalore Compute Conf. 2008: 3 |
36 | EE | L. A. Prashanth,
K. Gopinath:
OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks.
COMSWARE 2008: 133-140 |
35 | EE | Ganesh M. Narayan,
K. Gopinath,
Sridhar Varadarajan:
Structure and Interpretation of Computer Programs.
TASE 2008: 73-80 |
34 | EE | V. Sriram,
Ganesh M. Narayan,
K. Gopinath:
SAFIUS - A secure and accountable filesystem over untrusted storage
CoRR abs/0803.2365: (2008) |
33 | EE | Bhargava Kumar K,
Ganesh M. Narayan,
K. Gopinath:
Performance Evaluation of Multiple TCP connections in iSCSI
CoRR abs/0803.3338: (2008) |
32 | EE | Ganesh M. Narayan,
K. Gopinath,
V. Sridhar:
Structure and Interpretation of Computer Programs
CoRR abs/0803.4025: (2008) |
2007 |
31 | EE | G. A. Ramanujan,
Amit Thawani,
V. Sridhar,
K. Gopinath:
Optimizing multimedia experience in a thin client environment for a resource constrained processor.
IWCMC 2007: 659-664 |
30 | EE | Bhargava K. Kancherla,
Ganesh M. Narayan,
K. Gopinath:
Performance Evaluation of Multiple TCP connections in iSCSI.
MSST 2007: 239-244 |
29 | EE | Manish C. Kumar,
K. Gopinath:
Recovery from DoS Attacks in MIPv6: Modeling and Validation.
SEFM 2007: 205-214 |
2006 |
28 | EE | V. H. Gupta,
K. Gopinath:
An Extended Verifiable Secret Redistribution Protocol for Archival Systems.
ARES 2006: 100-107 |
27 | EE | M. C. Dharmadeep,
K. Gopinath:
Proactive Leader Election in Asynchronous Shared Memory Systems.
ATVA 2006: 384-398 |
26 | | K. Gopinath:
Access control in communication systems.
COMSWARE 2006 |
25 | EE | G. Sandhya,
K. Gopinath:
Design and Analysis of Rate Aware Ad Hoc 802.11 Networks.
ICDCN 2006: 409-420 |
24 | EE | Rahul Simha,
K. Gopinath:
Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival.
International Conference on Computational Science (3) 2006: 679-686 |
23 | EE | K. N. Gopinath,
Pravin Bhagwat,
K. Gopinath:
An empirical analysis of heterogeneity in IEEE 802.11 MAC protocol implementations and its implications.
WINTECH 2006: 80-87 |
2005 |
22 | EE | Amitabha Roy,
K. Gopinath:
Improved Probabilistic Models for 802.11 Protocol Verification.
CAV 2005: 239-252 |
21 | EE | Girish Motwani,
K. Gopinath:
Evaluation of Advanced TCP Stacks in the iSCSI Environment using Simulation Model.
MSST 2005: 210-217 |
20 | EE | Matti Luukkainen,
Vivek K. Shanbhag,
K. Gopinath:
Verifying a UMTS Protocol Using Spin and EASN.
Electr. Notes Theor. Comput. Sci. 118: 71-85 (2005) |
2004 |
19 | EE | Ganesh M. Narayan,
K. Gopinath:
iSAN - An Intelligent Storage Area Network Architecture.
HiPC 2004: 262-273 |
18 | EE | Niranjan K. Boora,
Chiranjib Bhattacharyya,
K. Gopinath:
Efficient Algorithms for Intrusion Detection.
ICDCIT 2004: 346-352 |
17 | EE | K. Gopinath,
Anil K. Pugalia,
K. V. M. Naidu:
Formal Proof of Impossibility of Reliability in Crashing Protocols.
IWDC 2004: 347-352 |
16 | EE | Amitabha Roy,
K. Gopinath:
Scalable Probabilistic Models for 802.11 Protocol Verification
CoRR cs.LO/0403044: (2004) |
2002 |
15 | | K. Gopinath:
Register Allocation.
The Compiler Design Handbook 2002: 461-534 |
2001 |
14 | EE | Vivek K. Shanbhag,
K. Gopinath,
Markku Turunen,
Ari Ahtiainen,
Matti Luukkainen:
EASN: Integrating ASN.1 and Model Checking.
CAV 2001: 382-386 |
13 | EE | Neeraj Jaggi,
K. Gopinath:
Verification of a Leader Election Algorithm in Timed Asynchronous Systems.
FSTTCS 2001: 207-218 |
12 | EE | Vivek K. Shanbhag,
K. Gopinath:
A SPIN-Based Model Checker for Telecommunication Protocols.
SPIN 2001: 252-271 |
11 | EE | Mansoor Alicherry,
K. Gopinath:
Predictable Management of System Resources for Linux.
USENIX Annual Technical Conference, FREENIX Track 2001: 273-283 |
2000 |
10 | EE | Nitin Muppalaneni,
K. Gopinath:
A Multi-Tier RAID Storage System with RAID1 and RAID5.
IPDPS 2000: 663-672 |
9 | EE | K. Gopinath,
Nitin Muppalaneni,
N. Suresh Kumar,
Pankaj Risbood:
A 3-Tier RAID Storage System with RAID1, RAID5, and Compressed RAID5 for Linux.
USENIX Annual Technical Conference, FREENIX Track 2000: 21-34 |
8 | EE | K. Gopinath,
M. K. Krishna Narasimhan:
Performance of Switch Blocking on Multithreaded Architectures.
J. UCS 6(10): 928-947 (2000) |
1999 |
7 | | K. Gopinath,
K. S. Nandakumar:
Combining Conditional Constant Propagation and Interprocedural Alias Analysis.
HiPC 1999: 13-20 |
1998 |
6 | | N. S. Pendharkar,
K. Gopinath:
Formal Verification of an O. S. Submodule.
FSTTCS 1998: 197-208 |
1997 |
5 | EE | K. Gopinath,
R. Seshadri:
Alias Analysis for Fortran90 Array Slices.
IPPS 1997: 628-632 |
4 | | Vivek K. Shanbhag,
K. Gopinath:
A C++ Simulator Generator from Graphical Specifications.
Softw., Pract. Exper. 27(4): 395-423 (1997) |
1994 |
3 | | K. Gopinath,
M. K. Krishna Narasimhan,
B. H. Lim,
A. Agarwal:
Performance of Switch Blocking on Multithreaded Architectures.
ICPP (1) 1994: 275-284 |
1991 |
2 | | K. Gopinath:
Memory Models Compiler Optimizations and P-RISC.
ICPP (1) 1991: 680-681 |
1989 |
1 | | K. Gopinath,
John L. Hennessy:
Copy Elimination in Functional Languages.
POPL 1989: 303-314 |