Samuel Christie

According to our database, Samuel Christie authored at least 21 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Protocol-Based Engineering of Microservices.

Aditya Kailas Khadse, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra

Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Kiko: Programming Agents to Enact Interaction Models.

Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems.

Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Communication Meaning: Foundations and Directions for Systems Research.

Amit K. Chopra, Samuel H. Christie V.

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Decentralized Systems.

Samuel H. Christie V., Lalana Kagal, Alessandro Ricci, Munindar P. Singh

IEEE Internet Comput., 2022

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

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

Auton. Agents Multi Agent Syst., 2022

Pippi: Practical Protocol Instantiation.

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

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

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

IEEE Internet Comput., 2021

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols.

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

Computer, 2021

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

Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Tango: Declarative Semantics for Multiagent Communication Protocols.

Munindar P. Singh, Samuel H. Christie V.

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Deserv: Decentralized Serverless Computing.

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

Proceedings of the 2021 IEEE International Conference on Web Services, 2021

Multiagent Foundations for Distributed Systems: A Vision.

Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems.

Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh

J. Artif. Intell. Res., 2020

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

Samuel H. Christie V., Daria Smirnova, Amit K. Chopra, Munindar P. Singh

Computer, 2020

Fault Tolerance in Multiagent Systems.

Samuel H. Christie V., Amit K. Chopra

Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

Refinement for Multiagent Protocols.

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines.

Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh

CoRR, 2019

2018

Compositional Correctness in Multiagent Interactions.

Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols.

Amit K. Chopra, Samuel Christie, Munindar P. Singh

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2014

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

Titus Barik, Kevin Lubick, Samuel Christie, Emerson R. Murphy-Hill

Proceedings of the Second IEEE Working Conference on Software Visualization, 2014