Bibliography¶
Place your .bib files within the docs/references directory. For convenience,
we have included all the ART published papers in the docs/references/art.bib
file.
Any new .bib
file added to this folder will automatically be processed.
Citing in Markdown¶
Use the citation key from your .bib files to cite references in your markdown
files. The syntax is as follows:
This statement requires a citation [@citation_key].
Info
We have docs/references/update_repo_bibtexs.py script that can be used to
update the docs/references/anoma_repos.bib file to cite Anoma repositories
in the documentation.
References available¶
Anoma Research Topics (ART) papers
% https://art.anoma.net
@article{ art-2024-message-logic,
author = { Gabbay, Murdoch J. and Zarin, Naqib },
title = { {Message Logic} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14251398 },
url = { https://doi.org/10.5281/zenodo.14251397 }
}
@article{ art-2024-heterogeneous-paxos-20-specs,
author = { Karbyshev, Aleksandr and Sheff, Isaac },
title = { {Heterogeneous Paxos 2.0: the Specs} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14276903 },
url = { https://doi.org/10.5281/zenodo.12572557 }
}
@article{ art-2024-anoma-state-architecture,
author = { Sheff, Isaac },
title = { {Anoma State Architecture} },
journal = { Anoma Research Topics },
month = { Dec },
year = { 2024 },
publisher = { Zenodo },
version = { December 04, 2024 },
doi = { 10.5281/zenodo.14265827 },
url = { https://doi.org/10.5281/zenodo.14265826 }
}
@article{ art-2024-slow-games-policy-enforcement-under,
author = { Reusche, D and Goes, Christopher and Della Penna, Nicolas },
title = { {Slow Games: Policy Enforcement under Uncertainty} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 15, 2024 },
doi = { 10.5281/zenodo.13765214 },
url = { https://doi.org/10.5281/zenodo.13765213 }
}
@article{ art-2024-comparing-two-hash-functions,
author = { Yıldız, Burcu and Maller, Mary },
title = { {Comparing Two Hash Functions for Multi-Party Computation and Zero-Knowledge} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 10, 2024 },
doi = { 10.5281/zenodo.13739511 },
url = { https://doi.org/10.5281/zenodo.13739510 }
}
@article{ art-2024-compiling-juvix-cairo-assembly,
author = { Czajka, Lukasz },
title = { {Compiling Juvix to Cairo Assembly} },
journal = { Anoma Research Topics },
month = { Sep },
year = { 2024 },
publisher = { Zenodo },
version = { September 10, 2024 },
doi = { 10.5281/zenodo.13739344 },
url = { https://doi.org/10.5281/zenodo.13739343 }
}
@article{ art-2024-intentcentric-applications-anoma,
author = { Heuer, Michael and Reusche, D },
title = { {Intent-centric Applications for the Anoma Resource Machine} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2024 },
publisher = { Zenodo },
version = { August 26, 2024 },
doi = { 10.5281/zenodo.13340448 },
url = { https://doi.org/10.5281/zenodo.13340447 }
}
@article{ art-2024-heterogeneous-narwhal-paxos,
author = { Heindel, Tobias and Karbyshev, Aleksandr and Sheff, Isaac },
title = { {Heterogeneous Narwhal and Paxos} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 27, 2024 },
doi = { 10.5281/zenodo.10498999 },
url = { https://doi.org/10.5281/zenodo.10498998 }
}
@article{ art-2024-crosschain-integrity-controller-labels,
author = { Isaac, Sheff },
title = { {Cross-Chain Integrity with Controller Labels and Endorsement} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 25, 2024 },
doi = { 10.5281/zenodo.10498997 },
url = { https://doi.org/10.5281/zenodo.10498996 }
}
@article{ art-2024-anoma-resource-machine-specification,
author = { Khalniyazova, Yulia and Goes, Christopher },
title = { {Anoma Resource Machine Specification} },
journal = { Anoma Research Topics },
month = { Jun },
year = { 2024 },
publisher = { Zenodo },
version = { June 25, 2024 },
doi = { 10.5281/zenodo.10689620 },
url = { https://doi.org/10.5281/zenodo.10498990 }
}
@article{ art-2024-compiling-zkvms,
author = { Centelles, Alberto },
title = { {Compiling to ZKVMs} },
journal = { Anoma Research Topics },
month = { Apr },
year = { 2024 },
publisher = { Zenodo },
version = { April 19, 2024 },
doi = { 10.5281/zenodo.10998758 },
url = { https://doi.org/10.5281/zenodo.10498994 }
}
@article{ art-2024-intent-machines,
author = { Hart, Anthony and Reusche, D },
title = { {Intent Machines} },
journal = { Anoma Research Topics },
month = { Feb },
year = { 2024 },
publisher = { Zenodo },
version = { February 21, 2024 },
doi = { 10.5281/zenodo.10654543 },
url = { https://doi.org/10.5281/zenodo.10498992 }
}
@article{ art-2023-vampir-bestiary,
author = { Fitzgerald, Joshua and Centelles, Alberto },
title = { {VampIR Bestiary} },
journal = { Anoma Research Topics },
month = { Nov },
year = { 2023 },
publisher = { Zenodo },
version = { November 13, 2023 },
doi = { 10.5281/zenodo.10118865 },
url = { https://doi.org/10.5281/zenodo.10118864 }
}
@article{ art-2023-constraint-satisfaction-problems-survey,
author = { Hart, Anthony },
title = { {Constraint Satisfaction Problems: A Survey for Anoma} },
journal = { Anoma Research Topics },
month = { Oct },
year = { 2023 },
publisher = { Zenodo },
version = { October 18, 2023 },
doi = { 10.5281/zenodo.10019113 },
url = { https://doi.org/10.5281/zenodo.10019112 }
}
@article{ art-2023-exploring-cryptographic-approaches-enhance,
author = { Khalniyazova, Yulia },
title = { {Exploring Cryptographic Approaches to Enhance Privacy in Intent Solving} },
journal = { Anoma Research Topics },
month = { Oct },
year = { 2023 },
publisher = { Zenodo },
version = { October 02, 2023 },
doi = { 10.5281/zenodo.8321167 },
url = { https://doi.org/10.5281/zenodo.8321166 }
}
@article{ art-2023-core-language-juvix,
author = { Lukasz Czajka },
title = { {The Core language of Juvix} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 29, 2023 },
doi = { 10.5281/zenodo.8268850 },
url = { https://doi.org/10.5281/zenodo.8268849 }
}
@article{ art-2023-rethinking-vampir,
author = { Anthony Hart },
title = { {Rethinking VampIR} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 29, 2023 },
doi = { 10.5281/zenodo.8262815 },
url = { https://doi.org/10.5281/zenodo.8262814 }
}
@article{ art-2023-anoma-unified-architecture,
author = { Christopher Goes and Awa Sun Yin and Adrian Brink },
title = { {Anoma: a unified architecture for full-stack decentralised applications} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 24, 2023 },
doi = { 10.5281/zenodo.8279842 },
url = { https://doi.org/10.5281/zenodo.8279841 }
}
@article{ art-2023-geb-pipeline,
author = { Artem Gureev and Jonathan Prieto-Cubides },
title = { {Geb Pipeline} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 21, 2023 },
doi = { 10.5281/zenodo.8262747 },
url = { https://doi.org/10.5281/zenodo.8262746 }
}
@article{ art-2023-juvix-vampir-pipeline,
author = { Lukasz Czajka },
title = { {Juvix to VampIR Pipeline} },
journal = { Anoma Research Topics },
month = { Aug },
year = { 2023 },
publisher = { Zenodo },
version = { August 14, 2023 },
doi = { 10.5281/zenodo.8252903 },
url = { https://doi.org/10.5281/zenodo.8246535 }
}
Anoma Public GitHub repositories
author = {anoma},
title = {juvix},
year = {2017},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/juvix}
}
@misc{github-masp-mpc,
author = {anoma},
title = {masp-mpc},
year = {2020},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/masp-mpc}
}
@misc{github-masp,
author = {anoma},
title = {masp},
year = {2020},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/masp}
}
@misc{github-ferveo,
author = {anoma},
title = {ferveo},
year = {2020},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/ferveo}
}
@misc{github-anoma,
author = {anoma},
title = {anoma},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/anoma}
}
@misc{github-group-threshold-crypto,
author = {anoma},
title = {group-threshold-crypto},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/group-threshold-crypto}
}
@misc{github-research,
author = {anoma},
title = {research},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/research}
}
@misc{github-plonkup-hash,
author = {anoma},
title = {plonkup-hash},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/plonkup-hash}
}
@misc{github-plonkup,
author = {anoma},
title = {plonkup},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/plonkup}
}
@misc{github-typhon,
author = {anoma},
title = {typhon},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/typhon}
}
@misc{github-exhibit_plonkup,
author = {anoma},
title = {exhibit_plonkup},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/exhibit_plonkup}
}
@misc{github-taiga,
author = {anoma},
title = {taiga},
year = {2021},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/taiga}
}
@misc{github-juvix-stdlib,
author = {anoma},
title = {juvix-stdlib},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/juvix-stdlib}
}
@misc{github-namada-trusted-setup,
author = {anoma},
title = {namada-trusted-setup},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/namada-trusted-setup}
}
@misc{github-alucard,
author = {anoma},
title = {alucard},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/alucard}
}
@misc{github-masp-phase2,
author = {anoma},
title = {masp-phase2},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/masp-phase2}
}
@misc{github-vamp-ir,
author = {anoma},
title = {vamp-ir},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/vamp-ir}
}
@misc{github-namada-testnets,
author = {anoma},
title = {namada-testnets},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/namada-testnets}
}
@misc{github-ethereum-bridge,
author = {anoma},
title = {ethereum-bridge},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/ethereum-bridge}
}
@misc{github-vscode-juvix,
author = {anoma},
title = {vscode-juvix},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/vscode-juvix}
}
@misc{github-whitepaper,
author = {anoma},
title = {whitepaper},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/whitepaper}
}
@misc{github-devchain-container,
author = {anoma},
title = {devchain-container},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/devchain-container}
}
@misc{github-wasm-workspace,
author = {anoma},
title = {wasm-workspace},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/wasm-workspace}
}
@misc{github-devtool,
author = {anoma},
title = {devtool},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/devtool}
}
@misc{github-anoma-wasm-multitoken,
author = {anoma},
title = {anoma-wasm-multitoken},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/anoma-wasm-multitoken}
}
@misc{github-dev-utils,
author = {anoma},
title = {dev-utils},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/dev-utils}
}
@misc{github-namada,
author = {anoma},
title = {namada},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/namada}
}
@misc{github-namada-interface,
author = {anoma},
title = {namada-interface},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/namada-interface}
}
@misc{github-zkp-compiler-shootout,
author = {anoma},
title = {zkp-compiler-shootout},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/zkp-compiler-shootout}
}
@misc{github-homebrew-juvix,
author = {anoma},
title = {homebrew-juvix},
year = {2022},
publisher = {GitHub},
journal = {GitHub repository},
url = {https://github.com/anoma/homebrew-juvix}
}
Other literature
title={Heterogeneous Paxos: Technical Report},
author={Isaac Sheff and Xinwen Wang and Robbert van Renesse and Andrew C. Myers},
year={2020},
eprint={2011.08253},
archivePrefix={arXiv},
primaryClass={cs.DC}
}
@misc{karbyshevsheff2024heterogeneous,
title={Heterogeneous Paxos 2.0: the Specs},
author={Aleksandr Karbyshev and Isaac Sheff},
year={2024},
url={https://pomf2.lain.la/f/owqf7ws.pdf},
}
@misc{goes2024anoma,
author = {Christopher Goes},
title = {Anoma as the Universal Intent Machine for Ethereum},
year = {2024},
howpublished = {{Ethereum Research}},
note = {Draft},
url = {https://ethresear.ch/t/rfc-draft-anoma-as-the-universal-intent-machine-for-ethereum/19109},
urldate = {2024-06-17}
}
@inproceedings{Hewitt2006,
title = {What Is Commitment? Physical, Organizational, and Social (Revised)},
author = {Hewitt, Carl},
year = 2007,
publisher = {Springer Berlin Heidelberg},
address = {Berlin, Heidelberg},
pages = {293--307}
}
@phdthesis{clinger1981,
title = {Foundations of Actor Semantics},
author = {William Douglas Clinger},
year = 1981,
url = {https://dspace.mit.edu/handle/1721.1/6935},
school = {Massachusetts Institute of Technology (MIT)}
}
@inproceedings{Hewitt1973,
title = {A Universal Modular Actor Formalism for Artificial Intelligence},
author = {Carl Hewitt and Peter Bishop and Richard Steiger},
year = 1973,
location = {San Francisco, CA, USA},
publisher = {Morgan Kaufmann Publishers Inc.},
pages = {235--245}
}
@book{Scott1976,
title = {Toward a Mathematical Semantics for Computer Languages},
author = {Dana Scott and Christopher Strachey},
year = 1976,
publisher = {Prentice-Hall}
}
@book{Agha1986,
title = {Actors: A Model of Concurrent Computation in Distributed Systems},
author = {Gul A. Agha},
year = 1986,
publisher = {MIT Press}
}
@article{agha-overview-actor-languages,
title = {An overview of actor languages},
author = {Agha, Gul},
year = 1986,
month = {jun},
journal = {SIGPLAN Not.},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 21,
number = 10,
pages = {58–67},
doi = {10.1145/323648.323743},
url = {https://doi.org/10.1145/323648.323743},
}
@article{erlang,
title = {The development of Erlang},
author = {Armstrong, Joe},
year = 1997,
month = {aug},
journal = {SIGPLAN Not.},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 32,
number = 8,
pages = {196–203},
doi = {10.1145/258949.258967},
url = {https://doi.org/10.1145/258949.258967}
}
@book{milner-concurrency,
title = {Communication and Concurrency},
author = {Milner, R.},
year = 1989,
publisher = {Prentice-Hall, Inc.},
address = {USA}
}
@article{behavioural-timed-systems,
title = {{Behavioural equivalences for timed systems}},
author = {Tomasz Brengos and Marco Peressotti},
year = 2019,
month = Feb,
journal = {{Logical Methods in Computer Science}},
volume = {{Volume 15, Issue 1}},
doi = {10.23638/LMCS-15(1:17)2019},
url = {https://lmcs.episciences.org/5220}
}
@inproceedings{actario,
title = {Actario: A framework for reasoning about actor systems},
author = {Yasutake, Shohei and Watanabe, Takuo},
year = 2015
}
@article{Talcott1998,
title = {Composable Semantic Models for Actor Theories},
author = {Talcott, Carolyn L.},
year = 1998,
journal = {Higher Order Symbolic Computation},
publisher = {Springer Science and Business Media LLC},
volume = 11,
number = 3,
pages = {281–343},
doi = {10.1023/a:1010042915896},
url = {http://dx.doi.org/10.1023/A:1010042915896}
}
@article{lamport-global-states,
title = {Distributed snapshots: determining global states of distributed systems},
author = {Chandy, K. Mani and Lamport, Leslie},
year = 1985,
month = {feb},
journal = {ACM Transactions on Computer Systems},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 3,
number = 1,
pages = {63–75},
doi = {10.1145/214451.214456},
url = {https://doi.org/10.1145/214451.214456},
}
@article{selectors-actors-2014,
title = {Selectors: Actors with Multiple Guarded Mailboxes},
author = {Imam, Shams M. and Sarkar, Vivek},
year = 2014,
month = oct,
publisher = {ACM},
journal = {AGERE! '14: Proceedings of the 4th International Workshop on Programming based on Actors Agents and Decentralized Control},
series = {SPLASH '14},
doi = {10.1145/2687357.2687360},
url = {http://dx.doi.org/10.1145/2687357.2687360},
collection = {SPLASH '14}
}
@article{special-delivery-mailbox-types-2023,
title = {Special Delivery: Programming with Mailbox Types},
author = {Fowler, Simon and Attard, Duncan Paul and Sowul, Franciszek and Gay, Simon J. and Trinder, Phil},
year = 2023,
month = aug,
journal = {Proceedings of the ACM on Programming Languages},
publisher = {Association for Computing Machinery (ACM)},
volume = 7,
number = {ICFP},
pages = {78–107},
doi = {10.1145/3607832},
url = {http://dx.doi.org/10.1145/3607832}
}
@article{there-is-no-now-2015,
title = {There is No Now: Problems with simultaneity in distributed systems},
author = {Sheehy, Justin},
year = 2015,
month = {mar},
journal = {Queue},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 13,
number = 3,
pages = {20–27},
doi = {10.1145/2742694.2745385},
url = {https://doi.org/10.1145/2742694.2745385}
}
@article{why-local-clocks-are-easy-2016,
title = {Why Logical Clocks are Easy: Sometimes all you need is the right language.},
author = {Baquero, Carlos and Pregui\c{c}a, Nuno},
year = 2016,
month = {feb},
journal = {Queue},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 14,
number = 1,
pages = {53–69},
doi = {10.1145/2898442.2917756},
url = {https://doi.org/10.1145/2898442.2917756}
}
@article{lamport-time-clocks-1978,
title = {Time, clocks, and the ordering of events in a distributed system},
author = {Lamport, Leslie},
year = 1978,
month = {jul},
journal = {Commun. ACM},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = 21,
number = 7,
pages = {558–565},
doi = {10.1145/359545.359563},
url = {https://doi.org/10.1145/359545.359563},
}
@inproceedings{taxonomy-of-actor-models-2016,
title = {43 years of actors: a taxonomy of actor models and their key properties},
author = {De Koster, Joeri and Van Cutsem, Tom and De Meuter, Wolfgang},
year = 2016,
location = {Amsterdam, Netherlands},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
series = {AGERE 2016},
pages = {31–40},
doi = {10.1145/3001886.3001890},
url = {https://doi.org/10.1145/3001886.3001890}
}