Jayadev Misra - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 113

2023

Effective Theories in Programming PracticeJayadev Misra. Volume 47 of ACM Books, ACM, 2023. [doi]

2022

An Homage to the Beautiful Mathematical EWDsJayadev Misra. In Krzysztof R. Apt, Tony Hoare, editors, Edsger Wybe Dijkstra: His Life, Work, and Legacy. pages 247-282, ACM / Morgan & Claypool, 2022. [doi]

2021

Preface to Special Issue on Software VerificationC. A. R. Hoare, Jayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 77-80, ACM / Morgan & Claypool, 2021. [doi]

The Verified Software Initiative: A ManifestoTony Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 81-92, ACM / Morgan & Claypool, 2021. [doi]

Finding Effective AbstractionsCliff B. Jones, Jayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 23-40, ACM / Morgan & Claypool, 2021. [doi]

PrefaceCliff B. Jones, Jayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. ACM / Morgan & Claypool, 2021. [doi]

CvJayadev Misra. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 387-392, ACM / Morgan & Claypool, 2021. [doi]

2017

Parallel discrete event simulation: The making of a fieldRichard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger. wsc 2017: 262-291 [doi]

2015

Mapping among the nodes of infinite trees: A variation of Kőnig's infinity lemmaJayadev Misra. ipl, 115(5):548-549, 2015. [doi]

A Denotational Semantic Theory of Concurrent SystemsJayadev Misra. BIRTHDAY 2015: 493-518 [doi]

2014

A personal perspective on concurrencyJayadev Misra. PLDI 2014: 41 [doi]

2013

Orc Reference Manual v2.1.0Brian McCord, David Kitchin, John A. Thywissen, Jayadev Misra. Regular tech report TR-13-24, 2013.

Orc User Guide v2.1.0Brian McCord, David Kitchin, John A. Thywissen, Jayadev Misra. Regular tech report TR-13-23, 2013.

OrchestrationJayadev Misra. facs2 2014: 5-12 [doi]

2012

A secure voting scheme based on rational self-interestJayadev Misra. fac, 24(4-6):793-805, 2012. [doi]

2011

Virtual Time and Timeout in Client-Server Networks - (Extended Abstract)Jayadev Misra. ictac 2011: 1-3 [doi]

2010

Quicksort: Combining Concurrency, Recursion, and Mutable Data StructuresDavid Kitchin, Adrian Quark, Jayadev Misra. In Reflections on the Work of C.A.R. Hoare. pages 229-254, Springer, 2010. [doi]

Quicksort: Combining Concurrency, Recursion, and Mutable Data StructuresDavid Kitchin, Adrian Quark, Jayadev Misra. In A. W. Roscoe, Clifford B. Jones, Kenneth R. Wood, editors, Reflections on the Work of C. A. R. Hoare. pages 229-254, Springer, 2010. [doi]

Maintaining the Ranch topologyXiaozhou Li, Jayadev Misra, C. Greg Plaxton. jpdc, 70(11):1142-1158, 2010. [doi]

2009

Preface to special issue on software verificationC. A. R. Hoare, Jayadev Misra. ACM Comput. Surv., 41(4), 2009. [doi]

The verified software initiative: A manifestoC. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar. ACM Comput. Surv., 41(4), 2009. [doi]

The Orc Programming LanguageDavid Kitchin, Adrian Quark, William R. Cook, Jayadev Misra. forte 2009: 1-25 [doi]

2008

Structured Interacting ComputationsWilliam R. Cook, Jayadev Misra. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 139-145, Springer, 2008. [doi]

Simulation Using OrchestrationDavid Kitchin, Evan Powell, Jayadev Misra. amast 2008: 2-15 [doi]

Simulation, Orchestration and Logical ClocksDavid Kitchin, Evan Powell, Jayadev Misra. FM 2008: 34 [doi]

A timed semantics of OrcIan Wehrman, David Kitchin, William R. Cook, Jayadev Misra. TCS, 402(2-3):234-248, 2008. [doi]

2007

Computation OrchestrationJayadev Misra, William R. Cook. SoSyM, 6(1):83-110, 2007. [doi]

Computation OrchestrationJayadev Misra, William R. Cook. Software & Systems Modeling, 6(1):83-110, March 2007. [doi]

2006

Workflow Patterns in OrcWilliam R. Cook, Sourabh Patwardhan, Jayadev Misra. coordination 2006: 82-96 [doi]

A Language for Task Orchestration and Its Semantic PropertiesDavid Kitchin, William R. Cook, Jayadev Misra. concur 2006: 477-491 [doi]

Concurrent Maintenance of RingsXiaozhou Li, Jayadev Misra, C. Greg Plaxton. dc, 19(2):126-148, 2006. [doi]

2005

Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge ProjectTony Hoare, Jayadev Misra. vstte 2008: 1-18 [doi]

A Tree Semantics of an Orchestration LanguageTony Hoare, Galen Menzel, Jayadev Misra. In Engineering Theories of Software Intensive Systems. 2005: 331-350 [doi]

Computation Orchestration: A Basis for Wide-Area ComputingJayadev Misra. In Engineering Theories of Software Intensive Systems. 2005: 285-330 [doi]

2004

Brief announcement: concurrent maintenance of ringsXiaozhou Li, Jayadev Misra, C. Greg Plaxton. podc 2004: 376 [doi]

Active and Concurrent Topology MaintenanceXiaozhou Li, Jayadev Misra, C. Greg Plaxton. wdag 2004: 320-334 [doi]

A Programming Model for the Orchestration of Web ServicesJayadev Misra. SEFM 2004: 2-11 [doi]

2003

Computing with Distributed ResourcesYoung-ri Choi, Siddhartha Rai, Vinay Sampath Kumar, Jayadev Misra, Harrick M. Vin. jmlc 2003: 23-24 [doi]

Derivation of a parallel string matching algorithmJayadev Misra. ipl, 85(5):255-260, 2003. [doi]

Topic IntroductionJayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre. europar 2003: 623 [doi]

2002

2001

Designing a Calculational Proof of Cantor's TheoremEdsger W. Dijkstra, Jayadev Misra. tamm, 108(5):440-443, 2001. [doi]

Orchestrating Computations on the World-Wide WebJayadev Misra, Harrick M. Vin. apsec 2001: 305 [doi]

A walk over the shortest path: Dijkstra s Algorithm viewed as fixed-point computationJayadev Misra. ipl, 77(2-4):197-200, 2001. [doi]

A Programming Model for Wide-Area ComputingJayadev Misra. FM 2001: 222 [doi]

A Discipline of Multiprogramming - Programming Theory for Distributed ApplicationsJayadev Misra. Monographs in Computer Science, Springer, 2001. [doi]

2000

Toward a theory of maximally concurrent programs (shortened version)Rajeev Joshi, Jayadev Misra. podc 2000: 319-328 [doi]

Maximally Concurrent ProgramsRajeev Joshi, Jayadev Misra. fac, 12(2):100-119, 2000. [doi]

Object-Oriented Programming for Wide-Area ComputingJayadev Misra. fmoods 2000: 209

1998

An Object Model for MultiprogrammingJayadev Misra. ipps 1998: 881-889

1997

Seuss: What the Doctor OrderedLorenzo Alvisi, Rajeev Joshi, Calvin Lin, Jayadev Misra. pdse 1997: 284-290 [doi]

1996

Proof of a Real-Time Mutual-Exclusion AlgorithmJ. Allen Carruth, Jayadev Misra. ppl, 6(2):251-257, 1996. [doi]

A Discipline of MultiprogrammingJayadev Misra. ACM Comput. Surv., 28(4es):49, 1996.

1994

Powerlist: A Structure for Parallel RecursionJayadev Misra. TOPLAS, 16(6):1737-1767, 1994. [doi]

A Discipline of MultiprogrammingJayadev Misra. dimacs 1994: 357-382

1992

A Constructive Proof of Vizing s TheoremJayadev Misra, David Gries. ipl, 41(3):131-133, 1992.

Corrigenda: Phase SynchronizationJayadev Misra. ipl, 41(1):59, 1992.

Loosely-coupled processesJayadev Misra. fgcs, 8(4):269-286, 1992. [doi]

1991

A Perspective on Parallel Program DesignJayadev Misra. hlppp 1992: 2-5

Loosely-Coupled ProcessesJayadev Misra. parle 1991: 1-26

Phase SynchronizationJayadev Misra. ipl, 38(2):101-105, 1991.

1990

Equational Reasoning About Nondeterministic ProcessesJayadev Misra. fac, 2(2):167-195, 1990.

Specifying Concurrent Objects as Communicating ProcessesJayadev Misra. SCP, 14(2-3):159-184, 1990.

1989

Parallel program design - a foundationK. Mani Chandy, Jayadev Misra. Addison-Wesley, 1989.

Equational Reasoning About Nondeterministic ProcessesJayadev Misra. podc 1989: 29-44

A Simple Proof of a Simple Consensus AlgorithmJayadev Misra. ipl, 33(1):21-24, 1989.

Specifications of Concurrently Accessed DataJayadev Misra. mpc 1989: 91-114

1988

Another view on "fairness"K. Mani Chandy, Jayadev Misra. sigsoft, 13(3):20, 1988. [doi]

1987

A Message-Based Approach to Discrete-Event SimulationRajive Bagrodia, K. Mani Chandy, Jayadev Misra. TSE, 13(6):654-665, 1987.

Parallelism and Programming: A PerspectiveK. Mani Chandy, Jayadev Misra. fsttcs 1987: 173-194

1986

Systolic Algorithms as ProgramsK. Mani Chandy, Jayadev Misra. dc, 1(3):177-183, 1986.

How Processes LearnK. Mani Chandy, Jayadev Misra. dc, 1(1):40-52, 1986.

An Example of Stepwise Refinement of Distributed Programs: Quiescence DetectionK. Mani Chandy, Jayadev Misra. TOPLAS, 8(3):326-343, 1986. [doi]

Distributed Discrete-Event SimulationJayadev Misra. ACM Comput. Surv., 18(1):39-65, 1986. [doi]

Axioms for Memory Access in Asynchronous Hardware SystemsJayadev Misra. TOPLAS, 8(1):142-153, 1986. [doi]

1985

How Processes LearnK. Mani Chandy, Jayadev Misra. podc 1985: 204-214

1984

A Paradigm for Detecting Quiescent Properties in Distributed ComputationsK. Mani Chandy, Jayadev Misra. nato 1985: 325-341 [doi]

The Drinking Philosopher s ProblemK. Mani Chandy, Jayadev Misra. TOPLAS, 6(4):632-646, 1984. [doi]

Axioms for Memory Access in Asynchronous Hardware SystemsJayadev Misra. concur 1985: 96-110

1983

Distributed Deadlock DetectionK. Mani Chandy, Jayadev Misra, Laura M. Haas. tocs, 1(2):144-156, 1983. [doi]

Detecting Termination of Distributed Computations Using MarkersJayadev Misra. podc 1983: 290-294

1982

A Distributed Algorithm for Detecting Resource Deadlocks in Distributed SystemsK. Mani Chandy, Jayadev Misra. podc 1982: 157-164

The use of performance models in systematic designK. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse. afips 1982: 251-256 [doi]

Distributed Computation on Graphs: Shortest Path AlgorithmsK. Mani Chandy, Jayadev Misra. CACM, 25(11):833-837, 1982.

Finding Repeated ElementsJayadev Misra, David Gries. SCP, 2(2):143-152, 1982.

Proving Safety and Liveness of Communicating Processes with ExamplesJayadev Misra, K. Mani Chandy, Todd Smith. podc 1982: 201-208

A Distributed Graph Algorithm: Knot DetectionJayadev Misra, K. Mani Chandy. TOPLAS, 4(4):678-686, 1982. [doi]

Termination Detection of Diffusing Computations in Communicating Sequential ProcessesJayadev Misra, K. Mani Chandy. TOPLAS, 4(1):37-43, 1982. [doi]

1981

Asynchronous Distributed Simulation via a Sequence of Parallel ComputationsK. Mani Chandy, Jayadev Misra. CACM, 24(4):198-206, 1981.

An Exercise in Program ExplanationJayadev Misra. TOPLAS, 3(1):104-109, 1981. [doi]

Proofs of Networks of ProcessesJayadev Misra, K. Mani Chandy. TSE, 7(4):417-426, 1981.

A Computer Modeling System Based on a User-Extensible Modeling LibraryDoug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry. cmg 1981: 127-129

1980

A simple model of distributed programs based on implementation-hiding and process autonomyK. Mani Chandy, Jayadev Misra. SIGPLAN, 15(7-8):26-35, 1980. [doi]

1979

Distributed Simulation of NetworksK. Mani Chandy, Victor Holmes, Jayadev Misra. cn, 3:105-113, 1979.

Deadlock Absence Proofs for Networks of Communicating ProcessesK. Mani Chandy, Jayadev Misra. ipl, 9(4):185-189, 1979.

Space-Time Trade Off in Implementing Certain Set OperationsJayadev Misra. ipl, 8(2):81-85, 1979.

Sign in or sign up to see more results.

runs on WebDSL