• Synthesis of Compact Strategies for Coordination Programs
  • Kedar S. Namjoshi, Nisarg Patel
  • TACAS 2022
  • The Resh Programming Language for Multirobot Orchestration
  • Martin Carroll, Kedar S. Namjoshi, Itai Segall
  • ICRA 2021
  • A Self-certifying Compilation Framework for WebAssembly [Whisk]
  • Kedar S. Namjoshi, Anton Xue
  • VMCAI 2021
  • Synthesis of coordination programs from linear temporal specifications
  • Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
  • POPL 2020
  • Witnessing Secure Compilation
  • Kedar S. Namjoshi, Lucas M. Tabajara
  • VMCAI 2020
  • Securing a Compiler Transformation
  • Chaoqiang Deng, Kedar S. Namjoshi
  • Formal Methods in System Design, 2018 (Special Issue for SAS 2016)
  • The Impact of Program Transformations on Static Program Analysis
  • Kedar S. Namjoshi, Zvonimir Pavlinovic
  • SAS 2018 (co-winner of the Radhia Cousot Award )
  • Synthesis Of Asynchronous Reactive Programs From Temporal Specifications
  • Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
  • CAV 2018
  • Symmetry Reduction for the Local Mu-Calculus
  • Kedar S. Namjoshi, Richard J. Trefler
  • TACAS 2018
  • Witnessing Network Transformations
  • Chaoqiang Deng, Kedar S. Namjoshi
  • RV 2017
  • Securing the SSA Transform
  • Chaoqiang Deng, Kedar S. Namjoshi
  • SAS 2017
  • 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
  • QRS 2016
  • Securing a Compiler Transformation
  • Chaoqiang Deng, Kedar S. Namjoshi
  • SAS 2016
  • Loopy: Programmable and Formally Verified Loop Transformations
  • Kedar S. Namjoshi, Nimit Singhania
  • SAS 2016
  • Parameterized Compositional Model Checking
  • Kedar S. Namjoshi, Richard J. Trefler
  • TACAS 2016
  • Loop Freedom in AODVv2
  • Kedar S. Namjoshi, Richard J. Trefler
  • FORTE 2015
  • Analysis of Dynamic Process Networks
  • Kedar S. Namjoshi, Richard J. Trefler
  • TACAS 2015
  • From Verification to Optimizations
  • Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck
  • VMCAI 2015
  • Witnessing An SSA Transformation
  • Kedar S. Namjoshi
  • VeriSure Workshop, CAV 2014
  • A Witnessing Compiler: A Proof of Concept
  • Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck
  • RV 2013
  • Witnessing Program Transformations
  • Kedar S. Namjoshi, Lenore D. Zuck
  • SAS 2013
  • Uncovering Symmetries in Irregular Process Networks
  • Kedar S. Namjoshi, Richard J. Trefler
  • VMCAI 2013
  • Model Checking in Bits and Pieces
  • Kedar S. Namjoshi
  • Festschrift for Dave Schmidt 2013
  • The Inherent Difficulty of Timely Primary-Backup Replication
  • Pramod V. Koppol, Kedar S. Namjoshi, Thanos Stathopoulos, Gordon T. Wilfong
  • Bell Labs Technical Journal 2012
  • Local Symmetry and Compositional Verification
  • Kedar S. Namjoshi, Richard J. Trefler
  • VMCAI 2012
  • Formalization and Automated Verification of RESTful Behavior
  • Uri Klein, Kedar S. Namjoshi
  • CAV 2011
  • The inherent difficulty of timely primary-backup replication
  • Pramod V. Koppol, Kedar S. Namjoshi, Thanos Stathopoulos, Gordon T. Wilfong
  • PODC 2011
  • On the completeness of compositional reasoning methods
  • Kedar S. Namjoshi, Richard J. Trefler
  • ACM Trans. Comput. Log. 2010
  • Simple and fast biased locks
  • Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards
  • PACT 2010
  • A Dash of Fairness for Compositional Reasoning
  • Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
  • CAV 2010
  • SPLIT: A Compositional LTL Verifier
  • Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
  • CAV 2010
  • Parallelizing a Symbolic Compositional Model-Checking Algorithm
  • Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
  • Haifa Verification Conference 2010
  • Robust and Fast Pattern Matching for Intrusion Detection
  • Kedar S. Namjoshi, Girija J. Narlikar
  • INFOCOM 2010
  • Telco meets the Web: Programming shared-experience services
  • Robert M. Arlein, Dennis Dams, Richard B. Hull, John P. Letourneau, Kedar S. Namjoshi
  • Bell Labs Technical Journal 2009
  • Local proofs for global safety properties
  • Ariel Cohen, Kedar S. Namjoshi
  • Formal Methods in System Design 2009
  • Local Proofs for Linear-Time Properties of Concurrent Programs
  • Ariel Cohen, Kedar S. Namjoshi
  • CAV 2008
  • Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
  • Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett
  • SAS 2008
  • Local Proofs for Global Safety Properties
  • Ariel Cohen, Kedar S. Namjoshi
  • CAV 2007
  • Symmetry and Completeness in the Analysis of Parameterized Systems
  • Kedar S. Namjoshi
  • VMCAI 2007
  • Incremental Algorithms for Inter-procedural Analysis of Safety Properties
  • Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
  • CAV 2005
  • Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
  • Dennis Dams, Kedar S. Namjoshi
  • FMCO 2005
  • Automata as Abstractions
  • Dennis Dams, Kedar S. Namjoshi
  • VMCAI 2005
  • An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
  • Kedar S. Namjoshi
  • CAV 2004
  • The Existence of Finite Abstractions for Branching Time Model Checking
  • Dennis Dams, Kedar S. Namjoshi
  • LICS 2004
  • On Reasoning About Rings
  • E. Allen Emerson, Kedar S. Namjoshi
  • Int. J. Found. Comput. Sci. 2003
  • Feature specification and automated conflict detection
  • Amy P. Felty, Kedar S. Namjoshi
  • ACM Trans. Softw. Eng. Methodol. 2003
  • Abstraction for Branching Time Properties
  • Kedar S. Namjoshi
  • CAV 2003
  • Abstract Patterns of Compositional Reasoning
  • Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
  • CONCUR 2003
  • Lifting Temporal Proofs through Abstractions
  • Kedar S. Namjoshi
  • VMCAI 2003
  • Shape Analysis through Predicate Abstraction and Model Checking
  • Dennis Dams, Kedar S. Namjoshi
  • VMCAI 2003
  • Visual Specifications for Modular Reasoning about Asynchronous Systems
  • Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
  • FORTE 2002
  • Certifying Model Checkers
  • Kedar S. Namjoshi
  • CAV 2001
  • Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams
  • Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
  • CAV 2001
  • Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
  • Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
  • TACAS 2001
  • Environment modeling and language universality
  • Richard Raimi, Ramin Hojati, Kedar S. Namjoshi
  • ACM Trans. Design Autom. Electr. Syst. 2000
  • On the Competeness of Compositional Reasoning
  • Kedar S. Namjoshi, Richard J. Trefler
  • CAV 2000
  • Syntactic Program Transformations for Automatic Abstraction
  • Kedar S. Namjoshi, Robert P. Kurshan
  • CAV 2000
  • Feature Specification and Automatic Conflict Detection
  • Amy P. Felty, Kedar S. Namjoshi
  • FIW 2000
  • Model Checking Synchronous Timing Diagrams
  • Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
  • FMCAD 2000
  • Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
  • Panagiotis Manolios, Kedar S. Namjoshi, Robert Sumners
  • CAV 1999
  • Efficient Analysis of Cyclic Definitions
  • Kedar S. Namjoshi, Robert P. Kurshan
  • CAV 1999
  • Efficient Decompositional Model Checking for Regular Timing Diagrams
  • Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
  • CHARME 1999
  • Ameliorating the State Explosion Problem
  • Kedar S. Namjoshi
  • Ph.D. Thesis, The University of Texas at Austin, 1998
  • Verification of a Parameterized Bus Arbitration Protocol
  • E. Allen Emerson, Kedar S. Namjoshi
  • CAV 1998
  • On Model Checking for Non-Deterministic Infinite-State Systems
  • E. Allen Emerson, Kedar S. Namjoshi
  • LICS 1998
  • A Simple Characterization of Stuttering Bisimulation
  • Kedar S. Namjoshi
  • FSTTCS 1997
  • Automatic Verification of Parameterized Synchronous Systems (Extended Abstract)
  • E. Allen Emerson, Kedar S. Namjoshi
  • CAV 1996
  • Reasoning about Rings
  • E. Allen Emerson, Kedar S. Namjoshi
  • POPL 1995