Mace: language support for building distributed systems

No abstract is available for this paper.

• Publication year

  2007

• Venue

  ACM-SIGPLAN Symposium on Programming Language Design and Implementation

• Publication date

  2007-06-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1250734.1250755
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper)

  2007influential reference
• Pip: Detecting the Unexpected in Distributed Systems

  2006cited by this paper
• Implementing declarative overlays

  2005cited by this paper
• Maintaining High-Bandwidth Under Dynamic Network Conditions

  2005influential reference
• MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks

  2004cited by this paper
• Vivaldi: a decentralized network coordinate system

  2004cited by this paper
• The SPIN Model Checker - primer and reference manual

  2003cited by this paper
• Magpie: Online Modelling and Performance-aware Systems

  2003cited by this paper
• PlanetLab: A Blueprint for Introducing Disruptive Technology into the Internet

  2003cited by this paper
• SplitStream: high-bandwidth multicast in cooperative environments

  2003cited by this paper
• SplitStream: High-Bandwidth Content Distribution in Cooperative Environments

  2003cited by this paper
• Performance debugging for distributed systems of black boxes

  2003cited by this paper
• The SPIN Model Checker

  2003cited by this paper
• The nesC language: A holistic approach to networked embedded systems

  2003cited by this paper
• Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

  2002cited by this paper
• Pinpoint: problem determination in large, dynamic Internet services

  2002cited by this paper
• Pastry: Scalable, distributed object location and routing for large-scale peer-to-

  2001influential reference
• A Toolkit for User-Level File Systems

  2001influential reference
• Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems

  2001influential reference
• Wide-area cooperative storage with CFS

  2001cited by this paper
• SCRIBE: The Design of a Large-Scale Event Notification Infrastructure

  2001cited by this paper
• Chord: A scalable peer-to-peer lookup service for internet applications

  2001influential reference
• SEDA: an architecture for well-conditioned, scalable internet services

  2001cited by this paper
• Overcast: reliable multicasting with on overlay network

  2000influential reference
• The click modular router

  2000cited by this paper
• The Click modular router

  1999cited by this paper
• A readable TCP in the Prolac protocol language

  1999cited by this paper
• The Flux OSKit: a substrate for kernel and language research

  1997cited by this paper
• Model checking for programming languages using VeriSoft

  1997cited by this paper
• D: A Language Framework for Distributed Programming

  1997cited by this paper
• Aspect-oriented programming

  1996cited by this paper
• Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling

  1994cited by this paper
• Distributed Algorithms

  1992cited by this paper
• Communication and concurrency

  1989cited by this paper
• Automated Protocol Implementation with RTAG

  1988cited by this paper
• PAGER-M: A Novel Location-based Routing Protocol for Mobile Sensor Networks

  1988cited by this paper
• An Introduction to Estelle: A Specification Language for Distributed Systems

  1987cited by this paper
• Proceedings of the General Track: 2004 Usenix Annual Technical Conference Handling Churn in a Dht

  year unknowninfluential reference
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation Scalability and Accuracy in a Large-scale Network Emulator *

  year unknowncited by this paper
• Proceedings of the 5th Symposium on Operating Systems Design and Implementation Ivy: a Read/write Peer-to-peer File System

  year unknowncited by this paper
• Under Consideration for Publication in J. Functional Programming Acute: High-level Programming Language Design for Distributed Computation

  year unknowncited by this paper

• Runtime Protocol Refinement Checking for Distributed Protocol Implementations

  2025cites this paper
• ProGQL: A Provenance Graph Query System for Cyber Attack Investigation

  2025cites this paper
• Multi-Grained Specifications for Distributed System Model Checking and Verification

  2024cites this paper
• Generalized Concurrency Testing Tool for Distributed Systems

  2024cites this paper
• Model Checking Distributed Protocols in Must

  2024cites this paper
• SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

  2024cites this paper
• Towards Life-long Software Self-validation in Production

  2024cites this paper
• Performance Bug Analysis and Detection for Distributed Storage and Computing Systems

  2023cites this paper
• Distributed System Fuzzing

  2023cites this paper
• Metaverse as a Service: Megascale Social 3D on the Cloud

  2023cites this paper
• Greybox Fuzzing of Distributed Systems

  2023cites this paper
• Compiling Distributed System Models with PGo

  2023cites this paper
• Protocol Conformance with Choreographic PlusCal

  2023cites this paper
• Make Web3.0 Connected

  2022cites this paper
• Protocol combinators for modeling, testing, and execution of distributed systems

  2021influential citation
• Tardis: A Fault-Tolerant Design for Network Control Planes

  2021cites this paper
• A multiparty session typing discipline for fault-tolerant event-driven distributed programming

  2021cites this paper
• Tools for disambiguating RFCs

  2021cites this paper
• Reasoning about modern datacenter infrastructures using partial histories

  2021cites this paper
• TLC: temporal logic of distributed components

  2020cites this paper
• An Order-aware Dataflow Model for Extracting Shell Script Parallelism

  2020cites this paper
• Effective Randomized Concurrency Testing with Partial Order Methods

  2020cites this paper
• An order-aware dataflow model for parallel Unix pipelines

  2020cites this paper
• Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

  2020cites this paper
• Semi-automated protocol disambiguation and code generation

  2020cites this paper
• Effective Concurrency Testing for Distributed Systems

  2020cites this paper
• PaSh: light-touch data-parallel shell processing

  2020cites this paper
• Temporal Logic of Composable Distributed Components

  2020cites this paper
• Testing File System Implementations on Layered Models

  2020cites this paper
• Distributed causal memory: modular specification and verification in higher-order distributed separation logic

  2020cites this paper
• JCallGraph: Tracing Microservices in Very Large Scale Container Cloud Platforms

  2019cites this paper
• Distributed Protocol Combinators

  2019cites this paper
• Modular and Safe Event-Driven Programming

  2019cites this paper
• Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems

  2019cites this paper
• Compiling distributed system specifications into implementations

  2019cites this paper
• Verification of the Chord protocol in TLA

  2019cites this paper
• ϵ -Diagnosis: Unsupervised and Real-time Diagnosis of Small-window Long-tail Latency in Large-scale Microservice Platforms

  2019cites this paper
• Effective and Efficient Forensic Analysis via System Monitoring

  2019cites this paper
• Ignis: scaling distribution-oblivious systems with light-touch distribution

  2019cites this paper
• Teaching Rigorous Distributed Systems With Efficient Model Checking

  2019cites this paper
• RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems

  2019cites this paper
• HyperService: Interoperability and Programmability Across Heterogeneous Blockchains

  2019cites this paper
• Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning

  2019cites this paper
• Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

  2018cites this paper
• AIQL: Enabling Efficient Attack Investigation from System Monitoring Data

  2018cites this paper
• SAQL: A Stream-based Query System for Real-Time Abnormal System Behavior Detection

  2018cites this paper
• 2 Specifying and Implementing Systems via DPC

  2018cites this paper
• Pcatch: automatically detecting performance cascading bugs in cloud systems

  2018cites this paper
• 2 Specifying and Implementing Systems with DPC

  2018cites this paper
• Compositional programming and testing of dynamic distributed systems

  2018influential citation
• A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems

  2018cites this paper
• Netlet: A simple and versatile network middleware for peer-to-peer application program

  2017cites this paper
• 2nd Summit on Advances in Programming Languages, SNAPL 2017, Asilomar, CA, USA, May 7-10, 2017

  2017cites this paper
• PGo : Corresponding a high-level formal specification with its implementation

  2017cites this paper
• Rapid Prototyping of IoT Applications with Esperanto Compiler

  2017cites this paper
• Energy-saving optimization of interconnected distributed cooling, heating and power systems

  2017cites this paper
• Addressing selfishness in the design of cooperative systems. (Prise en compte et prévention des comportements égoïstes dans la conception de systèmes répartis collaboratifs)

  2017cites this paper
• Integrated IoT programming with selective abstraction

  2017cites this paper
• Building Evolvable Distributed Systems for Dynamic Data Center Environments

  2017cites this paper
• IronFleet

  2017cites this paper
• Analysis of current languages for developing distributed systems

  2017cites this paper
• Analysing Selfishness Flooding with SEINE

  2017cites this paper
• 1 Programming and Proving with Distributed Protocols

  2017cites this paper
• Local Recovery for High Availability in Strongly Consistent Cloud Services

  2017cites this paper
• Programming Language Abstractions for Modularly Verified Distributed Systems

  2017cites this paper
• Compositional Reasoning for Dynamic Distributed Systems

  2017cites this paper
• Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks

  2017cites this paper
• Contributions To Building Reliable Distributed Systems

  2017cites this paper
• Programming and proving with distributed protocols

  2017cites this paper
• Principled workflow-centric tracing of distributed systems

  2016cites this paper
• Ovid: A Software-Defined Distributed Systems Framework to support Consistency and Change

  2016cites this paper
• Chapar: certified causally consistent distributed key-value stores

  2016cites this paper
• A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

  2016cites this paper
• Optimizing Distributed Transactions: Speculative Client Execution, Certified Serializability, and High Performance Run-Time

  2016cites this paper
• Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift

  2016cites this paper
• Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)

  2016cites this paper
• Automated Adversarial Testing of Unmodified Wireless Routing Implementations

  2016cites this paper
• Scalable techniques for analysing and testing asynchronous software systems

  2016cites this paper
• Building Robust Distributed Systems and Network Protocols by Using Adversarial Testing and Behavioral Analysis

  2016cites this paper
• Automatic control of an OpenFlow-based network using Lua scripts and SPLAY

  2016cites this paper
• Programming Scalable Cloud Services with AEON

  2016cites this paper
• Formal Verification of Multi-Paxos for Distributed Consensus

  2016cites this paper
• Symbolic Verification of Remote Client Behavior in Distributed Systems

  2016cites this paper
• PSync: a partially synchronous language for fault-tolerant distributed algorithms

  2016influential citation
• Semantic Aware Online Detection of Resource Anomalies on the Cloud

  2016cites this paper
• System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications

  2015cites this paper
• Reliable and Scalable Communication for the Power Grid

  2015cites this paper
• Verdi: a framework for implementing and formally verifying distributed systems

  2015influential citation
• Graphical High Level Analysis of Communication in Distributed Virtual Reality Applications

  2015cites this paper
• Experience with Rules-Based Programming for Distributed, Concurrent, Fault-Tolerant Code

  2015cites this paper
• RACOON : A Framework for the Design of Accountable Selfish-Resilient Cooperative Systems Technical Report

  2015influential citation
• Gatling

  2015influential citation
• Verifying distributed system implementations ( Description ) 1

  2015cites this paper
• SAMC: a fast model checker for finding heisenbugs in distributed systems (demo)

  2015cites this paper
• Holons: towards a systematic approach to composing systems of systems

  2015cites this paper
• Entity based Programming Paradigm

  2015cites this paper
• Building Reliable Distributed Systems With P

  2015cites this paper
• A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems

  2015cites this paper
• Active Data: A programming model to manage data life cycle across heterogeneous systems and infrastructures

  2015cites this paper
• Ensuring specification compliance, robustness, and security of wireless network protocols

  2015cites this paper