mirror of
https://github.com/lux-apps/papers.git
synced 2026-11-03 05:07:46 +00:00
zeekay
f4ee7a0525
Bylines, paper authorship, correspondence addresses and the founder blurb under each post named an individual. They name the organisation that published the work instead: the brand on posts and pages, the research byline on papers, and research@ in place of a personal address. Both are what these repositories already used elsewhere — nothing new was coined. Co-authors are untouched. Where a paper named someone else alongside, they stay named; only the one byline changed. Bibliography entries, running heads, PDF metadata and affiliations move with it, so a citation still resolves to whoever the cited paper names. Sample and fixture data uses the placeholder name these tests already use elsewhere, so no assertion changed meaning.
197 lines
7.1 KiB
BibTeX
197 lines
7.1 KiB
BibTeX
@inproceedings{gelashvili2022blockstm,
|
|
author = {Rati Gelashvili and Alexander Spiegelman and Zhuolun Xiang
|
|
and George Danezis and Zekun Li and Dahlia Malkhi
|
|
and Yu Xia and Runtian Zhou},
|
|
title = {{Block-STM}: Scaling Blockchain Execution by Turning Ordering
|
|
Curse to a Performance Blessing},
|
|
booktitle = {Proceedings of the 28th ACM SIGPLAN Annual Symposium on
|
|
Principles and Practice of Parallel Programming (PPoPP)},
|
|
year = {2023},
|
|
note = {Originally arXiv:2203.06871, 2022},
|
|
url = {https://arxiv.org/abs/2203.06871}
|
|
}
|
|
|
|
@inproceedings{dice2006tl2,
|
|
author = {Dave Dice and Ori Shalev and Nir Shavit},
|
|
title = {Transactional Locking {II}},
|
|
booktitle = {Proceedings of the 20th International Symposium on Distributed
|
|
Computing (DISC)},
|
|
year = {2006},
|
|
pages = {194--208},
|
|
publisher = {Springer},
|
|
series = {Lecture Notes in Computer Science},
|
|
volume = {4167}
|
|
}
|
|
|
|
@inproceedings{yu2016tictoc,
|
|
author = {Xiangyao Yu and Andrew Pavlo and Daniel Sanchez
|
|
and Srinivas Devadas},
|
|
title = {{TicToc}: Time Traveling Optimistic Concurrency Control},
|
|
booktitle = {Proceedings of the 2016 ACM SIGMOD International Conference
|
|
on Management of Data},
|
|
year = {2016},
|
|
pages = {1629--1642},
|
|
doi = {10.1145/2882903.2882935}
|
|
}
|
|
|
|
@inproceedings{cederman2010,
|
|
author = {Daniel Cederman and Anders Gidenstam and Phuong Ha
|
|
and H{\aa}kan Sundell and Marina Papatriantafilou
|
|
and Philippas Tsigas},
|
|
title = {Lock-Free Concurrent Data Structures and Transactional Memory
|
|
for Many-Core Architectures},
|
|
booktitle = {Proceedings of the 2010 IEEE International Symposium on
|
|
Parallel \& Distributed Processing, Workshops and PhD Forum
|
|
(IPDPSW)},
|
|
year = {2010}
|
|
}
|
|
|
|
@inproceedings{holey2014,
|
|
author = {Anup Holey and Antonia Zhai},
|
|
title = {Lightweight Software Transactions on {GPUs}},
|
|
booktitle = {Proceedings of the 43rd International Conference on Parallel
|
|
Processing (ICPP)},
|
|
year = {2014},
|
|
pages = {461--470},
|
|
doi = {10.1109/ICPP.2014.55}
|
|
}
|
|
|
|
@inproceedings{lu2020aria,
|
|
author = {Yi Lu and Xiangyao Yu and Lei Cao and Samuel Madden},
|
|
title = {{Aria}: A Fast and Practical Deterministic {OLTP} Database},
|
|
booktitle = {Proceedings of the VLDB Endowment},
|
|
year = {2020},
|
|
volume = {13},
|
|
number = {12},
|
|
pages = {2047--2060}
|
|
}
|
|
|
|
@techreport{adya2000essn,
|
|
author = {Atul Adya and Barbara Liskov and Patrick O'Neil},
|
|
title = {Generalized Isolation Level Definitions},
|
|
institution = {MIT Laboratory for Computer Science},
|
|
year = {2000},
|
|
note = {Foundational treatment of MVSG-based serializability;
|
|
ESSN safe-net later derived in subsequent literature.}
|
|
}
|
|
|
|
@techreport{quasar2025,
|
|
author = {Lux Research},
|
|
title = {{LP-105}: {Quasar Consensus} --- Chain Separation for
|
|
Threshold Cryptography and {QuasarCert} Soundness},
|
|
institution = {Lux Industries},
|
|
year = {2025},
|
|
note = {Lux research paper, December 2025 spec freeze.}
|
|
}
|
|
|
|
@techreport{lp132-quasarexec,
|
|
author = {Lux Core Team},
|
|
title = {{LP-132}: {QuasarGPU} Execution Adapter},
|
|
institution = {Lux Industries},
|
|
year = {2025},
|
|
note = {GPU-native execution adapter for Quasar-certified rounds:
|
|
wave-tick scheduler, device-resident rings, EVM fibers,
|
|
MVCC Block-STM, async cold-state, per-lane cert
|
|
verification.}
|
|
}
|
|
|
|
@techreport{lp010-quasarstm,
|
|
author = {Lux Core Team},
|
|
title = {{LP-010}: {Block-STM 3.0} --- {QuasarSTM}},
|
|
institution = {Lux Industries},
|
|
year = {2025},
|
|
note = {Living LP. Adaptive-evolution roadmap (3.1, 3.2, 4.0)
|
|
referenced as research, out of scope for 3.0 spec.}
|
|
}
|
|
|
|
@inproceedings{aft2025conflictspec,
|
|
author = {AFT 2025 Authors},
|
|
title = {Conflict Specifications for Block Transactional Memory},
|
|
booktitle = {Advances in Financial Technologies (AFT)},
|
|
year = {2025},
|
|
note = {Declared access information accelerates Block-STM via
|
|
ConflictSpec ABI; oracle-driven scheduling with
|
|
Block-STM as fallback.}
|
|
}
|
|
|
|
@misc{nemo2025,
|
|
author = {NEMO Authors},
|
|
title = {{NEMO}: Lane-Class Execution for High-Skew Blockchain
|
|
Workloads},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Owned / shared / hot-shared / commutative lane class
|
|
separation; owned-objects fast path + shared-objects
|
|
validated path.}
|
|
}
|
|
|
|
@misc{rapidlane2025,
|
|
author = {RapidLane Authors},
|
|
title = {{RapidLane}: Deferred-Object Execution for Contended
|
|
Blockchain Workloads},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {${\sim}12{\times}$ throughput improvement on contended
|
|
workloads via deferred conflicting computation.}
|
|
}
|
|
|
|
@misc{foresight2025,
|
|
author = {ForeSight Authors},
|
|
title = {{ForeSight}: Predictive Scheduling for Deterministic
|
|
{OLTP}},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Conflict prediction, multiversion optimisation, and
|
|
light reordering before execution; avoids blind
|
|
execute-then-abort.}
|
|
}
|
|
|
|
@misc{chiron2025,
|
|
author = {Chiron Authors},
|
|
title = {{Chiron}: Execution Hints for Catch-Up Acceleration},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Up to 30\% speedup on catch-up paths via execution
|
|
hint roots; safety does not depend on hints.}
|
|
}
|
|
|
|
@misc{multiverse2026,
|
|
author = {Multiverse Authors},
|
|
title = {{Multiverse}: Dynamic Versioning for Mixed-Contention
|
|
Workloads},
|
|
year = {2025},
|
|
howpublished = {Manuscript},
|
|
note = {Always-on multiversioning is expensive; mix versioned
|
|
and unversioned transactions to keep the common case
|
|
fast.}
|
|
}
|
|
|
|
@inproceedings{csmv,
|
|
author = {CSMV Authors},
|
|
title = {{CSMV}: Collaborative Multi-Version {STM} on {GPUs}},
|
|
booktitle = {GPU Computing and Applications},
|
|
year = {2024},
|
|
note = {GPU client/server commit separation; collaborative
|
|
on-chip metadata.}
|
|
}
|
|
|
|
@inproceedings{motor2024,
|
|
author = {Motor Authors},
|
|
title = {{Motor}: One-{RDMA-Round-Trip} {MVCC} on Disaggregated
|
|
Memory},
|
|
booktitle = {Proceedings of the USENIX Symposium on Operating Systems
|
|
Design and Implementation (OSDI)},
|
|
year = {2024},
|
|
note = {VersionBlock layout: consecutive tuples for likely-visible
|
|
read in one RDMA trip.}
|
|
}
|
|
|
|
@misc{vmvcc,
|
|
author = {vMVCC Authors},
|
|
title = {{vMVCC}: Machine-Checked {MVCC} Linearisation},
|
|
year = {2024},
|
|
howpublished = {Manuscript},
|
|
note = {Formally verified MVCC reference; subtle linearisation
|
|
corner cases.}
|
|
}
|