vishwanath.raman

i completed my phd in the department of computer science under the guidance of prof. luca de alfaro. i am now a research scientist at carnegie mellon silicon valley. i work at the nasa ames research center on the verification and validation of flight critical systems. before starting my phd, i was in industry. i spent nine years working for synopsys in their verification group, initially on vhdl simulation and then on formal property verification. my professional experience includes transaction automation, workflow management and electronic design automation. a notable past product that i worked on helped sgi go paperless and on the intranet in 1995. during my phd, i was a visiting researcher at ist austria, where i worked with prof. krishnendu chatterjee during fall 2009. prior to this i was a summer intern at nasa ames research center.

my interests include photography (portfolio, photo.net), road bicycling, skiing, cooking, music and movies. reproducing panels from comic books used to be a pastime.

i work on game theory and quantitative systems theory for verification and synthesis. on the theoretical side i am working on equivalence and refinement relations in stochastic games, their quantitative generalizations and their logical characterizations. on the application side i am working on the use of game theory for the synthesis of resource managers for multi-threaded programs and for the formal analysis of security protocols. i was part of the ucsc wiki lab where we measured author contributions quantitatively and implemented a trust system for the wikipedia.

K. Chatterjee, L. de Alfaro, R. Majumdar, V. Raman. Algorithms for Game Metrics. In LMCS: Logical Methods in Computer Science, 2010. PDF, Postscript.

L. de Alfaro, R. Majumdar, V. Raman, M. Stoelinga. Game Refinement Relations and Metrics. In LMCS: Logical Methods in Computer Science, 2008. PDF, Postscript.

D. Giannakopoulou, Z. Rakamaric, V. Raman. Symbolic Learning of Component Interfaces. Accepted for publication in SAS 2012: Static Analysis Symposium. PDF, Postscript.

M. Davies, C. Pasareanu, V. Raman. Symbolic Execution Enhanced System Testing. Accepted for publication in VSTTE 2012: Verified Software: Theories, Tools and Experiments. PDF, Postscript.

K. Chatterjee, V. Raman. Synthesizing Protocols for Digital Contract Signing. Accepted for publication in VMCAI 2012: Verification, Model Checking and Abstract Interpretation. PDF, Postscript.

K. Chatterjee, L. de Alfaro, V. Raman, C. Sanchez. Analyzing the Impact of Change in Multi-threaded Programs. In FASE 2010: Fundamental Approaches to Software Engineering. PDF, Postscript.

K. Chatterjee, L. de Alfaro, R. Majumdar, V. Raman. Algorithms for Game Metrics. In FSTTCS 2008: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. PDF, Postscript.
A full version of this paper is on arxiv

B.T. Adler, L. de Alfaro, I. Pye, V. Raman. Measuring Author Contributions to the Wikipedia. In WikiSym 2008: ACM SIGWEB International Symposium on Wikis. PDF, Postscript.

B.T. Adler, K. Chatterjee, L. de Alfaro, M. Faella, I. Pye, V. Raman. Assigning Trust To Wikipedia Content. In WikiSym 2008: ACM SIGWEB International Symposium on Wikis. PDF, Postscript.

L. de Alfaro, R. Majumdar, V. Raman, M. Stoelinga. Game Relations and Metrics. In LICS 2007: IEEE Symp. on Logic in Computer Science, IEEE Computer Society, 2007. PDF, Postscript, PPT.
LMCS Selected Papers of the Conference ''Logic in Computer Science 2007''.

B. Thomas Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy. Ticc: A Tool for Interface Compatibility and Composition. In CAV 06: Computer-Aided Verification, LNCS, Springer-Verlag, 2006. PDF, Postscript.

L. de Alfaro, M. Faella, R. Majumdar, V. Raman. Code Aware Resource Management. In EMSOFT 05: Fifth ACM International Conference on Embedded Software, ACM Press, 2005. PDF, Postscript.

V. Raman, A. N. D. Zamfirescu. OBDD extraction from VHDL Gate Level Descriptions at Design Elaboration. In VIUF 99: VHDL International Users Forum Fall Workshop, 1999. PDF.

V. Raman. Game Relations, Metrics and Refinements. Thesis. 2010. PDF.

K. Chatterjee, V. Raman. Assume-Guarantee Synthesis for Digital Contract Signing. CoRR, abs/1004.2697, 2010. on arxiv

K. Chatterjee, L. de Alfaro, V. Raman, C. Sanchez. Analyzing the Impact of Change in Multi-threaded Programs. Technical Report UCSC-SOE-09-25, School of Engineering, University of California, Santa Cruz, CA, USA. August 2009. PDF, Postscript.

V. Raman. Relations, Metrics and Applications of Stochastic Games. Advancement Proposal, 2009. PDF.

K. Chatterjee, L. de Alfaro, R. Majumdar, V. Raman. Algorithms for Game Metrics. Technical Report UCSC-SOE-08-16, School of Engineering, University of California, Santa Cruz, CA, USA. August 2008. PDF, Postscript.

B. Thomas Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy. Ticc: A Tool for Interface Compatibility and Composition. Technical Report UCSC-CRL-06-01, School of Engineering , University of California, Santa Cruz, 2006. PDF

V. Raman. Pointer Analysis - A Survey. For CS203 - Programming Languages, 2004. PDF, PPT.

Game Relations, Metrics and Refinements. Dissertation Defense. PDF.

ASSERT - A Symbolic Simulation Enhanced Runtime Tester. Intern Presentation. PDF.

Relations, Metrics and Applications of Stochastic Games. Advancement Talk. PDF.

Game Refinement Relations and Metrics. ABE 2008 (Invited Talk). PDF.

Game Relations and Metrics. LICS 2007. PPT.

V. Raman. IR03 in the ECSI VHDL Newsletter. Vol 30, 1998. PDF.