English

aether: Distributed system emulation in Common Lisp

Distributed, Parallel, and Cluster Computing 2021-04-26 v2
Authors: Eric C. Peterson , Peter J. Karalekas
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

We describe a Common Lisp package suitable for the high-level design, specification, simulation, and instrumentation of real-time distributed algorithms and hardware on which to run them. We discuss various design decisions around the package structure, and we explore their consequences with small examples.

Keywords

simulation compiler optimization programming languages

Cite

@article{arxiv.2011.06180,
  title  = {aether: Distributed system emulation in Common Lisp},
  author = {Eric C. Peterson and Peter J. Karalekas},
  journal= {arXiv preprint arXiv:2011.06180},
  year   = {2021}
}

Comments

Final, for-publication version

Related papers

View all related →
Logic in Computer Science · Computer Science
Iteration in ACL2
Matt Kaufmann, J Strother Moore
2020-09-30
Emerging Technologies · Computer Science
A Distributed Emulation Environment for In-Memory Computing Systems
Eleni Bougioukou, Anastasios Petropoulos, Nikolaos Toulgaridis, Theodoros Chatzimichail +1
2025-10-10
Distributed, Parallel, and Cluster Computing · Computer Science
Simulation Framework for Modeling Large-Scale Distributed Systems
Dobre Ciprian, Cristea Valentin, Iosif C. Legrand
2011-07-01
Distributed, Parallel, and Cluster Computing · Computer Science
Embedded Made Easy -- Rethinking Embedded + Cloud Software Development (WIP)
Anthony Arnold, Mark Marron
2026-05-15
Logic in Computer Science · Computer Science
ACL2s Systems Programming
Andrew T. Walter, Panagiotis Manolios
2022-05-25
Distributed, Parallel, and Cluster Computing · Computer Science
HiCR, an Abstract Model for Distributed Heterogeneous Programming
Sergio Miguel Martin, Luca Terracciano, Kiril Dichev, Noah Baumann +2
2025-09-03
Distributed, Parallel, and Cluster Computing · Computer Science
AI for Distributed Systems Design: Scalable Cloud Optimization Through Repeated LLMs Sampling And Simulators
Jacopo Tagliabue
2025-10-23
Programming Languages · Computer Science
Towards Efficient Abstractions for Concurrent Consensus
Carlo Spaccasassi, Vasileios Koutavas
2013-05-08
Distributed, Parallel, and Cluster Computing · Computer Science
An Explorative Study on Distributed Computing Techniques in Training and Inference of Large Language Models
Sheikh Azizul Hakim, Saem Hasan
2025-10-14
Distributed, Parallel, and Cluster Computing · Computer Science
IMSuite: A Benchmark Suite for Simulating Distributed Algorithms
Suyash Gupta, V. Krishna Nandivada
2013-10-11
Distributed, Parallel, and Cluster Computing · Computer Science
Towards A Systems Approach To Distributed Programming
Christopher S. Meiklejohn, Peter Van Roy
2018-02-09
Materials Science · Physics
Development of simulation package 'ELSES' for extra-large-scale electronic-structure calculation
Takeo Hoshi, Takeo Fujiwara
2009-06-16
Computational Engineering, Finance, and Science · Computer Science
GSEIM: A General-purpose Simulator with Explicit and Implicit Methods
Mahesh B. Patil, Ruchita D. Korgaonkar, Kumar Appaiah
2021-04-15
Cryptography and Security · Computer Science
A Distributed Process Model of Cryptographic Protocols
Andrew M. Mironov
2021-09-21
Distributed, Parallel, and Cluster Computing · Computer Science
libEnsemble: A Library to Coordinate the Concurrent Evaluation of Dynamic Ensembles of Calculations
Stephen Hudson, Jeffrey Larson, John-Luke Navarro, Stefan M. Wild
2021-06-28
Programming Languages · Computer Science
CLAZY: Lazy Calling for Common Lisp
Marco Antoniotti
2014-12-04
Other Computer Science · Computer Science
Integrated Design and Implementation of Embedded Control Systems with Scilab
Longhua Ma, Feng Xia, Zhe Peng
2008-09-30
Other Computer Science · Computer Science
A Tutorial for Creating and Publishing Open Source Lisp Software
Robert Smith
2012-09-26
Distributed, Parallel, and Cluster Computing · Computer Science
Practical Approach to Distributed Systems' Design
Jerzy Mieścicki, Wiktor B. Daszczuk, Waldemar Grabski, Artur Krystosik
2017-07-04
Machine Learning · Computer Science
Distributed Hybrid Parallelism for Large Language Models: Comparative Study and System Design Guide
Hossam Amer, Rezaul Karim, Ali Pourranjbar, Weiwei Zhang +2
2026-02-11
Distributed, Parallel, and Cluster Computing · Computer Science
Declarative, Secure, Convergent Edge Computation
Christopher Meiklejohn
2015-12-17
Programming Languages · Computer Science
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
Roberto Bagnara, Patricia Hill, Enea Zaffanella
2007-11-06
Materials Science · Physics
Development of simulation package for atomic processes of ultra-large-scale system based on electronic structure theory
Hitoshi Nitta, Naoki Watanabe, Takeo Hoshi, Takeo Fujiwara
2007-11-02
Programming Languages · Computer Science
Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
Anna Gallone, Simon Bliudze, Sophie Cerf, Olga Kouchnarenko
2026-02-06
Distributed, Parallel, and Cluster Computing · Computer Science
PESC -- Parallel Experiment for Sequential Code
Henrique C. T. Santos, Luciano S. de Souza, Jonathan H. A. de Carvalho, Tiago A. E. Ferreira
2023-01-18