E-LIB Suche - Ergebnisse für: Namjoshi, Kedar S.

1

Synthesizing Locally Symmetric Parameterized Protocols from..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Zhang, Ruoxi ; Trefler, Richard ; Namjoshi, Kedar S. - p. 235-244 , 2022

Link: https://doi.org/10.34727..

2

Synthesis of Compact Strategies for Coordination Programs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Namjoshi, Kedar S. ; Patel, Nisarg - p. 46-63 , 2022

Link: https://doi.org/10.1007/..

3

A Self-certifying Compilation Framework for WebAssembly:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Namjoshi, Kedar S. ; Xue, Anton - p. 127-148 , 2021

Link: https://doi.org/10.1007/..

4

Witnessing Secure Compilation:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Namjoshi, Kedar S. ; Tabajara, Lucas M. - p. 1-22 , 2020

Link: https://doi.org/10.1007/..

5

Synthesis of coordination programs from linear temporal spe..:

Bansal, Suguman ; Namjoshi, Kedar S. ; Sa'ar, Yaniv
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

Link: https://doi.org/10.1145/..

6

Synthesis of coordination programs from linear temporal spe..:

Bansal, Suguman ; Namjoshi, Kedar S. ; Sa'ar, Yaniv
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-27 , 2019

Link: https://dl.acm.org/doi/1..

7

Compositional Reasoning:

, In: Handbook of Model Checking,

Giannakopoulou, Dimitra ; Namjoshi, Kedar S. ; Păsăreanu, Corina S. - p. 345-383 , 2018

Link: https://doi.org/10.1007/..

8

Symmetry Reduction for the Local Mu-Calculus:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Namjoshi, Kedar S. ; Trefler, Richard J. - p. 379-395 , 2018

Link: https://doi.org/10.1007/..

9

Synthesis of Asynchronous Reactive Programs from Temporal S..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Bansal, Suguman ; Namjoshi, Kedar S. ; Sa'ar, Yaniv - p. 367-385 , 2018

Link: https://doi.org/10.1007/..

10

The Impact of Program Transformations on Static Program Ana..:

, In: Static Analysis; Lecture Notes in Computer Science,

Namjoshi, Kedar S. ; Pavlinovic, Zvonimir - p. 306-325 , 2018

Link: https://doi.org/10.1007/..

11

Securing a compiler transformation:

Deng, Chaoqiang ; Namjoshi, Kedar S.
Formal Methods in System Design. 53 (2018) 2 - p. 166-188 , 2018

Link: https://doi.org/10.1007/..

12

Simple and fast biased locks:

, In: Proceedings of the 19th international conference on Parallel architectures and compilation techniques,

Vasudevan, Nalini ; Namjoshi, Kedar S. ; Edwards, Stephen A. - p. 65-74 , 2010

Link: https://dl.acm.org/doi/1..

13

On the completeness of compositional reasoning methods:

Namjoshi, Kedar S. ; Trefler, Richard J.
ACM Transactions on Computational Logic. 11 (2010) 3 - p. 1-22 , 2010

Link: https://doi.org/10.1145/..

14

On the completeness of compositional reasoning methods:

Namjoshi, Kedar S. ; Trefler, Richard J.
ACM Transactions on Computational Logic (TOCL). 11 (2010) 3 - p. 1-22 , 2010

Link: https://dl.acm.org/doi/1..

15

Local proofs for global safety properties:

Cohen, Ariel ; Namjoshi, Kedar S.
Formal Methods in System Design. 34 (2008) 2 - p. 104-125 , 2008

Link: https://doi.org/10.1007/..