Jayadev Misra

111 papers A* 11A 1B 7C 3Misc 1Journal 55Unranked 21
YearRankTypeTitle / Venue / Authors
2023 — book
Effective Theories in Programming Practice
Jayadev Misra
2022 — ch.
An Homage to the Beautiful Mathematical EWDs.
Edsger Wybe Dijkstra
Jayadev Misra
2021 — ch.
Cv.
Theories of Programming
Jayadev Misra
2021 — ch.
Finding Effective Abstractions.
Theories of Programming
Cliff B. Jones, Jayadev Misra
2021 — ch.
Preface to Special Issue on Software Verification.
Theories of Programming
C. A. R. Hoare, Jayadev Misra
2021 — ch.
Preface.
Theories of Programming
Cliff B. Jones, Jayadev Misra
2021 — ch.
The Verified Software Initiative: A Manifesto.
Theories of Programming
Tony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
2021 — book
Theories of Programming: The Life and Works of Tony Hoare
Theories of Programming
Cliff B. Jones, Jayadev Misra
2017 J jnl
Bilateral Proofs of Safety and Progress Properties of Concurrent Programs.
CoRR
Jayadev Misra
2017 Misc conf
Parallel discrete event simulation: The making of a field.
WSC
Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger
2015 — conf
A Denotational Semantic Theory of Concurrent Systems.
Logic, Rewriting, and Concurrency
Jayadev Misra
2015 J jnl
Mapping among the nodes of infinite trees: A variation of Kőnig's infinity lemma.
Inf. Process. Lett.
Jayadev Misra
2014 A* conf
A personal perspective on concurrency.
PLDI
Jayadev Misra
2013 — conf
Orchestration.
FACS
Jayadev Misra
2012 J jnl
A secure voting scheme based on rational self-interest.
Formal Aspects Comput.
Jayadev Misra
2011 C conf
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract).
ICTAC
Jayadev Misra
2010 J jnl
Maintaining the Ranch topology.
J. Parallel Distributed Comput.
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
2010 — ch.
Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures.
Reflections on the Work of C. A. R. Hoare
David Kitchin, Adrian Quark, Jayadev Misra
2009 J jnl
Preface to special issue on software verification.
ACM Comput. Surv.
C. A. R. Hoare, Jayadev Misra
2009 — conf
The Orc Programming Language.
FMOODS/FORTE
David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra
2009 J jnl
The verified software initiative: A manifesto.
ACM Comput. Surv.
C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar
2008 J jnl
A timed semantics of Orc.
Theor. Comput. Sci.
Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
2008 — conf
Simulation Using Orchestration.
AMAST
David Kitchin, Evan Powell, Jayadev Misra
2008 B conf
Simulation, Orchestration and Logical Clocks.
FM
David Kitchin, Evan Powell, Jayadev Misra
2008 — ch.
Structured Interacting Computations.
Software-Intensive Systems and New Computing Paradigms
William R. Cook, Jayadev Misra
2007 J jnl
Computation Orchestration.
Softw. Syst. Model.
Jayadev Misra, William R. Cook
2006 B conf
A Language for Task Orchestration and Its Semantic Properties.
CONCUR
David Kitchin, William R. Cook, Jayadev Misra
2006 J jnl
Concurrent Maintenance of Rings.
Distributed Comput.
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
2006 B ed.
FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
FM
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
2006 C conf
Workflow Patterns in Orc.
COORDINATION
William R. Cook, Sourabh Patwardhan, Jayadev Misra
2005 — conf
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project.
VSTTE
Tony Hoare, Jayadev Misra
2004 B conf
A Programming Model for the Orchestration of Web Services.
SEFM
Jayadev Misra
2004 A conf
Active and Concurrent Topology Maintenance.
DISC
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
2004 A* conf
Brief announcement: concurrent maintenance of rings.
PODC
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
2003 — conf
Computing with Distributed Resources.
JMLC
Young-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin
2003 J jnl
Derivation of a parallel string matching algorithm.
Inf. Process. Lett.
Jayadev Misra
2003 — conf
Topic Introduction.
Euro-Par
Jayadev Misra, Wolfgang Reisig, Michael Schöttner, Laurent Lefèvre
2002 J jnl
A Simple, Object-Based View of Multiprogramming.
Formal Methods Syst. Des.
Jayadev Misra
2002 — conf
A Theory of Hints in Model Checking.
10th Anniversary Colloquium of UNU/IIST
Markus Kaltenbach, Jayadev Misra
2002 J jnl
In memoriam: Edsger W. Dijkstra 1930-2002.
Commun. ACM
Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
2002 — conf
Orchestrating Computations on the World-Wide Web.
Euro-Par
Young-ri Choi, Amit Garg, Siddhartha Rai, Jayadev Misra, Harrick M. Vin
2002 B conf
The Case against a Grand Unification Theory.
ICSR
Jayadev Misra
2001 — book
A Discipline of Multiprogramming - Programming Theory for Distributed Applications
Jayadev Misra
2001 — conf
A Programming Model for Wide-Area Computing.
FME
Jayadev Misra
2001 J jnl
A walk over the shortest path: Dijkstra's Algorithm viewed as fixed-point computation.
Inf. Process. Lett.
Jayadev Misra
2001 J jnl
Designing a Calculational Proof of Cantor's Theorem.
Am. Math. Mon.
Edsger W. Dijkstra, Jayadev Misra
2001 C conf
Orchestrating Computations on the World-Wide Web.
APSEC
Jayadev Misra, Harrick M. Vin
2000 J jnl
Maximally Concurrent Programs.
Formal Aspects Comput.
Rajeev Joshi, Jayadev Misra
2000 — conf
Object-Oriented Programming for Wide-Area Computing.
FMOODS
Jayadev Misra
2000 A* conf
Toward a theory of maximally concurrent programs (shortened version).
PODC
Rajeev Joshi, Jayadev Misra
1998 — conf
An Object Model for Multiprogramming.
IPPS/SPDP Workshops
Jayadev Misra
1997 — conf
Seuss: What the Doctor Ordered.
PDSE
Lorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra
1996 J jnl
A Discipline of Multiprogramming.
ACM Comput. Surv.
Jayadev Misra
1996 J jnl
Proof of a Real-Time Mutual-Exclusion Algorithm.
Parallel Process. Lett.
J. Allen Carruth, Jayadev Misra
1994 — conf
A Discipline of Multiprogramming.
Specification of Parallel Algorithms
Jayadev Misra
1994 J jnl
Powerlist: A Structure for Parallel Recursion.
ACM Trans. Program. Lang. Syst.
Jayadev Misra
1992 J jnl
A Constructive Proof of Vizing's Theorem.
Inf. Process. Lett.
Jayadev Misra, David Gries
1992 J jnl
Corrigenda: Phase Synchronization.
Inf. Process. Lett.
Jayadev Misra
1992 J jnl
Loosely-coupled processes.
Future Gener. Comput. Syst.
Jayadev Misra
1991 — conf
A Perspective on Parallel Program Design.
Research Directions in High-Level Parallel Programming Languages
Jayadev Misra
1991 — conf
Loosely-Coupled Processes.
PARLE (2)
Jayadev Misra
1991 J jnl
Phase Synchronization.
Inf. Process. Lett.
Jayadev Misra
1990 J jnl
Equational Reasoning About Nondeterministic Processes.
Formal Aspects Comput.
Jayadev Misra
1990 J jnl
Specifying Concurrent Objects as Communicating Processes.
Sci. Comput. Program.
Jayadev Misra
1989 J jnl
A Simple Proof of a Simple Consensus Algorithm.
Inf. Process. Lett.
Jayadev Misra
1989 A* conf
Equational Reasoning About Nondeterministic Processes.
PODC
Jayadev Misra
1989 — book
Parallel program design - a foundation.
K. Mani Chandy, Jayadev Misra
1989 B conf
Specifications of Concurrently Accessed Data.
MPC
Jayadev Misra
1988 J jnl
Another view on "fairness".
ACM SIGSOFT Softw. Eng. Notes
K. Mani Chandy, Jayadev Misra
1987 J jnl
A Message-Based Approach to Discrete-Event Simulation.
IEEE Trans. Software Eng.
Rajive L. Bagrodia, K. Mani Chandy, Jayadev Misra
1987 — conf
Parallelism and Programming: A Perspective.
FSTTCS
K. Mani Chandy, Jayadev Misra
1986 J jnl
An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection.
ACM Trans. Program. Lang. Syst.
K. Mani Chandy, Jayadev Misra
1986 J jnl
Axioms for Memory Access in Asynchronous Hardware Systems.
ACM Trans. Program. Lang. Syst.
Jayadev Misra
1986 J jnl
Distributed Discrete-Event Simulation.
ACM Comput. Surv.
Jayadev Misra
1986 J jnl
How Processes Learn.
Distributed Comput.
K. Mani Chandy, Jayadev Misra
1986 J jnl
Systolic Algorithms as Programs.
Distributed Comput.
K. Mani Chandy, Jayadev Misra
1985 A* conf
How Processes Learn.
PODC
K. Mani Chandy, Jayadev Misra
1984 — conf
A Paradigm for Detecting Quiescent Properties in Distributed Computations.
Logics and Models of Concurrent Systems
K. Mani Chandy, Jayadev Misra
1984 — conf
Axioms for Memory Access in Asynchronous Hardware Systems.
Seminar on Concurrency
Jayadev Misra
1984 A* ed.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984
PODC
Tiko Kameda, Jayadev Misra, Joseph G. Peters, Nicola Santoro
1984 J jnl
The Drinking Philosopher's Problem.
ACM Trans. Program. Lang. Syst.
K. Mani Chandy, Jayadev Misra
1983 A* conf
Detecting Termination of Distributed Computations Using Markers.
PODC
Jayadev Misra
1983 J jnl
Distributed Deadlock Detection
ACM Trans. Comput. Syst.
K. Mani Chandy, Jayadev Misra, Laura M. Haas
1982 A* conf
A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.
PODC
K. Mani Chandy, Jayadev Misra
1982 J jnl
A Distributed Graph Algorithm: Knot Detection.
ACM Trans. Program. Lang. Syst.
Jayadev Misra, K. Mani Chandy
1982 J jnl
Distributed Computation on Graphs: Shortest Path Algorithms.
Commun. ACM
K. Mani Chandy, Jayadev Misra
1982 J jnl
Finding Repeated Elements.
Sci. Comput. Program.
Jayadev Misra, David Gries
1982 A* conf
Proving Safety and Liveness of Communicating Processes with Examples.
PODC
Jayadev Misra, K. Mani Chandy, Todd Smith
1982 J jnl
Termination Detection of Diffusing Computations in Communicating Sequential Processes.
ACM Trans. Program. Lang. Syst.
Jayadev Misra, K. Mani Chandy
1982 — conf
The use of performance models in systematic design.
AFIPS National Computer Conference
K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse
1981 — conf
A Computer Modeling System Based on a User-Extensible Modeling Library.
Int. CMG Conference
Doug Neuse, K. Mani Chandy, Jayadev Misra, Robert Berry
1981 J jnl
An Exercise in Program Explanation.
ACM Trans. Program. Lang. Syst.
Jayadev Misra
1981 J jnl
Asynchronous Distributed Simulation via a Sequence of Parallel Computations.
Commun. ACM
K. Mani Chandy, Jayadev Misra
1981 J jnl
Proofs of Networks of Processes.
IEEE Trans. Software Eng.
Jayadev Misra, K. Mani Chandy
1980 J jnl
A simple model of distributed programs based on implementation-hiding and process autonomy.
ACM SIGPLAN Notices
K. Mani Chandy, Jayadev Misra
1979 J jnl
Deadlock Absence Proofs for Networks of Communicating Processes.
Inf. Process. Lett.
K. Mani Chandy, Jayadev Misra
1979 J jnl
Distributed Simulation of Networks.
Comput. Networks
K. Mani Chandy, Victor Holmes, Jayadev Misra
1979 J jnl
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs.
IEEE Trans. Software Eng.
K. Mani Chandy, Jayadev Misra
1979 J jnl
Space-Time Trade Off in Implementing Certain Set Operations.
Inf. Process. Lett.
Jayadev Misra
1978 J jnl
A Linear Sieve Algorithm for Finding Prime Numbers.
Commun. ACM
David Gries, Jayadev Misra
1978 J jnl
A Technique of Algorithm Construction on Sequences.
IEEE Trans. Software Eng.
Jayadev Misra
1978 B conf
A nontrivial example of concurrent processing: Distributed simulation.
COMPSAC
K. Mani Chandy, Jayadev Misra
1978 J jnl
An Approach to Formal Definitions and Proofs of Programming Principles.
IEEE Trans. Software Eng.
Jayadev Misra
1978 J jnl
Some Aspects of the Verification of Loop Computations.
IEEE Trans. Software Eng.
Jayadev Misra
1977 J jnl
A Linear Tree Partitioning Algorithm.
SIAM J. Comput.
Sukhamay Kundu, Jayadev Misra
1977 J jnl
Prospects and Limitations of Automatic Assertion Generation for Loop Programs.
SIAM J. Comput.
Jayadev Misra
1976 A* conf
A principle of algorithm design on limited problem domain.
DAC
Jayadev Misra
1976 A* conf
Some Classes of Naturally Provable Programs.
ICSE
Sanat K. Basu, Jayadev Misra
1975 J jnl
Optimal Chain Partitions of Trees.
Inf. Process. Lett.
Jayadev Misra, Robert Endre Tarjan
1975 J jnl
Proving Loop Programs.
IEEE Trans. Software Eng.
Sanat K. Basu, Jayadev Misra
1975 J jnl
Remark on "Algorithm 246: Graycode [Z]".
ACM Trans. Math. Softw.
Jayadev Misra