Jayadev Misra

Publication Activity (10 Years)

Years Active: 1975-2017
Publications (10 Years): 2

Top Topics

Semiconductor Manufacturing

Concurrent Programs

Top Venues

Inf. Process. Lett.

Formal Aspects Comput.

Publications

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