No compromises: distributed transactions with consistency, availability, and performance. - Aleksandar Dragojevic; Dushyanth Narayanan; Edmund B. Nightingale; Matthew Renzelmann; Alex Shamis; Anirudh Badam; Miguel Castro 001 (SOSP, 2015)

snmalloc: a message passing allocator. - Paul Liétar; Theodore Butler; Sylvan Clebsch; Sophia Drossopoulou; Juliana Franco; Matthew J. Parkinson; Alex Shamis; Christoph M. Wintersteiger; David Chisnall (ISMM, 2019)

Fast General Distributed Transactions with Opacity. - Alex Shamis; Matthew Renzelmann; Stanko Novakovic; Georgios Chatzopoulos; Aleksandar Dragojevic; Dushyanth Narayanan; Miguel Castro 001 (SIGMOD Conference, 2019)

A1: A Distributed In-Memory Graph Database. - Chiranjeeb Buragohain; Knut Magne Risvik; Paul Brett; Miguel Castro 001; Wonhee Cho 004; Joshua Cowhig; Nikolas Gloy; Karthik Kalyanaraman; Richendra Khanna; John Pao; Matthew Renzelmann; Alex Shamis; et al. (SIGMOD Conference, 2020)

AMP: Authentication of Media via Provenance. - Paul England; Henrique S. Malvar; Eric Horvitz; Jack W. Stokes; Cédric Fournet; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; Shabnam Erfani; Kevin Kane; Alex Shamis (CoRR, 2020)

Fast General Distributed Transactions with Opacity using Global Time. - Alex Shamis; Matthew Renzelmann; Stanko Novakovic; Georgios Chatzopoulos; Anders T. Gjerdrum; Dan Alistarh; Aleksandar Dragojevic; Dushyanth Narayanan; Miguel Castro 001 (CoRR, 2020)

AMP: authentication of media via provenance. - Paul England; Henrique S. Malvar; Eric Horvitz; Jack W. Stokes; Cédric Fournet; Rebecca Burke-Aguero; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; John Deutscher; Shabnam Erfani; Matt Gaylor; et al. (MMSys, 2021)

PAC: Practical Accountability for CCF. - Alex Shamis; Peter R. Pietzuch; Miguel Castro 001; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Cédric Fournet; Matthew Kerner; Julien Maffre; Manuel Costa; Mark Russinovich (CoRR, 2021)

IA-CCF: Individual Accountability for Permissioned Ledgers. - Alex Shamis; Peter R. Pietzuch; Burcu Canakci; Miguel Castro 001; Cédric Fournet; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Matthew Kerner; Julien Maffre; Olga Vrousgou; et al. (NSDI, 2022)

CTR: Checkpoint, Transfer, and Restore for Secure Enclaves. - Yoshimichi Nakatsuka; Ercan Ozturk; Alex Shamis; Andrew Paverd; Peter R. Pietzuch (CoRR, 2022)

Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement. - Alex Shamis; Peter R. Pietzuch; Antoine Delignat-Lavaud; Andrew Paverd; Manuel Costa (CoRR, 2022)