Ramesh Viswanathan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2021

Reducing Time-To-Fix For Fuzzer BugsRui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan. ASE 2021: 1126-1130 [doi]

2014

Least upper bounds for probability measures and their applications to abstractionsRohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan. iandc, 234:68-106, 2014. [doi]

2012

2011

Behavior Based Service CompositionFangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan. wsfm 2012: 17-31 [doi]

Expected convergence properties of BGPRamesh Viswanathan, Krishan K. Sabnani, Robert J. Holt, Arun N. Netravali. cn, 55(8):1957-1981, 2011. [doi]

2010

Optimal Resource Allocation in CloudsFangzhe Chang, Jennifer Ren, Ramesh Viswanathan. IEEEcloud 2010: 418-425 [doi]

2009

Optimal Resource Allocation for Batch TestingFangzhe Chang, Jennifer Ren, Ramesh Viswanathan. icst 2009: 91-100 [doi]

2008

Least Upper Bounds for Probability Measures and Their Applications to AbstractionsRohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan. concur 2008: 264-278 [doi]

Portable Call Agent: A model for rapid development and emulation of network servicesRamesh Viswanathan, Thomas L. Wood. bell, 12(4):159-172, 2008. [doi]

2005

2004

A new coding scheme for the noisy-channel Slepian-Wolf problem: separate design and joint decodingRuiyuan Hu, Ramesh Viswanathan, Jing Li. globecom 2004: 51-55 [doi]

A Higher Order Modal Fixed Point LogicMahesh Viswanathan, Ramesh Viswanathan. concur 2004: 512-528 [doi]

2003

2002

Interaction points: exploiting operating system mechanisms for inter-component communicationsDan G. Waddington, Ramesh Viswanathan. sigops, 36(2):19-35, 2002. [doi]

2001

Foundations for Circular Compositional ReasoningMahesh Viswanathan, Ramesh Viswanathan. icalp 2001: 835-847 [doi]

1999

A calculus for dynamic customization of virtual environmentsAllen Ginsberg, Ramesh Viswanathan. mm 1999: 47-56 [doi]

A Conceptual Framework for Network Management Event Correlation and Filtering SystemsMasum Hasan, Binay Sugla, Ramesh Viswanathan. im 1999: 233-246 [doi]

1998

Full Abstraction for First-Order Objects with Recursive Types and SubtypingRamesh Viswanathan. lics 1998: 380-391

1996

An Interpretation of Objects and Object TypesMartín Abadi, Luca Cardelli, Ramesh Viswanathan. POPL 1996: 396-409 [doi]

Standard ML-NJ Weak Polymorphism and Imperative ConstructsJohn C. Mitchell, Ramesh Viswanathan. iandc, 127(2):102-116, 1996.

Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract)John C. Mitchell, Ramesh Viswanathan. icalp 1996: 170-181

1995

Isolating Side Effects in Sequential LanguagesJon G. Riecke, Ramesh Viswanathan. POPL 1995: 1-12

Recursion theoretic semantics, fully abstract term models, and imperative constructsRamesh Viswanathan. PhD thesis, Stanford University, USA, 1995. [doi]

1993

Standard ML-NJ weak polymorphism and imperative constructsMy Hoang, John C. Mitchell, Ramesh Viswanathan. lics 1993: 15-25

Sign in or sign up to see more results.

runs on WebDSL