| 2025 | VMCAI | Constructing Trustworthy Smart Contracts. | Devora Chait-Roth, Kedar S. Namjoshi |
| 2025 | VMCAI | Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications. | Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi |
| 2024 | SIGCOMM | Algorithms for In-Place, Consistent Network Update. | Kedar S. Namjoshi, Sougol Gheissi, Krishan K. Sabnani |
| 2022 | FMCAD | Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. | Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi |
| 2022 | TACAS | Synthesis of Compact Strategies for Coordination Programs. | Kedar S. Namjoshi, Nisarg Patel |
| 2021 | ICRA | The Resh Programming Language for Multirobot Orchestration. | Martin Carroll, Kedar S. Namjoshi, Itai Segall |
| 2021 | VMCAI | A Self-certifying Compilation Framework for WebAssembly. | Kedar S. Namjoshi, Anton Xue |
| 2020 | VMCAI | Witnessing Secure Compilation. | Kedar S. Namjoshi, Lucas M. Tabajara |
| 2018 | CAV | Synthesis of Asynchronous Reactive Programs from Temporal Specifications. | Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2018 | SAS | The Impact of Program Transformations on Static Program Analysis. | Kedar S. Namjoshi, Zvonimir Pavlinovic |
| 2018 | TACAS | Symmetry Reduction for the Local Mu-Calculus. | Kedar S. Namjoshi, Richard J. Trefler |
| 2017 | RV | Witnessing Network Transformations. | Chaoqiang Deng, Kedar S. Namjoshi |
| 2017 | SAS | Securing the SSA Transform. | Chaoqiang Deng, Kedar S. Namjoshi |
| 2016 | QRS | Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers. | Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck |
| 2016 | SAS | Securing a Compiler Transformation. | Chaoqiang Deng, Kedar S. Namjoshi |
| 2016 | SAS | Loopy: Programmable and Formally Verified Loop Transformations. | Kedar S. Namjoshi, Nimit Singhania |
| 2016 | TACAS | Parameterized Compositional Model Checking. | Kedar S. Namjoshi, Richard J. Trefler |
| 2015 | FORTE | Loop Freedom in AODVv2. | Kedar S. Namjoshi, Richard J. Trefler |
| 2015 | TACAS | Analysis of Dynamic Process Networks. | Kedar S. Namjoshi, Richard J. Trefler |
| 2015 | VMCAI | From Verification to Optimizations. | Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck |
| 2013 | RV | A Witnessing Compiler: A Proof of Concept. | Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck |
| 2013 | SAS | Witnessing Program Transformations. | Kedar S. Namjoshi, Lenore D. Zuck |
| 2013 | VMCAI | Uncovering Symmetries in Irregular Process Networks. | Kedar S. Namjoshi, Richard J. Trefler |
| 2012 | VMCAI | Local Symmetry and Compositional Verification. | Kedar S. Namjoshi, Richard J. Trefler |
| 2011 | CAV | Formalization and Automated Verification of RESTful Behavior. | Uri Klein, Kedar S. Namjoshi |
| 2011 | PODC | The inherent difficulty of timely primary-backup replication. | Pramod V. Koppol, Kedar S. Namjoshi, Thanos Stathopoulos, Gordon T. Wilfong |
| 2010 | CAV | A Dash of Fairness for Compositional Reasoning. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | CAV | SPLIT: A Compositional LTL Verifier. | Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar |
| 2010 | INFOCOM | Robust and Fast Pattern Matching for Intrusion Detection. | Kedar S. Namjoshi, Girija J. Narlikar |
| 2008 | CAV | Local Proofs for Linear-Time Properties of Concurrent Programs. | Ariel Cohen, Kedar S. Namjoshi |
| 2008 | SAS | Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. | Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
| 2007 | CAV | Local Proofs for Global Safety Properties. | Ariel Cohen, Kedar S. Namjoshi |
| 2007 | VMCAI | Symmetry and Completeness in the Analysis of Parameterized Systems. | Kedar S. Namjoshi |
| 2005 | CAV | Incremental Algorithms for Inter-procedural Analysis of Safety Properties. | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |
| 2005 | VMCAI | Automata as Abstractions. | Dennis Dams, Kedar S. Namjoshi |
| 2004 | CAV | An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. | Kedar S. Namjoshi |
| 2004 | LICS | The Existence of Finite Abstractions for Branching Time Model Checking. | Dennis Dams, Kedar S. Namjoshi |
| 2003 | CAV | Abstraction for Branching Time Properties. | Kedar S. Namjoshi |
| 2003 | CONCUR | Abstract Patterns of Compositional Reasoning. | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
| 2003 | VMCAI | Shape Analysis through Predicate Abstraction and Model Checking. | Dennis Dams, Kedar S. Namjoshi |
| 2003 | VMCAI | Lifting Temporal Proofs through Abstractions. | Kedar S. Namjoshi |
| 2002 | FORTE | Visual Specifications for Modular Reasoning about Asynchronous Systems. | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
| 2001 | CAV | Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. | Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi |
| 2001 | CAV | Certifying Model Checkers. | Kedar S. Namjoshi |
| 2001 | TACAS | Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
| 2000 | CAV | Syntactic Program Transformations for Automatic Abstraction. | Kedar S. Namjoshi, Robert P. Kurshan |
| 2000 | CAV | On the Competeness of Compositional Reasoning. | Kedar S. Namjoshi, Richard J. Trefler |
| 2000 | FMCAD | Model Checking Synchronous Timing Diagrams. | Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi |
| 1999 | CAV | Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. | Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers |
| 1999 | CAV | Efficient Analysis of Cyclic Definitions. | Kedar S. Namjoshi, Robert P. Kurshan |
| 1998 | CAV | Verification of Parameterized Bus Arbitration Protocol. | E. Allen Emerson, Kedar S. Namjoshi |
| 1998 | LICS | On Model Checking for Non-Deterministic Infinite-State Systems. | E. Allen Emerson, Kedar S. Namjoshi |
| 1996 | CAV | Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). | E. Allen Emerson, Kedar S. Namjoshi |
| 1995 | POPL | Reasoning about Rings. | E. Allen Emerson, Kedar S. Namjoshi |