vishwanath.raman

computer science. university of california. santa cruz

engineering 2. baskin school of engineering
+1 (650) 283-4763
vishwa soe ucsc edu

bio

i am a phd candidate in the department of computer science. my advisor is prof. luca de alfaro. i am currently a visiting scientist at ist, austria, where i am working with prof. krishnendu chatterjee. prior to this i was a summer intern at nasa ames research center. i was in industry through 2007. 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.

interests

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

research

i work on game theory and quantitative systems theory for verification and synthesis. i am working on equivalence and refinement relations in stochastic games and their logical characterizations. i also work on the problem of testing and coverage in real-time applications. i was part of the ucsc wiki lab. most recently we measured author contributions quantitatively and implemented a trust system for the wikipedia. i am interested in the theory and applications of stochastic games in the formal analysis of systems.

journal publications

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

conference and workshop publications

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.

other publications

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.

talks

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.

articles

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