| 2012 | PPoPP | GKLEE: concolic verification and test generation for GPUs. | Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan |
| 2011 | CAV | KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. | Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan |
| 2011 | FASE | Automated Driver Generation for Analysis of Web Applications. | Oksana Tkachuk, Sreeranga P. Rajan |
| 2011 | ICSoft | Client-tier Validation of Dynamic Web Applications. | Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan |
| 2011 | ICSoft | Automated System Testing of Dynamic Web Applications. | Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita |
| 2009 | ICSE | WEAVE: WEb Applications Validation Environment. | Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara |
| 2008 | APLAS | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. | Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
| 2006 | ISSTA | Application of automated environment generation to commercial software. | Oksana Tkachuk, Sreeranga P. Rajan |
| 2002 | VLSID | Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). | Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan |
| 2000 | DAC | Automatic formal verification of DSP software. | David W. Currie, Alan J. Hu, Sreeranga P. Rajan |
| 1999 | CAV | Model Checking Based on Sequential ATPG. | Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita |
| 1998 | FM | Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. | Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu |
| 1998 | VLSID | Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design. | Sreeranga P. Rajan, Masahiro Fujita |
| 1997 | VLSID | Industrial Strength Formal Verification Techniques for Hardware Designs. | Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas |