End-user software customization by direct manipulation of tabular data. - Geoffrey Litt; Daniel Jackson 001; Tyler Millis; Jessica Ayeley Quaye (Onward!, 2020)

Wildcard: spreadsheet-driven customization of web applications. - Geoffrey Litt; Daniel Jackson 001 (Programming, 2020)

Cambria: Schema Evolution in Distributed Systems with Edit Lenses. - Geoffrey Litt; Peter van Hardenberg; Orion Henry (PaPoC@EuroSys, 2021)

Towards End-User Web Scraping for Customization. - Kapaya Katongo; Geoffrey Litt; Daniel Jackson 001 (Programming, 2021)

Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. - Daniel Jackson 001; Valerie Richmond; Mike Wang; Jeff Chow; Uriel Guajardo; Soonho Kong; Sergio Campos; Geoffrey Litt; Nikos Aréchiga (CoRR, 2021)

Merge what you can, fork what you can't: managing data integrity in local-first software. - Nicholas Schiefer; Geoffrey Litt; Daniel Jackson 001 (PaPoC@EuroSys, 2022)

Peritext: A CRDT for Collaborative Rich Text Editing. - Geoffrey Litt; Sarah Lim 001; Martin Kleppmann; Peter van Hardenberg (Proc. ACM Hum. Comput. Interact., 2022)

Riffle: Reactive Relational State for Local-First Applications. - Geoffrey Litt; Nicholas Schiefer; Johannes Schickling; Daniel Jackson 001 (UIST, 2023)

Building Personal Software with Reactive Databases - Geoffrey Litt (2023)

Schema Evolution in Interactive Programming Systems. - Jonathan Edwards; Tomas Petricek 001; Tijs van der Storm; Geoffrey Litt (Art Sci. Eng. Program., 2024)