Ramesh Viswanathan

According to our database, Ramesh Viswanathan authored at least 29 papers between 1993 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Reducing Time-To-Fix For Fuzzer Bugs.

Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2014

Least upper bounds for probability measures and their applications to abstractions.

Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan

Inf. Comput., 2014

2012

Mitigating High Latency Outliers for Cloud-Based Telecommunication Services.

Fangzhe Chang, Peter S. Fales, Moritz Steiner, Ramesh Viswanathan, Thomas J. Williams, Thomas L. Wood

Bell Labs Tech. J., 2012

The Personal Cloud - Design, Architecture and Matchmaking Algorithms for Resource Management.

Adiseshu Hari, Ramesh Viswanathan, T. V. Lakshman, Y. J. Chang

Proceedings of the 2nd USENIX Workshop on Hot Topics in Management of Internet, 2012

Placement in Clouds for Application-Level Latency Requirements.

Fangzhe Chang, Ramesh Viswanathan, Tom L. Wood

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011

Expected convergence properties of BGP.

Ramesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali

Comput. Networks, 2011

Behavior Based Service Composition.

Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

2010

Optimal Resource Allocation in Clouds.

Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Optimal Resource Allocation for Batch Testing.

Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Portable Call Agent: A model for rapid development and emulation of network services.

Ramesh Viswanathan, Thomas L. Wood

Bell Labs Tech. J., 2008

2005

Message Ferrying for Constrained Scenarios.

Ramesh Viswanathan, Jing (Tiffany) Li, Mooi Choo Chuah

Proceedings of the 2005 International Conference on a World of Wireless, 2005

Network simulation via hybrid system modeling: a time-stepped approach.

Amogh Kavimandan, Wonsuck Lee, Marina Thottan, Aniruddha S. Gokhale, Ramesh Viswanathan

Proceedings of the 14th International Conference On Computer Communications and Networks, 2005

Passive mid-stream monitoring of real-time properties.

Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan

Proceedings of the EMSOFT 2005, 2005

2004

A new coding scheme for the noisy-channel Slepian-Wolf problem: separate design and joint decoding.

Ruiyuan Hu, Ramesh Viswanathan, Jing Li

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

A Higher Order Modal Fixed Point Logic.

Mahesh Viswanathan, Ramesh Viswanathan

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Topology discovery for public IPv6 networks.

Daniel G. Waddington, Fangzhe Chang, Ramesh Viswanathan, Bin Yao

Comput. Commun. Rev., 2003

Topology Inference in the Presence of Anonymous Routers.

Bin Yao, Ramesh Viswanathan, Fangzhe Chang, Daniel G. Waddington

Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003

Correct Passive Testing Algorithms and Complete Fault Coverage.

Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

Interaction points: exploiting operating system mechanisms for inter-component communications.

Dan G. Waddington, Ramesh Viswanathan

ACM SIGOPS Oper. Syst. Rev., 2002

2001

Foundations for Circular Compositional Reasoning.

Mahesh Viswanathan, Ramesh Viswanathan

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

1999

A calculus for dynamic customization of virtual environments.

Allen Ginsberg, Ramesh Viswanathan

Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30, 1999

A Conceptual Framework for Network Management Event Correlation and Filtering Systems.

Masum Hasan, Binay Sugla, Ramesh Viswanathan

Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999

1998

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

1996

Standard ML-NJ Weak Polymorphism and Imperative Constructs.

John C. Mitchell, Ramesh Viswanathan

Inf. Comput., 1996

An Interpretation of Objects and Object Types.

Martín Abadi, Luca Cardelli, Ramesh Viswanathan

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract).

John C. Mitchell, Ramesh Viswanathan

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995

Recursion theoretic semantics, fully abstract term models, and imperative constructs.

Ramesh Viswanathan

PhD thesis, 1995

Isolating Side Effects in Sequential Languages.

Jon G. Riecke, Ramesh Viswanathan

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1993

Standard ML-NJ weak polymorphism and imperative constructs

My Hoang, John C. Mitchell, Ramesh Viswanathan

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993