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 magellan, a formal property verification product. my professional experience includes transaction automation, workflow management and electronic design automation. a notable past product that i worked on helped sgi go paperless, as early as 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 and algorithms that can be used to compute them. 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 the application of verification, synthesis and state space reduction algorithms in new domains.
journal publications
L. de Alfaro, R. Majumdar, V. Raman, M. Stoelinga. Game Refinement Relations and Metrics. Accepted for publication in LMCS: Logical Methods in Computer Science, 2008. PDF, Postscript.
conference and workshop publications
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
B.T. Adler, L. de Alfaro, I. Pye, V. Raman. Measuring Author Contribution to the Wikipedia. Technical Report UCSC-SOE-08-08, School of Engineering, University of California, Santa Cruz, CA, USA. May 2008. PDF
B.T. Adler, J. Benterou, K. Chatterjee, L. de Alfaro, I. Pye, V. Raman. Assigning Trust To Wikipedia Content. Technical Report UCSC-CRL-07-09, School of Engineering, University of California, Santa Cruz, CA, USA. November 2007. PDF
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
surveys
V. Raman. Pointer Analysis - A Survey. For CS203 - Programming Languages, 2004. PDF, PPT.
articles
V. Raman. IR03 in the ECSI VHDL Newsletter. Vol 30, 1998. PDF.