Works (9)

Updated: July 5th, 2023 15:39

2022 journal article

Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 36(1).

By: S. Christie*, A. Chopra* & M. Singh n

author keywords: Fault tolerance; Agent programming; Protocols
TL;DR: Mandrake’s significance lies in demonstrating a straightforward approach for constructing decentralized applications without relying on coordination mechanisms in the infrastructure, thus achieving some of the goals of the founders of networked computing from the 1970s. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: February 28, 2022

2022 article

Multiagent Foundations for Distributed Systems: A Vision

ENGINEERING MULTI-AGENT SYSTEMS, Vol. 13190, pp. 62–71.

By: A. Chopra*, S. Christie* & M. Singh n

Sources: Web Of Science, ORCID, NC State University Libraries
Added: March 10, 2022

2021 journal article

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols

COMPUTER, 54(5), 44–53.

By: S. Christie n, A. Chopra* & M. Singh n

author keywords: Fault tolerance; Protocols; Fault tolerant systems
TL;DR: Bungie is presented, an approach based on applicationlevel protocols that precisely capture the causality inherent to the interactions among agents that provides abstractions for achieving fault tolerance. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: May 11, 2021

2021 article

Deserv: Decentralized Serverless Computing

2021 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, ICWS 2021, pp. 51–60.

By: S. Christie*, A. Chopra* & M. Singh n

author keywords: multiagent systems; protocols; programming model
TL;DR: Deserv is contributed, the first protocol-based programming model for decentralized applications that is suited to the cloud and demonstrates how to leverage function-as-a-service (FaaS), a popular serverless programming model, to implement agents. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: November 12, 2021

2021 journal article

Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain

IEEE INTERNET COMPUTING, 25(4), 67–75.

By: S. Christie n, M. Singh n & A. Chopra*

author keywords: Blockchain; History; Smart contracts; Distributed ledger; Law; Authorization; Blockchain; Contract; Regulatory norm; Document store
TL;DR: Hercule operationalizes declarative contracts over semistructured databases, the underlying representation for practical blockchain such as Hyperledger Fabric and Ethereum, and exploits the map-reduce capabilities of such stores to compute norm states. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 30, 2021

2021 article

Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications

PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), pp. 575–576.

By: A. Chopra*, S. Christie* & M. Singh n

author keywords: Commitments; information protocol; programming model
TL;DR: This work demonstrates how to specify a decentralized application flexibly and how to engineer correct, fault-tolerant endpoints (agents) for the principals in a straightforward manner and shows how to address application semantics, the holy grail of distributed systems. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Sources: Web Of Science, NC State University Libraries
Added: February 7, 2022

2020 chapter

Fault Tolerance in Multiagent Systems

In Engineering Multi-Agent Systems (pp. 78–86).

By: S. V & A. Chopra*

UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 16, 2022

2020 journal article

Protocols Over Things: A Decentralized Programming Model for the Internet of Things

Computer, 53(12), 60–68.

By: S. V*, D. Smirnova, A. Chopra* & M. Singh n

author keywords: Protocols; Internet of Things; Logistics; Programming; Correlation; Decision making
TL;DR: Protocols over Things, a decentralized programming model that represents an IoT application via a protocol between the parties involved and provides improved performance over network-level delivery guarantees, is contributed. (via Semantic Scholar)
Source: ORCID
Added: November 26, 2020

2014 article

How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction

2014 SECOND IEEE WORKING CONFERENCE ON SOFTWARE VISUALIZATION (VISSOFT), pp. 87–96.

By: T. Barik n, K. Lubick n, S. Christie n & E. Murphy-Hill n

TL;DR: It is shown that a foundational set of visual annotations that aid developers in better comprehending error messages when compilers expose their internal reasoning allow developers to give significantly better self-explanations when compared against today's dominant visualization paradigm. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018

Employment

Updated: December 6th, 2022 18:04

2020 - 2022

Lancaster University Lancaster, GB

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.