| 2023 | DAC | ML-CGRA: An Integrated Compilation Framework to Enable Efficient Machine Learning Acceleration on CGRAs. | Yixuan Luo, Cheng Tan, Nicolas Bohm Agostini, Ang Li, Antonino Tumeo, Nirav Dave, Tong Geng |
| 2015 | CAV | Modular Deductive Verification of Multiprocessor Hardware Designs. | Muralidaran Vijayaraghavan, Adam Chlipala, Arvind, Nirav Dave |
| 2014 | OOPSLA | Smten with satisfiability-based search. | Richard Uhler, Nirav Dave |
| 2013 | CAV | Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries. | Richard Uhler, Nirav Dave |
| 2013 | FCCM | Enabling Hardware Exploration in Software-Defined Networking: A Flexible, Portable OpenFlow Switch. | Asif Khan, Nirav Dave |
| 2013 | MEMOCODE | Modular compilation of guarded atomic actions. | Muralidaran Vijayaraghavan, Nirav Dave, Arvind |
| 2012 | ASPLOS | Automatic generation of hardware/software interfaces. | Myron King, Nirav Dave, Arvind |
| 2011 | MEMOCODE | Verification of microarchitectural refinements in rule-based systems. | Nirav Dave, Michael Katelman, Myron King, Arvind, Jos Meseguer |
| 2010 | MEMOCODE | A design flow based on modular refinement. | Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind |
| 2009 | MEMOCODE | Implementing a fast cartesian-polar matrix interpolator. | Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan |
| 2008 | FM | Getting Formal Verification into Design Flow. | Arvind, Nirav Dave, Michael Katelman |
| 2008 | MEMOCODE | H.264 Decoder: A Case Study in Multiple Design Points. | Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
| 2007 | MEMOCODE | Scheduling as Rule Composition. | Nirav Dave, Arvind, Michael Pellauer |
| 2007 | MEMOCODE | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. | Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan |
| 2007 | MEMOCODE | From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. | Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
| 2006 | MEMOCODE | 802.11a transmitter: a case study in microarchitectural exploration. | Nirav Dave, Michael Pellauer, S. Gerding, Arvind |
| 2005 | MEMOCODE | Automatic synthesis of cache-coherence protocol processors using Bluespec. | Nirav Dave, Man Cheuk Ng, Arvind |
| 2004 | ICCAD | High-level synthesis: an essential ingredient for designing complex ASICs. | Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave |
| 2004 | MEMOCODE | Designing a reorder buffer in Bluespec. | Nirav Dave |