Jayadev Misra

According to our database, Jayadev Misra authored at least 103 papers between 1975 and 2023.

Collaborative distances:

• Dijkstra number of one.
• Erdős number of three.

2023

Effective Theories in Programming Practice

Jayadev Misra

ACM Books 47, ACM, ISBN: 978-1-4503-9973-9, 2023

2022

An Homage to the Beautiful Mathematical EWDs.

Jayadev Misra

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

Cv.

Jayadev Misra

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

Finding Effective Abstractions.

Cliff B. Jones, Jayadev Misra

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

Preface.

Cliff B. Jones, Jayadev Misra

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

The Verified Software Initiative: A Manifesto.

Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

Preface to Special Issue on Software Verification.

C. A. R. Hoare, Jayadev Misra

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2017

Bilateral Proofs of Safety and Progress Properties of Concurrent Programs.

Jayadev Misra

CoRR, 2017

Parallel discrete event simulation: The making of a field.

Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger

Proceedings of the 2017 Winter Simulation Conference, 2017

2015

Mapping among the nodes of infinite trees: A variation of Kőnig's infinity lemma.

Jayadev Misra

Inf. Process. Lett., 2015

A Denotational Semantic Theory of Concurrent Systems.

Jayadev Misra

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A personal perspective on concurrency.

Jayadev Misra

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Orchestration.

Jayadev Misra

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

A secure voting scheme based on rational self-interest.

Jayadev Misra

Formal Aspects Comput., 2012

2011

Virtual Time and Timeout in Client-Server Networks - (Extended Abstract).

Jayadev Misra

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Maintaining the Ranch topology.

Xiaozhou Li, Jayadev Misra, C. Greg Plaxton

J. Parallel Distributed Comput., 2010

Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.

David Kitchin, Adrian Quark, Jayadev Misra

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

The verified software initiative: A manifesto.

C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar

ACM Comput. Surv., 2009

Preface to special issue on software verification.

C. A. R. Hoare, Jayadev Misra

ACM Comput. Surv., 2009

The Orc Programming Language.

David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Structured Interacting Computations.

William R. Cook, Jayadev Misra

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

A timed semantics of Orc.

Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra

Theor. Comput. Sci., 2008

Simulation, Orchestration and Logical Clocks.

David Kitchin, Evan Powell, Jayadev Misra

Proceedings of the FM 2008: Formal Methods, 2008

Simulation Using Orchestration.

David Kitchin, Evan Powell, Jayadev Misra

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Computation Orchestration.

Jayadev Misra, William R. Cook

Softw. Syst. Model., 2007

2006

Concurrent Maintenance of Rings.

Xiaozhou Li, Jayadev Misra, C. Greg Plaxton

Distributed Comput., 2006

Workflow Patterns in Orc.

William R. Cook, Sourabh Patwardhan, Jayadev Misra

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

A Language for Task Orchestration and Its Semantic Properties.

David Kitchin, William R. Cook, Jayadev Misra

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.

Tony Hoare, Jayadev Misra

Proceedings of the Verified Software: Theories, 2005

2004

Active and Concurrent Topology Maintenance.

Xiaozhou Li, Jayadev Misra, C. Greg Plaxton

Proceedings of the Distributed Computing, 18th International Conference, 2004

A Programming Model for the Orchestration of Web Services.

Jayadev Misra

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Brief announcement: concurrent maintenance of rings.

Xiaozhou Li, Jayadev Misra, C. Greg Plaxton

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

2003

Derivation of a parallel string matching algorithm.

Jayadev Misra

Inf. Process. Lett., 2003

Computing with Distributed Resources.

Young-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Topic Introduction.

Jayadev Misra, Wolfgang Reisig, Michael Schöttner, Laurent Lefèvre

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

A Simple, Object-Based View of Multiprogramming.

Jayadev Misra

Formal Methods Syst. Des., 2002

In memoriam: Edsger W. Dijkstra 1930-2002.

Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards

Commun. ACM, 2002

A Theory of Hints in Model Checking.

Markus Kaltenbach, Jayadev Misra

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

The Case against a Grand Unification Theory.

Jayadev Misra

Proceedings of the Software Reuse: Methods, 2002

Orchestrating Computations on the World-Wide Web.

Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin

Proceedings of the Euro-Par 2002, 2002

2001

A Discipline of Multiprogramming - Programming Theory for Distributed Applications

Jayadev Misra

Monographs in Computer Science, Springer, ISBN: 978-1-4419-8528-6, 2001

Designing a Calculational Proof of Cantor's Theorem.

Edsger W. Dijkstra, Jayadev Misra

Am. Math. Mon., 2001

A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation.

Jayadev Misra

Inf. Process. Lett., 2001

A Programming Model for Wide-Area Computing.

Jayadev Misra

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Orchestrating Computations on the World-Wide Web.

Jayadev Misra, Harrick M. Vin

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Maximally Concurrent Programs.

Rajeev Joshi, Jayadev Misra

Formal Aspects Comput., 2000

Toward a theory of maximally concurrent programs (shortened version).

Rajeev Joshi, Jayadev Misra

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Object-Oriented Programming for Wide-Area Computing.

Jayadev Misra

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1998

An Object Model for Multiprogramming.

Jayadev Misra

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997

Seuss: What the Doctor Ordered.

Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996

Proof of a Real-Time Mutual-Exclusion Algorithm.

J. Allen Carruth, Jayadev Misra

Parallel Process. Lett., 1996

A Discipline of Multiprogramming.

Jayadev Misra

ACM Comput. Surv., 1996

1994

Powerlist: A Structure for Parallel Recursion.

Jayadev Misra

ACM Trans. Program. Lang. Syst., 1994

1992

A Constructive Proof of Vizing's Theorem.

Jayadev Misra, David Gries

Inf. Process. Lett., 1992

Corrigenda: Phase Synchronization.

Jayadev Misra

Inf. Process. Lett., 1992

Loosely-coupled processes.

Jayadev Misra

Future Gener. Comput. Syst., 1992

1991

Phase Synchronization.

Jayadev Misra

Inf. Process. Lett., 1991

A Perspective on Parallel Program Design.

Jayadev Misra

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990

Specifying Concurrent Objects as Communicating Processes.

Jayadev Misra

Sci. Comput. Program., 1990

Equational Reasoning About Nondeterministic Processes.

Jayadev Misra

Formal Aspects Comput., 1990

1989

A Simple Proof of a Simple Consensus Algorithm.

Jayadev Misra

Inf. Process. Lett., 1989

Specifications of Concurrently Accessed Data.

Jayadev Misra

Proceedings of the Mathematics of Program Construction, 1989

Parallel program design - a foundation.

K. Mani Chandy, Jayadev Misra

Addison-Wesley, ISBN: 978-0-201-05866-6, 1989

1988

Another view on "fairness".

K. Mani Chandy, Jayadev Misra

ACM SIGSOFT Softw. Eng. Notes, 1988

1987

A Message-Based Approach to Discrete-Event Simulation.

Rajive L. Bagrodia, K. Mani Chandy, Jayadev Misra

IEEE Trans. Software Eng., 1987

Parallelism and Programming: A Perspective.

K. Mani Chandy, Jayadev Misra

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986

Axioms for Memory Access in Asynchronous Hardware Systems.

Jayadev Misra

ACM Trans. Program. Lang. Syst., 1986

An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection.

K. Mani Chandy, Jayadev Misra

ACM Trans. Program. Lang. Syst., 1986

Systolic Algorithms as Programs.

K. Mani Chandy, Jayadev Misra

Distributed Comput., 1986

How Processes Learn.

K. Mani Chandy, Jayadev Misra

Distributed Comput., 1986

Distributed Discrete-Event Simulation.

Jayadev Misra

ACM Comput. Surv., 1986

1984

The Drinking Philosopher's Problem.

K. Mani Chandy, Jayadev Misra

ACM Trans. Program. Lang. Syst., 1984

A Paradigm for Detecting Quiescent Properties in Distributed Computations.

K. Mani Chandy, Jayadev Misra

Proceedings of the Logics and Models of Concurrent Systems, 1984

1983

Distributed Deadlock Detection

K. Mani Chandy, Jayadev Misra, Laura M. Haas

ACM Trans. Comput. Syst., 1983

Detecting Termination of Distributed Computations Using Markers.

Jayadev Misra

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

1982

A Distributed Graph Algorithm: Knot Detection.

Jayadev Misra, K. Mani Chandy

ACM Trans. Program. Lang. Syst., 1982

Termination Detection of Diffusing Computations in Communicating Sequential Processes.

Jayadev Misra, K. Mani Chandy

ACM Trans. Program. Lang. Syst., 1982

Finding Repeated Elements.

Jayadev Misra, David Gries

Sci. Comput. Program., 1982

Distributed Computation on Graphs: Shortest Path Algorithms.

K. Mani Chandy, Jayadev Misra

Commun. ACM, 1982

Proving Safety and Liveness of Communicating Processes with Examples.

Jayadev Misra, K. Mani Chandy, Todd Smith

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.

K. Mani Chandy, Jayadev Misra

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

The use of performance models in systematic design.

K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse

Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982

1981

Proofs of Networks of Processes.

Jayadev Misra, K. Mani Chandy

IEEE Trans. Software Eng., 1981

An Exercise in Program Explanation.

Jayadev Misra

ACM Trans. Program. Lang. Syst., 1981

Asynchronous Distributed Simulation via a Sequence of Parallel Computations.

K. Mani Chandy, Jayadev Misra

Commun. ACM, 1981

A Computer Modeling System Based on a User-Extensible Modeling Library.

Doug Neuse, K. Mani Chandy, Jayadev Misra, Robert Berry

Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980

A simple model of distributed programs based on implementation-hiding and process autonomy.

K. Mani Chandy, Jayadev Misra

ACM SIGPLAN Notices, 1980

1979

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs.

K. Mani Chandy, Jayadev Misra

IEEE Trans. Software Eng., 1979

Space-Time Trade Off in Implementing Certain Set Operations.

Jayadev Misra

Inf. Process. Lett., 1979

Deadlock Absence Proofs for Networks of Communicating Processes.

K. Mani Chandy, Jayadev Misra

Inf. Process. Lett., 1979

Distributed Simulation of Networks.

K. Mani Chandy, Victor Holmes, Jayadev Misra

Comput. Networks, 1979

1978

Some Aspects of the Verification of Loop Computations.

Jayadev Misra

IEEE Trans. Software Eng., 1978

An Approach to Formal Definitions and Proofs of Programming Principles.

Jayadev Misra

IEEE Trans. Software Eng., 1978

A Technique of Algorithm Construction on Sequences.

Jayadev Misra

IEEE Trans. Software Eng., 1978

A Linear Sieve Algorithm for Finding Prime Numbers.

David Gries, Jayadev Misra

Commun. ACM, 1978

A nontrivial example of concurrent processing: Distributed simulation.

K. Mani Chandy, Jayadev Misra

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

Prospects and Limitations of Automatic Assertion Generation for Loop Programs.

Jayadev Misra

SIAM J. Comput., 1977

A Linear Tree Partitioning Algorithm.

Sukhamay Kundu, Jayadev Misra

SIAM J. Comput., 1977

1976

Some Classes of Naturally Provable Programs.

Sanat K. Basu, Jayadev Misra

Proceedings of the 2nd International Conference on Software Engineering, 1976

A principle of algorithm design on limited problem domain.

Jayadev Misra

Proceedings of the 13th Design Automation Conference, 1976

1975

Proving Loop Programs.

Sanat K. Basu, Jayadev Misra

IEEE Trans. Software Eng., 1975

Remark on "Algorithm 246: Graycode [Z]".

Jayadev Misra

ACM Trans. Math. Softw., 1975

Optimal Chain Partitions of Trees.

Jayadev Misra, Robert Endre Tarjan

Inf. Process. Lett., 1975