| 2014 | ATVA | Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom. | Divjyot Sethi, Muralidhar Talupur, Sharad Malik |
| 2011 | FMCAD | Hardware model checking: status, challenges, and opportunities. | Muralidhar Talupur |
| 2011 | TACAS | Biased Model Checking Using Flows. | Muralidhar Talupur, Hyojung Han |
| 2008 | TACAS | Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2006 | TACAS | Untitled record | Malay K. Ganai, Muralidhar Talupur, Aarti Gupta |
| 2006 | VMCAI | Environment Abstraction for Parameterized Verification. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
| 2004 | CAV | Range Allocation for Separation Logic. | Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli |
| 2004 | CONCUR | Verification by Network Decomposition. | Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith |
| 2004 | TACAS | Revisiting Positive Equality. | Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur |
| 2003 | CAV | Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. | Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang |
| 2003 | MEMOCODE | High Level Verification of Control Intensive Systems Using Predicate Abstraction. | Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang |
| 2003 | SAT | SAT Based Predicate Abstraction for Hardware Verification. | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang |