Kedar S. Namjoshi

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 22

Top Topics

Computer Programs

Linear Temporal Logic

Fukunaga Koontz

Programming Language

Top Venues

Publications

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