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