publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2021
-
GraphRedex: Look at your researchSoftw. Pract. Exp. 2021
2020
-
CScript: A distributed programming language for building mixed-consistency applicationsJ. Parallel Distributed Comput. 2020
2019
-
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)Dagstuhl Artifacts Ser. 2019
-
Distributed Reactive Programming for Reactive Distributed SystemsArt Sci. Eng. Program. 2019
-
Putting Order in Strong Eventual ConsistencyIn Distributed Applications and Interoperable Systems - 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings 2019
-
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)In 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom 2019
-
A Generic Replicated Data Type for Strong Eventual ConsistencyIn Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019 2019
-
WARDuino: a dynamic WebAssembly virtual machine for programming microcontrollersIn Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019 2019
-
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019In Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019 2019
-
Distributed Reactive Programming for Reactive Distributed SystemsCoRR 2019
2018
-
Collapsible contracts: fixing a pathology of gradual typingProc. ACM Program. Lang. 2018
-
A CAPable distributed programming modelIn Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018 2018
-
Parallel and Distributed Web Programming with ActorsIn Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018 2018
-
AmbientJS - A Mobile Cross-Platform Actor Library for Multi-Networked Mobile ApplicationsIn Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018, Boston, MA, USA, November 7-8, 2018 2018
2017
-
A principled approach towards debugging communicating event-loopsIn Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2017, Vancouver, BC, Canada, October 23 - 27, 2017 2017
-
Handling partial failures in distributed reactive programmingIn Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017 2017
-
Abstractions for Distributed Event-Driven Applications: Position PaperIn Companion to the first International Conference on the Art, Science and Engineering of Programming, Programming 2017, Brussels, Belgium, April 3-6, 2017 2017
2016
-
Many spiders make a better web: a unified web-based actor frameworkIn Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, October 30, 2016 2016
-
I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programmingIn Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, Amsterdam, Netherlands, November 1, 2016 2016
2015
-
Computational contractsSci. Comput. Program. 2015
2014
-
AmbientTalk: programming responsive mobile peer-to-peer applications with actorsComput. Lang. Syst. Struct. 2014
-
The Implementation of the CHA-Q Meta-Model: A Comprehensive, Change-Centric Software RepresentationElectron. Commun. Eur. Assoc. Softw. Sci. Technol. 2014
-
Programming mobile context-aware applications with TOTAMJ. Syst. Softw. 2014
-
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor modelSci. Comput. Program. 2014
2013
-
CrimeSPOT: A language and runtime for developing active wireless sensor network applicationsSci. Comput. Program. 2013
-
Blame PredictionIn Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers 2013
2012
2011
-
Volatile Sets: Event-driven Collections for Mobile Ad-Hoc ApplicationsElectron. Commun. Eur. Assoc. Softw. Sci. Technol. 2011
-
Ambient contracts: verifying and enforcing ambient object compositions à la cartePers. Ubiquitous Comput. 2011
-
Language and middleware support for dynamism in wireless sensor and actuator network applicationsIn Proceedings of the Sixth International Workshop on Middleware for Sensor Networks, MidSens 2011, December 12, 2011, Lisbon, Portugal, Co-located with Middleware 2011 2011
-
Flocks: enabling dynamic group interactions in mobile social networking applicationsIn Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011 2011
-
Midas: a declarative multi-touch interaction frameworkIn Proceedings of the 5th International Conference on Tangible and Embedded Interaction 2011, Funchal, Madeira, Portugal, January 22-26, 2011 2011
2010
-
Ambient ContractsElectron. Commun. Eur. Assoc. Softw. Sci. Technol. 2010
-
Context-Aware Tuples for the AmbientIn On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II 2010
-
Urbiflock: An experiment in dynamic group management in Pervasive social applicationsIn Eigth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2010, March 29 - April 2, 2010, Mannheim, Germany, Workshop Proceedings 2010
2009
-
TOTAM: Scoped Tuples for the AmbientElectron. Commun. Eur. Assoc. Softw. Sci. Technol. 2009
2008
-
Ambient transactorsIn Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), held at the ACM/IFIP/USENIX 9th International Middleware Conference, December 1-5, 2008, Leuven, Belgium 2008
2007
-
Fact Spaces: Coordination in the Face of DisconnectionIn Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings 2007