V
Vishwanath Raman
Researcher at University of California, Santa Cruz
Publications - 25
Citations - 840
Vishwanath Raman is an academic researcher from University of California, Santa Cruz. The author has contributed to research in topics: Bisimulation & Combinatorial game theory. The author has an hindex of 14, co-authored 25 publications receiving 799 citations. Previous affiliations of Vishwanath Raman include Carnegie Mellon University & FireEye, Inc..
Papers
More filters
Proceedings ArticleDOI
Assigning trust to Wikipedia content
TL;DR: A system that computes quantitative values of trust for the text in Wikipedia articles; these trust values provide an indication of text reliability, and it is shown that text labeled as low-trust has a significantly higher probability of being edited in the future than text labeling as high-trust.
Proceedings ArticleDOI
Measuring author contributions to the Wikipedia
TL;DR: The problem of measuring user contributions to versioned, collaborative bodies of information, such as wikis, is considered and various alternative criteria that take into account the quality of a contribution, in addition to the quantity are considered.
Book ChapterDOI
Symbolic learning of component interfaces
TL;DR: The technique, named Psyco (Predicate-based SYmbolic COmpositional reasoning), employs a novel combination of the L* automata learning algorithm with symbolic execution, generating interfaces that capture whether a sequence of method invocations is safe, unsafe, or its effect on the component state is unresolved by the symbolic execution engine.
Book ChapterDOI
JDart: A Dynamic Symbolic Analysis Framework
Kasper Søe Luckow,Marko Dimjašević,Dimitra Giannakopoulou,Falk Howar,Malte Isberner,Temesghen Kahsai,Zvonimir Rakamarić,Vishwanath Raman +7 more
TL;DR: JDart is described, a dynamic symbolic analysis framework for Java that is able to handle NASA software with constraints containing bit operations, floating point arithmetic, and complex arithmetic operations e.g., trigonometric and nonlinear.
Proceedings ArticleDOI
Game Relations and Metrics
TL;DR: It is claimed that relations and metrics provide the canonical extensions to games, of the classical notion of bisimulation for transition systems, and this work introduces equivalences and metrics for two-player game structures, and shows that they characterize the difference in probability of winning games whose goals are expressed in the quantitative mu-calculus.