Ramesh Viswanathan

Murray Hill, NJ, USA

Education

  • Ph.D. in Computer Science, Stanford University, 1995
    Advisor: John C. Mitchell
  • B.Tech. in Computer Science and Engineering, 1990
    Indian Institute of Technology, Kanpur, India

Honors and Awards

  • Rosenbaum Fellowship (in Semantics of Computation), Isaac Newton Institute for Mathematical Sciences, Cambridge University, Cambridge, UK, 1995-1996
  • Arthur L. Samuel Award, Stanford University (awarded to the best doctoral dissertation in the Computer Science Department), 1995
  • President's Gold Medal, Indian Institute of Technology, Kanpur, India, 1990

Selected Articles and Publications

  • Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan. Least Upper Bounds for Probability Measures and their Applications to Abstractions. Information and Computation, Elsevier, 2014.
  • Fangzhe Chang, Peter S. Fales, Moritz Steiner, Ramesh Viswanathan, Thomas J. Williams, Thomas L. Wood. Mitigating High Latency Outliers for Cloud-Based Telecommunication Services. Bell Labs Technical Journal, Volume 17, Issue 2, September 2012.
  • Fanghe Chang, Ramesh Viswanathan, Thomas L. Wood. Placement in Clouds for Application-Level Latency Requirements. Proceedings of the 5th International Conference on Cloud Computing (IEEE CLOUD 2012), June 2012.
  • Adiseshu Hari, Ramesh Viswanathan, T.V. Lakshman, Y.J. Chang. The Personal Cloud – Design, Architecture and Matchmaking Algorithms for Resource Management. Proceedings of Hot-ICE ’12 (USENIX Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services), April 2012.
  • Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan. Behavior Based Service Composition. In Proceedings of the 8th International Conference on Web Services and Formal Methods (WS-FM ’11), Springer, September 2011.
  • Ramesh Viswanathan, Krishan Sabnani, Robert Holt, Arun Netravali. Expected Convergence Properties of BGP. Computer Networks, Volume 55, Issue 8, pp. 1957-1981, Elsevier, June 2011.
  • Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan. Optimal Resource Allocation in Clouds. In Proceedings of the 3rd IEEE International Conference on Cloud Computing (CLOUD 2010).
  • Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan. Optimal Resource Allocation for Batch Testing. In 2nd International Conference on Software Testing, Verification, and Validation (ICST 2009), pages 91-100. IEEE Computer Society, April 2009.
  • Ramesh Viswanathan, Thomas L. Wood. Portable Call Agent: A Model for Rapid Development and Emulation of Network Services. In Bell Labs Technical Journal, General Papers Issue, Volume 12, Number 4, 2008.
  • Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan. Least Upper Bounds for Probability Measures and their Applications to Abstraction. In F. van Breugel and M. Chechik (Eds.) Volume 5201 of Lecture Notes in Computer Science (CONCUR 2008), pages 264-278. Springer, August 2008.
  • Ramesh Viswanathan, Krishan K. Sabnani, Robert G. Holt, Arun N. Netravali.  Expected Convergence Properties of BGP.  In Proceedings of the Thirteenth IEEE International Conference on Network Protocols, November 2005.  
  • Amogh Kavimandan, Wonsuck Lee, Marina Thottan, Ramesh Viswanathan, A. Gokhale.  Network Simulation Via Hybrid Systems Modeling: A Time-Stepped Approach.  In Proceedings of the Fourteenth International Conference on Computer Communications and Networks, October 2005.  
  • Lalita Jagadeesan, Ramesh Viswanathan. Passive Mid-Stream Monitoring of Real-Time Properties. In Proceedings of the Fifth ACM International Conference on Embedded Software, pages 343-352, September 2005.   
  • Amogh Kavimandan, Wonsuck Lee, Marina Thottan, Ramesh Viswanathan, A. Gokhale. SeMA: A Model-driven Multi-Paradigm Integrated Simulation Framework For Analysis of Communication Networks.  OMG's First Annual Model-Integrated Computing Workshop, October 2004.
  • Mahesh Viswanathan, Ramesh Viswanathan. A Higher Order Modal Fixed Point Logic.  In Philippa Gardner, Nobuko Yoshida (Eds.) Volume 3170 of Lecture Notes in Computer Science (CONCUR 2004), pages 512-528, Springer-Verlag, September 2004.
  • Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan. Correct Passive Testing Algorithms and Complete Fault Coverage. In Harmut Konig, Monika Heiner, Adam Wolisz (Eds.) Volume 2767 of Lecture Notes in Computer Science (FORTE 2003), pages 303-318. Springer-Verlag, October 2003.
  • Daniel Waddington, Fangzhe Chang, Ramesh Viswanathan, Bin Yao. Topology discovery for public IPv6 networks.  In ACM SIGCOMM Computer Communication Review, Volume 33, Issue 3, pages 59-68, July 2003.
  • Bin Yao, Ramesh Viswanathan, Fangzhe Chang, Daniel Waddington. Topology Inference in the Presence of Anonymous Routers. In Proceedings of the 22nd Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM), 2003.
  • Daniel Waddington and Ramesh Viswanathan. Interaction Points: Exploiting Operating System Mechanisms for Inter-component Communications.  In ACM Operating Systems Review, Volume 36, No. 2, pages 19-35, 2002.
  • Mahesh Viswanathan and Ramesh Viswanathan.  Foundations for Circular Compositional Reasoning.  In Fernando Orejas, Paul G. Spirakis and Jan van Leeuwen (Eds.) Volume 2076 of Lecture Notes in Computer Science (ICALP 2001), pages 835-847. Springer, July 2001.
  • Allen Ginsberg and Ramesh Viswanathan. A Calculus for Dynamic Customization of Virtual Environments.  In Proceedings of the Seventh ACM International Conference on Multimedia, pages 47-56, November 1999.
  • Masum Hasan, Binay Sugla, Ramesh Viswanathan. A Conceptual Framework for Network Management Event Correlation and Filtering Systems.  In M. Sloman, S. Mazumdar, and E. Lupu (Eds.) Integrated Network Management VI. IEEE Publishing, pages 233-246, May 1999.  
  • Ramesh Viswanathan. Full Abstraction for First-Order Objects with Recursive Types and Subtyping. In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science}, pages 380-393, June 1998.
  • John Mitchell and Ramesh Viswanathan. Standard ML-NJ Weak Polymorphism and Imperative Constructs.  In Information and Computation, Volume 127, No. 2, pages 102-116. Academic Press, 1996.
  • John Mitchell and Ramesh Viswanathan. Effective Models of Polymorphism, Subtyping and Recursion (extended abstract). In F. Meyer auf der Heide and B. Monien (Eds.), volume 1099 of Lecture Notes in Computer Science (ICALP 1996), pages 170--181. Springer-Verlag, 1996.  
  • Martin Abadi, Luca Cardelli, and Ramesh Viswanathan. An Interpretation of Objects and Object Types. In Conference Record of the 23rd ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages, pages 396-409, January 1996.
  • Ramesh Viswanathan. Recursion Theoretic Semantics, Fully Abstract Term Models, and Imperative Constructs. Doctoral Dissertation, Computer Science Department, Stanford University, Stanford, 1995.
  • Jon Riecke and Ramesh Viswanathan. Isolating Side Effects in Sequential Languages.  In Conference Record of the 22nd ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages, pages 1-12,January 1995.  
  • My Hoang, John Mitchell, Ramesh Viswanathan. Standard ML-NJ weak polymorphism and imperative constructs. In Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, pages 15-25, June 1993.