Meta tags:

Headings (most frequently used words):

hello, recent, blog, posts, highlights, conference, talks, publications, subscribe, my, book,

Text of the page (most frequently used words):
and (74), martin (47), kleppmann (47), the (30), doi (27), for (23), distributed (22), data (17), alastair (15), beresford (15), 1145 (15), workshop (14), systems (14), april (11), consistency (11), with (10), 2024 (10), security (9), may (9), 2022 (9), computer (8), acm (8), peer (8), practice (8), you (7), software (7), book (7), 2019 (7), 2020 (7), international (7), conference (7), principles (7), papoc (7), 2025 (7), 2015 (6), victor (6), gomes (6), dominic (6), mulligan (6), replicated (6), march (6), have (6), 2021 (6), university (5), cambridge (5), local (5), first (5), best (5), ieee (5), december (5), july (5), 2017 (5), 2018 (5), collaboration (5), privacy (5), key (5), award (5), collaborative (5), daniel (5), from (4), protocols (4), new (4), archive (4), 1007 (4), 978 (4), issue (4), transactions (4), october (4), cryptography (4), databases (4), peter (4), november (4), research (4), 2023 (4), van (4), text (4), 1109 (4), editing (4), mar (4), please (3), support (3), patreon (3), designing (3), intensive (3), applications (3), arxiv (3), samza (3), media (3), 2016 (3), processing (3), formal (3), strong (3), eventual (3), free (3), datatypes (3), technologies (3), communications (3), volume (3), event (3), 2012 (3), musical (3), papers (3), secure (3), hardenberg (3), symposium (3), crdts (3), protocol (3), decentralized (3), parallel (3), tpds (3), proceedings (3), hugenroth (3), group (3), networks (3), 2026 (3), dec (3), jan (3), content (2), site (2), associate (2), professor (2), working (2), find (2), work (2), useful (2), has (2), five (2), star (2), reviews (2), thousands (2), won (2), your (2), email (2), any (2), time (2), out (2), subscribe (2), rss (2), feed (2), bluesky (2), report (2), ucam (2), 683 (2), 2007 (2), 48456 (2), jay (2), engineering (2), kafka (2), reilly (2), making (2), governance (2), proofs (2), conflict (2), 319 (2), apache (2), opsets (2), sequential (2), specifications (2), version (2), pages (2), where (2), elliptic (2), curve (2), byzantine (2), events (2), enhancing (2), 969 (2), ich (2), eine (2), die (2), türme (2), des (2), februar (2), 9th (2), stephan (2), kollmann (2), diana (2), vasile (2), presentation (2), 030 (2), messaging (2), interleaving (2), using (2), programming (2), 7th (2), 3380787 (2), towards (2), 11th (2), 3642976 (2), json (2), move (2), carbon (2), reviewed (2), conferences (2), vol (2), article (2), distinguished (2), artifact (2), verifying (2), popets (2), matthew (2), weidner (2), pudding (2), user (2), discovery (2), anonymity (2), gentle (2), 20th (2), european (2), eurosys (2), talks (2), full (2), feb (2), will (2), graphs (2), nov (2), several (2), that (2), review (2), contact (2), supporters (2), people (2), was (2), acquired (2), about (2), unless, otherwise, specified, all, this, licensed, under, theme, borrowed, ported, jekyll, carrington, creative, commons, attribution, unported, license, received, give, address, anyone, else, send, spam, can, unsubscribe, when, write, something, sign, receive, mastodon, follow, notification, laboratory, tech, prize, undergraduate, dissertation, simulation, colliding, constrained, rigid, bodies, 1509, 05393, september, critique, cap, theorem, kreps, bulletin, unix, philosophy, sense, stream, british, academy, royal, society, its, uses, modern, framework, establishing, encyclopedia, big, springer, 63962, 8_197, proof, document, 1805, 04263, extended, boerge, svingen, 3312527, online, achieving, failed, draft, manuscript, implementing, curve25519, x25519, tutorial, heidi, howard, 00472, fundamental, limits, keynote, 15th, based, debs, 3465480, 3467835, thinking, 14th, hot, topics, hotpets, harm, reduction, cryptographic, backdoors, department, science, technology, technical, assessing, understandability, algorithm, tweeting, buggy, pseudocode, alvaro, 104, 106, 3563901, convergence, karissa, rae, mckelvey, scott, jenson, eileen, wagner, blaine, cook, ink, switch, upwelling, combining, real, control, writers, norbert, locher, helma, lierop, debrauwer, jana, mikota, eds, bin, märchenerzählerin, wurde, geboren, universitätsverlag, siegen, 25819, ubsi, 10415, adaption, invited, chapters, unrefereed, reports, conrad, irwin, passwords, 29938, 9_9, strengthening, public, authentication, against, theft, 26th, 03251, 7_21, 6th, 3301419, 3323972, anomalies, editors, thomas, 27th, 57043, 9_23, ghost, trace, wire, evidence, informed, decisions, adam, wiggins, mark, mcgranaghan, sigplan, ideas, paradigms, reflections, onward, 3359591, 3359737, own, spite, cloud, 3393677, moving, elements, list, 3393683, pushpin, production, quality, 3517209, 3524042, fault, tolerant, liangrun, 3653030, extending, operations, leo, stewen, 3653029, undo, redo, registers, jessica, man, sadiq, jaffer, patrick, ferris, anil, madhavapeddy, 1st, low, computing, loco, emission, impossible, preserving, emissions, claims, paul, frazee, jake, gold, graber, holmgren, devin, ivy, jeromy, johnson, bryan, newbold, jaz, volpert, conext, decentralization, internet, din, 3694809, 3700740, usable, social, emilie, 29th, kintsugi, e2ee, recovery, other, workshops, 2733, 2746, 2697382, datatype, languages, pacmpl, oopsla, 109, paper, 3133933, 2478, 0044, snapdoc, authenticated, snapshots, history, 30th, usenix, august, rollercoaster, efficient, multicast, scheme, mix, 1711, 1724, 3118603, highly, available, operation, trees, sigsac, ccs, 3460120, 3484542, agreement, guarantees, geoffrey, litt, sarah, lim, human, interaction, pacmhci, cscw2, 531, 3555644, peritext, crdt, rich, ceren, kocaoğullar, sp54263, 00167, private, joseph, gilles, muller, 3689031, 3696076, walker, better, faster, smaller, 2425, 2437, 3611880, art, fugue, minimizing, journals, top, tier, mitch, seymour, round, robin, publishing, secret, colors, introduction, books, publications, youtube, playlist, 12th, apr, lofi, meetup, qcon, london, speaking, spoken, 2010, valuation, caps, convertible, notes, explained, 2011, accounting, scientists, schema, evolution, avro, buffers, thrift, 2014, hermitage, testing, acid, turning, database, inside, stop, calling, how, locking, should, put, types, same, topic, sep, writing, worth, courses, bloom, filters, efficiently, synchronise, hash, older, articles, remained, popular, highlights, future, fusion, energy, oct, isabelle, hol, year, jul, prediction, make, verification, mainstream, things, written, recently, recent, blog, posts, feel, found, income, goes, supporting, collaborators, thank, composed, works, including, german, dramatic, adaptation, which, cast, 150, premiered, tonke, dragt, 2nd, edition, authored, appeared, selling, title, architecture, amazon, chris, riccomini, previously, fellow, before, engineer, startup, founder, founded, 2009, red, gate, test, linkedin, rapportive, munich, teach, one, behind, open, source, project, automerge, concurrent, briefly, myself, hello, student, projects, skip, website,

Text of the page (random words):
martin kleppmann s website skip to content martin kleppmann student projects about contact supporters hello i m dr martin kleppmann briefly about myself i am an associate professor at the university of cambridge working on local first collaboration software and distributed systems security i teach concurrent and distributed systems and cryptography and protocol engineering and i m one of the people behind the automerge open source project i was previously a research fellow in the systems research group at tu munich 2022 2023 and at the university of cambridge 2015 2022 before that i was a software engineer and startup founder i co founded rapportive acquired by linkedin in 2012 and go test it acquired by red gate software in 2009 my book designing data intensive applications 2nd edition co authored with chris riccomini appeared in 2026 is a best selling title on the architecture of databases and distributed data processing systems and it has thousands of five star reviews on amazon i have composed several musical works including die türme des februar in german a musical dramatic adaptation of the book by tonke dragt which premiered in 2007 with a cast of 150 people if you have found my work useful please support me on patreon the income from patreon goes towards supporting my research collaborators thank you to my supporters feel free to contact me recent blog posts things i have written recently 08 dec 2025 prediction ai will make formal verification go mainstream 05 jul 2024 pudding user discovery for anonymity networks 04 jan 2024 2023 year in review 12 oct 2022 verifying distributed systems with isabelle hol 03 jan 2022 book review the future of fusion energy full archive highlights older articles that have remained popular 02 dec 2020 using bloom filters to efficiently synchronise hash graphs 18 nov 2020 new courses on distributed systems and elliptic curve cryptography 29 sep 2020 writing a book is it worth it 18 jan 2018 should you put several event types in the same kafka topic 08 feb 2016 how to do distributed locking 11 may 2015 please stop calling databases cp or ap 04 mar 2015 turning the database inside out with apache samza 25 nov 2014 hermitage testing the i in acid 05 dec 2012 schema evolution in avro protocol buffers and thrift 07 mar 2011 accounting for computer scientists 05 may 2010 valuation caps on convertible notes explained with graphs conference talks events where i will be speaking or have spoken 17 mar 2026 at qcon london 24 feb 2026 at local first lofi meetup 02 apr 2025 at 20th european conference on computer systems eurosys 31 mar 2025 at 12th workshop on principles and practice of consistency for distributed data papoc 30 may 2024 at local first conference full archive youtube playlist of my talks publications books martin kleppmann and mitch seymour secret colors a gentle introduction to cryptography round robin publishing april 2022 martin kleppmann designing data intensive applications o reilly media march 2017 peer reviewed papers in journals and top tier conferences matthew weidner and martin kleppmann the art of the fugue minimizing interleaving in collaborative text editing ieee transactions on parallel and distributed systems 36 11 2425 2437 november 2025 doi 10 1109 tpds 2025 3611880 joseph gentle and martin kleppmann collaborative text editing with eg walker better faster smaller 20th european conference on computer systems eurosys april 2025 doi 10 1145 3689031 3696076 gilles muller best artifact award ceren kocaoğullar daniel hugenroth martin kleppmann and alastair r beresford pudding private user discovery in anonymity networks ieee symposium on security and privacy s p may 2024 doi 10 1109 sp54263 2024 00167 geoffrey litt sarah lim martin kleppmann and peter van hardenberg peritext a crdt for collaborative rich text editing proceedings of the acm on human computer interaction pacmhci volume 6 issue cscw2 article 531 november 2022 doi 10 1145 3555644 matthew weidner martin kleppmann daniel hugenroth and alastair r beresford key agreement for decentralized secure group messaging with strong security guarantees acm sigsac conference on computer and communications security ccs november 2021 doi 10 1145 3460120 3484542 martin kleppmann dominic p mulligan victor b f gomes and alastair r beresford a highly available move operation for replicated trees ieee transactions on parallel and distributed systems 33 7 1711 1724 october 2021 doi 10 1109 tpds 2021 3118603 daniel hugenroth martin kleppmann and alastair r beresford rollercoaster an efficient group multicast scheme for mix networks 30th usenix security symposium august 2021 stephan a kollmann martin kleppmann and alastair r beresford snapdoc authenticated snapshots with history privacy in peer to peer collaborative editing proceedings on privacy enhancing technologies popets vol 2019 issue 3 july 2019 doi 10 2478 popets 2019 0044 victor b f gomes martin kleppmann dominic p mulligan and alastair r beresford verifying strong eventual consistency in distributed systems proceedings of the acm on programming languages pacmpl vol 1 oopsla article 109 october 2017 doi 10 1145 3133933 distinguished paper award and distinguished artifact award martin kleppmann and alastair r beresford a conflict free replicated json datatype ieee transactions on parallel and distributed systems 28 10 2733 2746 april 2017 doi 10 1109 tpds 2017 2697382 peer reviewed papers in other conferences and workshops emilie ma and martin kleppmann kintsugi decentralized e2ee key recovery 29th international workshop on security protocols march 2025 best presentation award martin kleppmann paul frazee jake gold jay graber daniel holmgren devin ivy jeromy johnson bryan newbold and jaz volpert bluesky and the at protocol usable decentralized social media acm conext 2024 workshop on the decentralization of the internet din december 2024 doi 10 1145 3694809 3700740 jessica man sadiq jaffer patrick ferris martin kleppmann and anil madhavapeddy emission impossible privacy preserving carbon emissions claims 1st international workshop on low carbon computing loco december 2024 leo stewen and martin kleppmann undo and redo support for replicated registers 11th workshop on principles and practice of consistency for distributed data papoc april 2024 doi 10 1145 3642976 3653029 liangrun da and martin kleppmann extending json crdts with move operations 11th workshop on principles and practice of consistency for distributed data papoc april 2024 doi 10 1145 3642976 3653030 martin kleppmann making crdts byzantine fault tolerant 9th workshop on principles and practice of consistency for distributed data papoc april 2022 doi 10 1145 3517209 3524042 peter van hardenberg and martin kleppmann pushpin towards production quality peer to peer collaboration 7th workshop on principles and practice of consistency for distributed data papoc april 2020 doi 10 1145 3380787 3393683 martin kleppmann moving elements in list crdts 7th workshop on principles and practice of consistency for distributed data papoc april 2020 doi 10 1145 3380787 3393677 martin kleppmann adam wiggins peter van hardenberg and mark mcgranaghan local first software you own your data in spite of the cloud acm sigplan international symposium on new ideas new paradigms and reflections on programming and software onward 19 october 2019 doi 10 1145 3359591 3359737 diana a vasile martin kleppmann daniel r thomas and alastair r beresford ghost trace on the wire using key evidence for informed decisions 27th international workshop on security protocols april 2019 doi 10 1007 978 3 030 57043 9_23 martin kleppmann victor b f gomes dominic p mulligan and alastair r beresford interleaving anomalies in collaborative text editors 6th workshop on principles and practice of consistency for distributed data papoc march 2019 doi 10 1145 3301419 3323972 martin kleppmann stephan a kollmann diana a vasile and alastair r beresford from secure messaging to secure collaboration 26th international workshop on security protocols march 2018 doi 10 1007 978 3 030 03251 7_21 best presentation award martin kleppmann and conrad irwin strengthening public key authentication against key theft 9th international conference on passwords december 2015 doi 10 1007 978 3 319 29938 9_9 invited papers book chapters and unrefereed reports martin kleppmann and norbert locher die türme des februar eine musical adaption in helma van lierop debrauwer and jana mikota eds ich bin eine märchenerzählerin so wurde ich geboren universitätsverlag siegen april 2023 doi 10 25819 ubsi 10415 karissa rae mckelvey scott jenson eileen wagner blaine cook and martin kleppmann upwelling combining real time collaboration with version control for writers ink switch march 2023 martin kleppmann and peter alvaro research for practice convergence communications of the acm volume 65 issue 11 pages 104 106 november 2022 doi 10 1145 3563901 martin kleppmann assessing the understandability of a distributed algorithm by tweeting buggy pseudocode university of cambridge department of computer science and technology technical report ucam cl tr 969 may 2022 doi 10 48456 tr 969 martin kleppmann harm reduction for cryptographic backdoors 14th workshop on hot topics in privacy enhancing technologies hotpets july 2021 martin kleppmann thinking in events from databases to distributed collaboration software keynote at 15th acm international conference on distributed and event based systems debs july 2021 doi 10 1145 3465480 3467835 martin kleppmann and heidi howard byzantine eventual consistency and the fundamental limits of peer to peer databases arxiv 2012 00472 cs dc december 2020 martin kleppmann implementing curve25519 x25519 a tutorial on elliptic curve cryptography draft manuscript october 2020 martin kleppmann alastair r beresford and boerge svingen online event processing achieving consistency where distributed transactions have failed communications of the acm volume 62 issue 5 pages 43 49 may 2019 doi 10 1145 3312527 martin kleppmann victor b f gomes dominic p mulligan and alastair r beresford opsets sequential specifications for replicated datatypes extended version arxiv 1805 04263 cs dc may 2018 martin kleppmann victor b f gomes dominic p mulligan and alastair r beresford opsets sequential specifications for replicated datatypes proof document archive of formal proofs may 2018 martin kleppmann apache samza in encyclopedia of big data technologies springer march 2018 doi 10 1007 978 3 319 63962 8_197 2 victor b f gomes martin kleppmann dominic p mulligan and alastair r beresford a framework for establishing strong eventual consistency for conflict free replicated datatypes archive of formal proofs july 2017 alastair r beresford and martin kleppmann data governance and modern computer systems british academy and royal society workshop on the governance of data and its uses july 2016 martin kleppmann making sense of stream processing o reilly media may 2016 martin kleppmann and jay kreps kafka samza and the unix philosophy of distributed data ieee data engineering bulletin 38 4 4 14 december 2015 martin kleppmann a critique of the cap theorem arxiv 1509 05393 cs dc september 2015 martin kleppmann simulation of colliding constrained rigid bodies university of cambridge computer laboratory tech report ucam cl tr 683 april 2007 doi 10 48456 tr 683 prize for best undergraduate dissertation subscribe site rss feed to find out when i write something new sign up to receive an email notification follow me on bluesky or mastodon or subscribe to the rss feed i won t give your email address to anyone else won t send you any spam and you can unsubscribe at any time my book my book designing data intensive applications has received thousands of five star reviews i am an associate professor working on local first software and security protocols at the university of cambridge if you find my work useful please support me on patreon unless otherwise specified all content on this site is licensed under a creative commons attribution 3 0 unported license theme borrowed from carrington ported to jekyll by martin kleppmann