Publikationen
Sortiere nach: Autor, Jahr, Titel
- Lore. A programming model for verifiably safe local-first software.
ACM Transactions on Programming Languages and Systems, Vol. 46, Nr. 1, S. 1 - 26. (2024) - A Study of Semantics for CRDT-based Collaborative Spreadsheets.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2023, Rome, Italy, 8 May 2023, S. 37 - 43. (2023)
DOI: 10.1145/3578358.3591324
https://doi.org/10.1145/3578358.3591324 - Bridging the Gap. Infusing Natural Science Classes with Computer Science Concepts and Skills.
Informatics in Schools. Beyond Bits and Bytes, Vol. 14296, S. 180 - 193. (2023)
DOI: 10.1007/978-3-031-44900-0\_14
https://doi.org/10.1007/978-3-031-44900-0\_14 - LoRe. A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).
37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, Vol. 263, S. 12 - 1. (2023)
DOI: 10.4230/LIPICS.ECOOP.2023.12
https://doi.org/10.4230/LIPIcs.ECOOP.2023.12 - Persisting the AntidoteDB Cache. Design and Implementation of a Cache for a CRDT Datastore.
Nr. RR-9470, (2022-Jan)
https://inria.hal.science/hal-03654003 - Set-theoretic types for erlang.
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, S. 1 - 14. (2022) - Access Control Conflict Resolution in Distributed File Systems using CRDTs.
8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2021, April 26, 2021, (2021) - Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems.
8th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2021, April 26, 2021, (2021) - Bidirectional typing for Erlang.
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021, S. 54 - 63. (2021)
DOI: 10.1145/3471871.3472966
https://doi.org/10.1145/3471871.3472966 - Combining state- and event-based semantics to verify highly available applications.
Sci. Comput. Program., Vol. 210, S. 102687. (2021)
DOI: 10.1016/J.SCICO.2021.102687
https://doi.org/10.1016/j.scico.2021.102687 - On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems (Best Student Paper Award).
Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings, Vol. 12754, S. 3 - 18. (2021)
DOI: 10.1007/978-3-030-91014-3\_1
https://doi.org/10.1007/978-3-030-91014-3\_1 - AutoCouch. a JSON CRDT framework.
7th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2020, Heraklion, Greece, April 27, 2020, S. 6 - 1. (2020)
DOI: 10.1145/3380787.3393679
https://doi.org/10.1145/3380787.3393679 - Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020, S. 14 - 23. (2020)
DOI: 10.1145/3406085.3409009
https://doi.org/10.1145/3406085.3409009 - Combining State- and Event-Based Semantics to Verify Highly Available Programs.
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings, S. 213 - 232. (2019)
DOI: 10.1007/978-3-030-40914-2\_11
https://doi.org/10.1007/978-3-030-40914-2\_11 - Collaborative Work Management with a Highly-Available Kanban Board.
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, S. 59 - 72. (2018)
DOI: 10.1007/978-3-319-98047-8\_4
https://doi.org/10.1007/978-3-319-98047-8\_4 - Ensuring referential integrity under causal consistency.
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2018, Porto, Portugal, April 23-26, 2018, S. 1 - 1. (2018)
DOI: 10.1145/3194261.3194262
https://doi.org/10.1145/3194261.3194262 - Global-Local View. Scalable Consistency for Concurrent Data Types.
Euro-Par 2018, S. 492 - 504. (2018)
DOI: 10.1007/978-3-319-96983-1\_35
https://doi.org/10.1007/978-3-319-96983-1\_35 - EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper).
Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, S. 236 - 242. (2017)
DOI: 10.1007/978-3-319-60225-7\_17
https://doi.org/10.1007/978-3-319-60225-7\_17 - FMKe. a Real-World Benchmark for Key-Value Data Stores.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017, S. 7 - 1. (2017)
DOI: 10.1145/3064889.3064897
https://doi.org/10.1145/3064889.3064897 - Legion. Enriching Internet Services with Peer-to-Peer Interactions.
Proceedings of the 26th International Conference on World Wide Web, WWW 2017, Perth, Australia, April 3-7, 2017, S. 283 - 292. (2017)
DOI: 10.1145/3038912.3052673
https://doi.org/10.1145/3038912.3052673 - Practical evaluation of the Lasp programming model at large scale. an experience report.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, S. 109 - 114. (2017)
DOI: 10.1145/3131851.3131862
https://doi.org/10.1145/3131851.3131862 - Access Control for Weakly Consistent Replicated Information Systems.
Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings, S. 82 - 97. (2016)
DOI: 10.1007/978-3-319-46598-2\_6
https://doi.org/10.1007/978-3-319-46598-2\_6 - Cure. Strong Semantics Meets High Availability and Low Latency.
36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, Nara, Japan, June 27-30, 2016, S. 405 - 414. (2016)
DOI: 10.1109/ICDCS.2016.98
https://doi.org/10.1109/ICDCS.2016.98 - Decoupling conflict resolution with CDVCS.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, S. 11 - 1. (2016)
DOI: 10.1145/2911151.2911154
https://doi.org/10.1145/2911151.2911154 - Eventually consistent register revisited.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, S. 9 - 1. (2016)
DOI: 10.1145/2911151.2911157
https://doi.org/10.1145/2911151.2911157 - Highly-scalable concurrent objects.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2016, London, United Kingdom, April 18, 2016, S. 13 - 1. (2016)
DOI: 10.1145/2911151.2911158
https://doi.org/10.1145/2911151.2911158 - Observing the consistency of distributed systems.
Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016, S. 54 - 55. (2016)
DOI: 10.1145/2975969.2975975
https://doi.org/10.1145/2975969.2975975 - Adaptive Strength Geo-Replication Strategy.
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data, (2015) - Collaborative offline web applications using Conflict-free Replicated Data Types.
Proceedings of the Workshop on Principles and Practice of Consistency for Distributed Data, (2015) - Transactions on Mergeable Objects.
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, S. 427 - 444. (2015)
DOI: 10.1007/978-3-319-26529-2\_23
https://doi.org/10.1007/978-3-319-26529-2\_23 - Write Fast, Read in the Past. Causal Consistency for Client-Side Applications.
Proceedings of the 16th Annual Middleware Conference, Vancouver, BC, Canada, December 07 - 11, 2015, S. 75 - 87. (2015)
DOI: 10.1145/2814576.2814733
https://doi.org/10.1145/2814576.2814733 - Formal Specification and Verification of CRDTs.
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, Vol. 8461, S. 33 - 48. (2014) - SwiftCloud. Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.
33rd IEEE International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2014, Nara, Japan, October 6-9, 2014, S. 30 - 33. (2014) - Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory.
Proceedings of the 13th International Conference on Distributed Computing and Networking (ICDCN12), (2012-jan) - Access Permission Contracts for Scripting Languages.
POPL 2012, (2012-Jan) - Brief Announcement. Semantics of Eventually Consistent Replicated Sets.
Distributed Computing - 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings, S. 441 - 442. (2012) - Proving Isolation Properties for Software Transactional Memory.
Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011., (2011) - Brief announcement. Actions in the Twilight - Concurrent Irrevocable Transactions and Inconsistency Repair.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, S. 71 - 72. (2010) - Consistency in hindsight. A fully decentralized STM algorithm.
Proceedings of the 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), April 19-23, 2010, Atlanta, Georgia, USA, (2010) - DOM Transactions for Testing JavaScript.
Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings, Vol. 6303, S. 211 - 214. (2010) - The Architecture of DecentVM - Towards a Decentralized Virtual Machine for Many-Core Computing.
Proceedings of the 4th workshop on Virtual Machines and Intermediate Languages (VMIL), October 17, 2010, Reno, Nevada, USA, (2010) - How to CPS Transform a Monad.
Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, Vol. 5501, S. 266 - 280. (2009) - HtDP and DMdA in the Battlefield.
Functional and Declarative Programming in Education, (2008-sep) - Auf dem Weg zu einer robusten Programmierausbildung.
3. Workshop des GI-Fachbereichs Hochschuldidaktik der Informatik, (2008-Dec) - The Relation of Version Control to Concurrent Programming.
International Conference on Computer Science and Software Engineering, CSSE 2008, December 12-14, 2008, Wuhan, China, S. 461 - 464. (2008)