Kedar S. Namjoshi

89 papers A* 23A 3B 24C 3Journal 22Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Consistent Updates for Scalable Microservices. Proc. ACM Program. Lang. Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies
2025	J	`jnl`	Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework. CoRR Yuan Xia, Akanksha Atrey, Fadoua Khmaissia, Kedar S. Namjoshi
2025	J	`jnl`	Consistent Updates for Scalable Microservices. CoRR Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies
2025	—	`conf`	Constructing Trustworthy Smart Contracts. VMCAI (2) Devora Chait-Roth, Kedar S. Namjoshi
2025	J	`jnl`	It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. Commun. ACM David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025	J	`jnl`	It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols. CoRR David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025	J	`jnl`	Program Correctness through Self-Certification. Commun. ACM Kedar S. Namjoshi, Lenore D. Zuck
2025	—	`conf`	Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications. VMCAI (2) Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi
2024	—	`conf`	A Two-phase Protocol for Atomic Multi-chain Transactions. DIN@CoNEXT Huaixi Lu, Akshay Jajoo, Kedar S. Namjoshi
2024	A*	`conf`	Algorithms for In-Place, Consistent Network Update. SIGCOMM Kedar S. Namjoshi, Sougol Gheissi, Krishan K. Sabnani
2024	J	`jnl`	Atomicity and Abstraction for Cross-Blockchain Interactions. CoRR Huaixi Lu, Akshay Jajoo, Kedar S. Namjoshi
2024	J	`jnl`	Constructing Trustworthy Smart Contracts. CoRR Devora Chait-Roth, Kedar S. Namjoshi
2022	—	`conf`	Synthesis of Compact Strategies for Coordination Programs. TACAS (1) Kedar S. Namjoshi, Nisarg Patel
2022	B	`conf`	Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. FMCAD Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi
2021	B	`conf`	A Self-certifying Compilation Framework for WebAssembly. VMCAI Kedar S. Namjoshi, Anton Xue
2021	B	`ed.`	Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings SAS Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi
2021	A*	`conf`	The Resh Programming Language for Multirobot Orchestration. ICRA Martin Carroll, Kedar S. Namjoshi, Itai Segall
2021	J	`jnl`	The Resh Programming Language for Multirobot Orchestration. CoRR Martin Carroll, Kedar S. Namjoshi, Itai Segall
2020	J	`jnl`	Synthesis of coordination programs from linear temporal specifications. Proc. ACM Program. Lang. Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2020	B	`conf`	Witnessing Secure Compilation. VMCAI Kedar S. Namjoshi, Lucas M. Tabajara
2019	J	`jnl`	Symmetry Reduction for the Local Mu-Calculus. CoRR Kedar S. Namjoshi, Richard J. Trefler
2019	J	`jnl`	Synthesis of coordination programs from linear temporal logic. CoRR Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2019	J	`jnl`	Witnessing Secure Compilation. CoRR Kedar S. Namjoshi, Lucas M. Tabajara
2018	—	`ch.`	Compositional Reasoning. Handbook of Model Checking Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu
2018	J	`jnl`	Securing a compiler transformation. Formal Methods Syst. Des. Chaoqiang Deng, Kedar S. Namjoshi
2018	—	`conf`	Symmetry Reduction for the Local Mu-Calculus. TACAS (2) Kedar S. Namjoshi, Richard J. Trefler
2018	—	`conf`	Synthesis of Asynchronous Reactive Programs from Temporal Specifications. CAV (1) Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar
2018	B	`conf`	The Impact of Program Transformations on Static Program Analysis. SAS Kedar S. Namjoshi, Zvonimir Pavlinovic
2017	B	`conf`	Securing the SSA Transform. SAS Chaoqiang Deng, Kedar S. Namjoshi
2017	B	`conf`	Witnessing Network Transformations. RV Chaoqiang Deng, Kedar S. Namjoshi
2016	C	`conf`	Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers. QRS Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck
2016	B	`conf`	Loopy: Programmable and Formally Verified Loop Transformations. SAS Kedar S. Namjoshi, Nimit Singhania
2016	A	`conf`	Parameterized Compositional Model Checking. TACAS Kedar S. Namjoshi, Richard J. Trefler
2016	B	`conf`	Securing a Compiler Transformation. SAS Chaoqiang Deng, Kedar S. Namjoshi
2015	A	`conf`	Analysis of Dynamic Process Networks. TACAS Kedar S. Namjoshi, Richard J. Trefler
2015	B	`conf`	From Verification to Optimizations. VMCAI Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck
2015	C	`conf`	Loop Freedom in AODVv2. FORTE Kedar S. Namjoshi, Richard J. Trefler
2013	B	`conf`	A Witnessing Compiler: A Proof of Concept. RV Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck
2013	—	`conf`	Model Checking in Bits and Pieces. Festschrift for Dave Schmidt Kedar S. Namjoshi
2013	B	`conf`	Uncovering Symmetries in Irregular Process Networks. VMCAI Kedar S. Namjoshi, Richard J. Trefler
2013	B	`conf`	Witnessing Program Transformations. SAS Kedar S. Namjoshi, Lenore D. Zuck
2012	B	`conf`	Local Symmetry and Compositional Verification. VMCAI Kedar S. Namjoshi, Richard J. Trefler
2012	J	`jnl`	The Inherent Difficulty of Timely Primary-Backup Replication. Bell Labs Tech. J. Pramod V. Koppol, Kedar S. Namjoshi, Thanos Stathopoulos, Gordon T. Wilfong
2011	A*	`conf`	Formalization and Automated Verification of RESTful Behavior. CAV Uri Klein, Kedar S. Namjoshi
2011	—	`ed.`	Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Haifa Verification Conference Kedar S. Namjoshi, Andreas Zeller, Avi Ziv
2011	A*	`conf`	The inherent difficulty of timely primary-backup replication. PODC Pramod V. Koppol, Kedar S. Namjoshi, Thanos Stathopoulos, Gordon T. Wilfong
2010	A*	`conf`	A Dash of Fairness for Compositional Reasoning. CAV Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
2010	J	`jnl`	On the completeness of compositional reasoning methods. ACM Trans. Comput. Log. Kedar S. Namjoshi, Richard J. Trefler
2010	—	`conf`	Parallelizing a Symbolic Compositional Model-Checking Algorithm. Haifa Verification Conference Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova
2010	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Kedar S. Namjoshi, Tomohiro Yoneda
2010	A*	`conf`	Robust and Fast Pattern Matching for Intrusion Detection. INFOCOM Kedar S. Namjoshi, Girija J. Narlikar
2010	A*	`conf`	SPLIT: A Compositional LTL Verifier. CAV Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar
2010	B	`conf`	Simple and fast biased locks. PACT Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards
2009	J	`jnl`	Local proofs for global safety properties. Formal Methods Syst. Des. Ariel Cohen, Kedar S. Namjoshi
2009	J	`jnl`	Telco meets the Web: Programming shared-experience services. Bell Labs Tech. J. Robert M. Arlein, Dennis Dams, Richard B. Hull, John P. Letourneau, Kedar S. Namjoshi
2008	A*	`conf`	Local Proofs for Linear-Time Properties of Concurrent Programs. CAV Ariel Cohen, Kedar S. Namjoshi
2008	B	`conf`	Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett
2007	B	`ed.`	Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings ATVA Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura
2007	A*	`conf`	Local Proofs for Global Safety Properties. CAV Ariel Cohen, Kedar S. Namjoshi
2007	B	`conf`	Symmetry and Completeness in the Analysis of Parameterized Systems. VMCAI Kedar S. Namjoshi
2006	B	`ed.`	Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings VMCAI E. Allen Emerson, Kedar S. Namjoshi
2005	B	`conf`	Automata as Abstractions. VMCAI Dennis Dams, Kedar S. Namjoshi
2005	A*	`conf`	Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
2005	—	`conf`	Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO Dennis Dams, Kedar S. Namjoshi
2004	A*	`conf`	An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. CAV Kedar S. Namjoshi
2004	A*	`conf`	The Existence of Finite Abstractions for Branching Time Model Checking. LICS Dennis Dams, Kedar S. Namjoshi
2003	B	`conf`	Abstract Patterns of Compositional Reasoning. CONCUR Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
2003	A*	`conf`	Abstraction for Branching Time Properties. CAV Kedar S. Namjoshi
2003	J	`jnl`	Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. Amy P. Felty, Kedar S. Namjoshi
2003	B	`conf`	Lifting Temporal Proofs through Abstractions. VMCAI Kedar S. Namjoshi
2003	J	`jnl`	On Reasoning About Rings. Int. J. Found. Comput. Sci. E. Allen Emerson, Kedar S. Namjoshi
2003	B	`conf`	Shape Analysis through Predicate Abstraction and Model Checking. VMCAI Dennis Dams, Kedar S. Namjoshi
2002	C	`conf`	Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
2001	A	`conf`	Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler
2001	A*	`conf`	Certifying Model Checkers. CAV Kedar S. Namjoshi
2001	A*	`conf`	Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
2000	J	`jnl`	Environment modeling and language universality. ACM Trans. Design Autom. Electr. Syst. Richard Raimi, Ramin Hojati, Kedar S. Namjoshi
2000	—	`conf`	Feature Specification and Automatic Conflict Detection. FIW Amy P. Felty, Kedar S. Namjoshi
2000	B	`conf`	Model Checking Synchronous Timing Diagrams. FMCAD Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi
2000	A*	`conf`	On the Competeness of Compositional Reasoning. CAV Kedar S. Namjoshi, Richard J. Trefler
2000	A*	`conf`	Syntactic Program Transformations for Automatic Abstraction. CAV Kedar S. Namjoshi, Robert P. Kurshan
1999	A*	`conf`	Efficient Analysis of Cyclic Definitions. CAV Kedar S. Namjoshi, Robert P. Kurshan
1999	—	`conf`	Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME Nina Amla, E. Allen Emerson, Kedar S. Namjoshi
1999	A*	`conf`	Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. CAV Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers
1998	A*	`conf`	On Model Checking for Non-Deterministic Infinite-State Systems. LICS E. Allen Emerson, Kedar S. Namjoshi
1998	A*	`conf`	Verification of Parameterized Bus Arbitration Protocol. CAV E. Allen Emerson, Kedar S. Namjoshi
1997	—	`conf`	A Simple Characterization of Stuttering Bisimulation. FSTTCS Kedar S. Namjoshi
1996	A*	`conf`	Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). CAV E. Allen Emerson, Kedar S. Namjoshi
1995	A*	`conf`	Reasoning about Rings. POPL E. Allen Emerson, Kedar S. Namjoshi