Vishwanath Raman

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.

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.

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.

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.

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.