|
Graduate Student Computer Engineering Department Jack Baskin School of Engineering University of California, Santa Cruz Lab: E2, 307
|
Welcome to my home! Thank you for visiting my homepage. I am in fourth year of Ph.D. program under the supervision of Dr. Luca de Alfaro. My expected graduation date is Winter 2009.
I spent the summer of 2007 in NEC Research Lab, USA where my mentor was Chao Wang . I spent the summer of 2005 in Foundations of Software Engineering (FSE) group at Microsoft Research Lab, Redmond, USA where my mentor was Margus Veanes .
I did my undergraduate studies from Computer Science and Engineering at Indian Institue of Technology, Kharagpur. After that I joined for M.S. Program in CS, where my thesis advisor was Dr. Pallab Dasgupta and Dr. P.P. Chakrabarti. I was a part of Formal Verification group at IIT-KGP from 2002-04.
| Current Research |
My current reseach topic is abstraction in game theory. Since games is useful in modeling reactive systems (including software and hardware), abstraction in game is a very promising idea. If you feel interested, please read my papers.
| Research Interests |
- Formal Methods for System Design, Verification and Testing
- Abstraction and refinement based verification
- Model checking timed systems
- Game Theory
- Interface Theory for Component-based Design
- Application of SMT Theories for Efficient Model Checking
- Design and Analysis of Algorithms
- Compiler Design and Optimizations
| Publications |
P. Roy, D. Parker, G. Norman, L. deAlfaro. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. Accepted in QEST 2008 at Saint Malo, France. Technical report : UCSC-SOE-08-05, School of Engineering, University of California, Santa Cruz, 2008.PDF
J. Helander, R. Serg, M.Veanes and P. Roy. Adapting Futures: Scalability for Real-World Computing. RTSS 2007 in Tuscon, Arizona, USA PDF
L. deAlfaro, P.Roy. Solving Games via Three-Valued Abstraction Refinement.CONCUR 2007 in Lisbon, Portugal PDF
L. de Alfaro, P. Roy. Magnifying-Lens Abstraction for Markov Decision Processes. Computer Aided Verification (CAV07) in Berlin, Germany.PDF Technical report : ucsc-crl-06-15, School of Engineering, University of California, Santa Cruz, 2006. Postscript PDF
Margus Veanes, Pritam Roy and Colin Campbell, "Online Testing with Reinforcement Learning", in Formal Approaches to Testing and Runtime Verification (FATES/RV06), Seattle, August 15 - 16, 2006, pp. 240-253 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", in Computer Aided Verification (CAV06) in Seattle, WA, pp 59-62.
Wolfgang Grieskamp, Nicolas Kicillof, Colin Campbell, Pritam Roy, Wolfram Schulte, Nikolai Tillman, Margus Veanes , "Behavioral Composition in Symbolic Domains", 7th International Workshop on Aspect-Oriented Modeling - 2005. PDF
L.de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, P. Roy, M. Sorea. Sociable Interfaces. In FROCOS 2005: 5th International Workshop on Frontiers of Combining Systems, LNAI 3717, Springer-Verlag, 2005. PDF
-
Roy, P., Dasgupta, P., Chakrabarti, P.P., "An assertion Based Language for Generating Test Sequences for Complex Temporal Behavior", in 8-th VLSI Design and Test Workshop (VDAT 2004) in Mysore, India, August 2004, pp. 482-491. PDF
