bio
i am a phd student in the department of computer science. my advisor is prof. luca de alfaro. 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, road bicycling, skiing, cooking, music and movies. reproducing panels from comic books used to be a pastime.
research
i work on computational game theory and quantitative systems theory for verification and synthesis. i am working on equivalence and refinement relations in stochastic games, logics that characterize them, algorithms that can be used to compute them and their applications. i am also 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 exploring applications of the theory and algorithms for behavioral equivalence and refinement in new domains.
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. Accepted for publication in FSTTCS 2008: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. PDF. Postscript.
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, J. Benterou, K. Chatterjee, L. de Alfaro, 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.
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.
technical reports
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.
surveys
V. Raman. Pointer Analysis - A Survey. For CS203 - Programming Languages, 2004. PDF, PPT.
talks
Game Relations and Metrics. LICS 2007. PPT.
Game Refinement Relations and Metrics. ABE 2008 (Invited Talk). PDF.
articles
V. Raman. IR03 in the ECSI VHDL Newsletter. Vol 30, 1998. PDF.