Research Interests
I am broadly interested in the application of mathematical logic
and formal
methods to deriving better understanding and solutions for problems
arising in
the practice of software systems and networks. My previous work has
included types and semantics for functional, imperative, and
object-oriented
languages; virtual multimedia environments for supporting
collaboration; alarm
correlation for network management; extensible and dynamically
customizable
infrastructure for programming network services; topology discovery
for IPv6/v4 networks.
My current focus is compositional verification and online monitoring
techniques for detecting and locating faults in deployed networks, BGP
convergence, and infrastructure for supporting inter-carrier
QoS-sensitive services such as VoIP.
Selected Publications
- A Higher Order
Modal Fixed Point Logic
Mahesh Viswanathan, Ramesh Viswanathan
Proceedings of the Fifteenth International Conference on
Concurrency Theory (CONCUR), 2004
- Correct Passive
Testing Algorithms and Complete Fault Coverage
Arun Netravali, Krishan Sabnani, Ramesh Viswanathan
Proceedings of the 23rd IFIP International Conference on Formal
Techniques for Networked and Distributed Systems (FORTE), 2003
- Topology Discovery for
Public IPv6 Networks
Daniel Waddington, Fangzhe Chang, Ramesh Viswanathan, Bin Yao
ACM SIGCOMM Computer Communication Review, Volume 33, Issue 3, 2003
- Topology Inference
in the Presence of Anonymous Routers
Bin Yao, Ramesh Viswanathan, Fangzhe Chang, Daniel Waddington
Proceedings of the 22nd Annual Joint Conference of the IEEE Computer
and Communications Societies (INFOCOM), 2003
- Interaction Points : Exploiting Operating System Mechanisms for
Inter-component Communications
Daniel Waddington, Ramesh Viswanathan
ACM Operating Systems Review, Volume 36, No. 2, pages 19-35, April
2002
- Foundations for
Circular Compositional Reasoning
Mahesh Viswanathan, Ramesh Viswanathan
Proceedings of the 28th International Colloquium on Automata,
Languages and Programming (ICALP), 2001
- A Calculus
for Dynamic Customization of Virtual Environments
Allen Ginsberg, Ramesh Viswanathan
Proceedings of the Seventh ACM International Conference on Multimedia,
1999
- A Conceptual Framework
for Network Management Event Correlation and Filtering Systems
Masum Hasan, Binay Sugla, Ramesh Viswanathan
Proceedings of the Sixth IFIP/IEEE International Symposium on
Integrated Network Management (IM), 1999
- Full Abstraction for
First-Order Objects with Recursive Types and Subtyping
Ramesh Viswanathan
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in
Computer Science (LICS), 1998
- Effective Models of
Polymorphism, Subtyping and Recursion
John Mitchell, Ramesh Viswanathan
Proceedings of the 23rd International Colloquium on Automata,
Languages and Programming (ICALP), 1996
- An Interpretation of
Objects and Object Types
Martin Abadi, Luca Cardelli, Ramesh Viswanathan
Proceedings of the 23rd Annual ACM Symposium on Principles of
Programming Languages (POPL), 1996
- Isolating Side Effects
in Sequential Languages
Jon Riecke, Ramesh Viswanathan
Proceedings of the 22nd Annual ACM Symposium on Principles of
Programming Languages (POPL), 1995
- Standard ML-NJ
Weak Polymorphism and Imperative Constructs
My Hoang, John Mitchell, Ramesh Viswanathan
Proceedings of the Eighth Annual IEEE Symposium
on Logic in Computer Science (LICS), 1993
Journal version appeared in Information and Computation, Volume 127,
No. 2, pages 102-116, June 1996.
Education
, July - December 1995
Isaac Newton Institute for
Mathematical Sciences
Cambridge, UK
Ph.D. in Computer Science, June 1995
Computer Science Department,
Stanford University
Advisor: John C.
Mitchell
B.Tech. in Computer Science and Engineering, 1990
Indian Institute of Technology,
Kanpur,
India
