Search

Your search keyword '"Namjoshi, Kedar S."' showing total 286 results
Start Over Author "Namjoshi, Kedar S."

Refine your results

more »

more »

more »

more »
286 results on '"Namjoshi, Kedar S."'

1. Atomicity and Abstraction for Cross-Blockchain Interactions

Author

Lu, Huaixi, Jajoo, Akshay, and Namjoshi, Kedar S.

Subjects
Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

A blockchain facilitates secure and atomic transactions between mutually untrusting parties on that chain. Today, there are multiple blockchains with differing interfaces and security properties. Programming in this multi-blockchain world is hindered by the lack of general and convenient abstractions for cross-chain communication and computation. Current cross-chain communication bridges have varied and low-level interfaces, making it difficult to develop portable applications. Current methods for multi-chain atomic transactions are limited in scope to cryptocurrency swaps. This work addresses these issues. We first define a uniform, high-level interface for communication between chains. Building on this interface, we formulate a protocol that guarantees atomicity for general transactions whose operations may span several chains. We formulate and prove the desired correctness and security properties of these protocols. Our prototype implementation is built using the LayerZero cross-chain bridge. Experience with this implementation shows that the new abstractions considerably simplify the design and implementation of multi-chain transactions. Experimental evaluation with multi-chain swap transactions demonstrates performance comparable to that of custom-built implementations.

Published
2024

2. The Resh Programming Language for Multirobot Orchestration

Author

Carroll, Martin, Namjoshi, Kedar S., and Segall, Itai

Subjects
Computer Science - Programming Languages, Computer Science - Robotics, Computer Science - Software Engineering
Abstract

This paper describes Resh, a new, statically typed, interpreted programming language and associated runtime for orchestrating multirobot systems. The main features of Resh are: (1) It offloads much of the tedious work of programming such systems away from the programmer and into the language runtime; (2) It is based on a small set of temporal and locational operators; and (3) It is not restricted to specific robot types or tasks. The Resh runtime consists of three engines that collaborate to run a Resh program using the available robots in their current environment. This paper describes both Resh and its runtime and gives examples of its use., Comment: Accepted for publication at ICRA'21

Published
2021

3. Witnessing Secure Compilation

Author

Namjoshi, Kedar S. and Tabajara, Lucas M.

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

Compiler optimizations are designed to improve run-time performance while preserving input-output behavior. Correctness in this sense does not necessarily preserve security: it is known that standard optimizations may break or weaken security properties that hold of the source program. This work develops a translation validation method for secure compilation. Security (hyper-)properties are expressed using automata operating over a bundle of program traces. A flexible, automaton-based refinement scheme, generalizing existing refinement methods, guarantees that the associated security property is preserved by a program transformation. In practice, the refinement relations ("security witnesses") can be generated during compilation and validated independently with a refinement checker. This process is illustrated for common optimizations. Crucially, it is not necessary to verify the compiler implementation itself, which is infeasible in practice for production compilers.

Published
2019

4. Synthesis of coordination programs from linear temporal logic

Author

Bansal, Suguman, Namjoshi, Kedar S., and Sa'ar, Yaniv

Subjects
Computer Science - Programming Languages, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract

This paper presents a method for synthesizing a reactive program which coordinates the actions of a group of other reactive programs, so that the combined system satisfies a temporal specification of its desired long-term behavior. Traditionally, reactive synthesis has been applied to the construction of a stateful hardware circuit. This work is motivated by applications to other domains, such as the IoT (the Internet of Things) and robotics, where it is necessary to coordinate the actions of multiple sensors, devices, and robots. The mathematical model represents such entities as individual processes in Hoare's CSP model. Given a network of interacting entities, called an \emph{environment}, and a temporal specification of long-term behavior, the synthesis method constructs a \emph{coordinator} process (if one exists) that guides the actions of the environment entities so that the combined system is deadlock-free and satisfies the given specification. The main technical challenge is that a coordinator may have only \emph{partial knowledge} of the environment state, due to non-determinism within the environment, and environment actions that are hidden from the coordinator. This is the first method to handle both sources of partial knowledge, and to do so for arbitrary linear temporal logic specifications. It is shown that the coordination synthesis problem is \PSPACE-hard in the size of the environment. A prototype implementation is able to synthesize compact solutions for a number of coordination problems.

Published
2019

5. Symmetry Reduction for the Local Mu-Calculus

Author

Namjoshi, Kedar S. and Trefler, Richard J.

Subjects
Computer Science - Logic in Computer Science
Abstract

Model checking large networks of processes is challenging due to state explosion. In many cases, individual processes are isomorphic, but there is insufficient global symmetry to simplify model checking. This work considers the verification of local properties, those defined over the neighborhood of a process. Considerably generalizing earlier results on invariance, it is shown that all local mu-calculus properties, including safety and liveness properties, are preserved by neighborhood symmetries. Hence, it suffices to check them locally over a set of representative process neighborhoods. In general, local verification approximates verification over the global state space; however, if process interactions are outward-facing, the relationship is shown to be exact. For many network topologies, even those with little global symmetry, analysis with representatives provides a significant, even exponential, reduction in the cost of verification. Moreover, it is shown that for network families generated from building-block patterns, neighborhood symmetries are easily determined, and verification over the entire family reduces to verification over a finite set of representative process neighborhoods., Comment: 17 pages

Published
2019

6. Synthesis of Compact Strategies for Coordination Programs

Author

Namjoshi, Kedar S., Patel, Nisarg, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Fisman, Dana, editor, and Rosu, Grigore, editor

Published
2022
Full Text
View/download PDF

7. A Self-certifying Compilation Framework for WebAssembly

Author

Namjoshi, Kedar S., Xue, Anton, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Henglein, Fritz, editor, Shoham, Sharon, editor, and Vizel, Yakir, editor

Published
2021
Full Text
View/download PDF

9. Witnessing Secure Compilation

Author

Namjoshi, Kedar S., Tabajara, Lucas M., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Beyer, Dirk, editor, and Zufferey, Damien, editor

Published
2020
Full Text
View/download PDF

10. Model Checking in Bits and Pieces

Author

Namjoshi, Kedar S.

Subjects
Computer Science - Logic in Computer Science
Abstract

Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of its concurrently active components. It is natural to apply a divide and conquer strategy to ameliorate state explosion, by analyzing only a single component at a time. We show that this strategy leads to the notion of a "split" invariant, an assertion which is globally inductive, while being structured as the conjunction of a number of local, per-component invariants. This formulation is closely connected to the classical Owicki-Gries method and to Rely-Guarantee reasoning. We show how the division of an invariant into a number of pieces with limited scope makes it possible to apply new, localized forms of symmetry and abstraction to drastically simplify its computation. Split invariance also has interesting connections to parametric verification. A quantified invariant for a parametric system is a split invariant for every instance. We show how it is possible, in some cases, to invert this connection, and to automatically generalize from a split invariant for a small instance of a system to a quantified invariant which holds for the entire family of instances., Comment: In Proceedings Festschrift for Dave Schmidt, arXiv:1309.4557

Published
2013
Full Text
View/download PDF

11. The Impact of Program Transformations on Static Program Analysis

Author

Namjoshi, Kedar S., Pavlinovic, Zvonimir, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, and Podelski, Andreas, editor

Published
2018
Full Text
View/download PDF

12. Synthesis of Asynchronous Reactive Programs from Temporal Specifications

Author

Bansal, Suguman, Namjoshi, Kedar S., Sa’ar, Yaniv, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Chockler, Hana, editor, and Weissenbacher, Georg, editor

Published
2018
Full Text
View/download PDF

13. Symmetry Reduction for the Local Mu-Calculus

Author

Namjoshi, Kedar S., Trefler, Richard J., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Beyer, Dirk, editor, and Huisman, Marieke, editor

Published
2018
Full Text
View/download PDF

14. Compositional Reasoning

Author

Giannakopoulou, Dimitra, Namjoshi, Kedar S., Păsăreanu, Corina S., Clarke, Edmund M., editor, Henzinger, Thomas A., editor, Veith, Helmut, editor, and Bloem, Roderick, editor

Published
2018
Full Text
View/download PDF

15. Witnessing Network Transformations

Author

Deng, Chaoqiang, Namjoshi, Kedar S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lahiri, Shuvendu, editor, and Reger, Giles, editor

Published
2017
Full Text
View/download PDF

16. Securing the SSA Transform

Author

Deng, Chaoqiang, Namjoshi, Kedar S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Ranzato, Francesco, editor

Published
2017
Full Text
View/download PDF

18. Securing a Compiler Transformation

Author

Deng, Chaoqiang, Namjoshi, Kedar S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rival, Xavier, editor

Published
2016
Full Text
View/download PDF

19. Loopy: Programmable and Formally Verified Loop Transformations

Author

Namjoshi, Kedar S., Singhania, Nimit, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rival, Xavier, editor

Published
2016
Full Text
View/download PDF

20. Parameterized Compositional Model Checking

Author

Namjoshi, Kedar S., Trefler, Richard J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Raskin, Jean-François, editor

Published
2016
Full Text
View/download PDF

21. Analysis of Dynamic Process Networks

Author

Namjoshi, Kedar S., Trefler, Richard J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Baier, Christel, editor, and Tinelli, Cesare, editor

Published
2015
Full Text
View/download PDF

22. From Verification to Optimizations

Author

Gjomemo, Rigel, Namjoshi, Kedar S., Phung, Phu H., Venkatakrishnan, V. N., Zuck, Lenore D., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, D’Souza, Deepak, editor, Lal, Akash, editor, and Larsen, Kim Guldstrand, editor

Published
2015
Full Text
View/download PDF

23. Loop Freedom in AODVv2

Author

Namjoshi, Kedar S., Trefler, Richard J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Graf, Susanne, editor, and Viswanathan, Mahesh, editor

Published
2015
Full Text
View/download PDF

27. A Witnessing Compiler: A Proof of Concept

Author

Namjoshi, Kedar S., Tagliabue, Giacomo, Zuck, Lenore D., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Legay, Axel, editor, and Bensalem, Saddek, editor

Published
2013
Full Text
View/download PDF

28. Witnessing Program Transformations

Author

Namjoshi, Kedar S., Zuck, Lenore D., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Logozzo, Francesco, editor, and Fähndrich, Manuel, editor

Published
2013
Full Text
View/download PDF

29. Uncovering Symmetries in Irregular Process Networks

Author

Namjoshi, Kedar S., Trefler, Richard J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Giacobazzi, Roberto, editor, Berdine, Josh, editor, and Mastroeni, Isabella, editor

Published
2013
Full Text
View/download PDF

30. Local Symmetry and Compositional Verification

Author

Namjoshi, Kedar S., Trefler, Richard J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Kuncak, Viktor, editor, and Rybalchenko, Andrey, editor

Published
2012
Full Text
View/download PDF

31. Formalization and Automated Verification of RESTful Behavior

Author

Klein, Uri, Namjoshi, Kedar S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gopalakrishnan, Ganesh, editor, and Qadeer, Shaz, editor

Published
2011
Full Text
View/download PDF

32. Parallelizing a Symbolic Compositional Model-Checking Algorithm

Author

Cohen, Ariel, Namjoshi, Kedar S., Sa’ar, Yaniv, Zuck, Lenore D., Kisyova, Katya I., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Barner, Sharon, editor, Harris, Ian, editor, Kroening, Daniel, editor, and Raz, Orna, editor

Published
2011
Full Text
View/download PDF

33. SPLIT: A Compositional LTL Verifier

Author

Cohen, Ariel, Namjoshi, Kedar S., Sa’ar, Yaniv, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Touili, Tayssir, editor, Cook, Byron, editor, and Jackson, Paul, editor

Published
2010
Full Text
View/download PDF

34. A Dash of Fairness for Compositional Reasoning

Author

Cohen, Ariel, Namjoshi, Kedar S., Sa’ar, Yaniv, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Touili, Tayssir, editor, Cook, Byron, editor, and Jackson, Paul, editor

Published
2010
Full Text
View/download PDF

35. Local Proofs for Linear-Time Properties of Concurrent Programs

Author

Cohen, Ariel, Namjoshi, Kedar S., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gupta, Aarti, editor, and Malik, Sharad, editor

Published
2008
Full Text
View/download PDF

36. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors

Author

Conway, Christopher L., Dams, Dennis, Namjoshi, Kedar S., Barrett, Clark, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alpuente, María, editor, and Vidal, Germán, editor

Published
2008
Full Text
View/download PDF

39. Local Proofs for Global Safety Properties

Author

Cohen, Ariel, Namjoshi, Kedar S., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Damm, Werner, editor, and Hermanns, Holger, editor

Published
2007
Full Text
View/download PDF

40. Symmetry and Completeness in the Analysis of Parameterized Systems

Author

Namjoshi, Kedar S., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cook, Byron, editor, and Podelski, Andreas, editor

Published
2007
Full Text
View/download PDF

41. Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

Author

Dams, Dennis R., Namjoshi, Kedar S., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2006
Full Text
View/download PDF

42. Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Author

Conway, Christopher L., Namjoshi, Kedar S., Dams, Dennis, Edwards, Stephen A., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Etessami, Kousha, editor, and Rajamani, Sriram K., editor

Published
2005
Full Text
View/download PDF

43. Automata as Abstractions

Author

Dams, Dennis, Namjoshi, Kedar S., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Cousot, Radhia, editor

Published
2005
Full Text
View/download PDF

44. An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking

Author

Namjoshi, Kedar S., Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Alur, Rajeev, editor, and Peled, Doron A., editor

Published
2004
Full Text
View/download PDF

47. Lifting Temporal Proofs through Abstractions

Author

Namjoshi, Kedar S., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Zuck, Lenore D., editor, Attie, Paul C., editor, Cortesi, Agostino, editor, and Mukhopadhyay, Supratik, editor

Published
2003
Full Text
View/download PDF

49. Certifying Model Checkers

Author

Namjoshi, Kedar S., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Berry, Gérard, editor, Comon, Hubert, editor, and Finkel, Alain, editor

Published
2001
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results