Peter Van Roy

According to our database1, Peter Van Roy authored at least 114 papers between 1984 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.
Comput., 2022

2021
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network.
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021

2020
A history of the Oz multiparadigm language.
Proc. ACM Program. Lang., 2020

Transparent speculation in geo-replicated transactional data stores.
J. Parallel Distributed Comput., 2020

Interoperable and network-aware service workflows for big data executions at internet scale.
Concurr. Comput. Pract. Exp., 2020

Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet.
Proceedings of the 2020 Seventh International Conference on Software Defined Systems, 2020

2019
On-demand big data integration - A hybrid ETL approach for reproducible scientific research.
Distributed Parallel Databases, 2019

SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge.
Clust. Comput., 2019

Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks.
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 2019

Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019


2018
Composing network service chains at the edge: A Resilient and adaptive software-defined approach.
Trans. Emerg. Telecommun. Technol., 2018

Towards A Systems Approach To Distributed Programming.
CoRR, 2018

Software-defined data services: Interoperable and network-aware big data executions.
Proceedings of the Fifth International Conference on Software Defined Systems, 2018

2017
On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration.
Proceedings of the Data Management and Analytics for Medicine and Healthcare, 2017

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, 2017

Loquat: A framework for large-scale actor communication on edge networks.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Enhancing throughput of partially replicated state machines via multi-partition operation scheduling.
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Saturn: a Distributed Metadata Service for Causal Consistency.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Designing Distributed Applications Using a Phase-Aware, Reversible System.
Proceedings of the IEEE International Conference on Edge Computing, 2017

Exploiting speculation in partially replicated transactional data stores.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Worlds of Events: Deduction with Partial Knowledge about Causality.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Reversible Phase Transitions in a Structured Overlay Network with Churn.
Proceedings of the Networked Systems - 4th International Conference, 2016

Declarative, sliding window aggregations for computations at the edge.
Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

2015
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Lasp: a language for distributed, coordination-free programming.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication.
Proceedings of the Doctoral Symposium of the 16th International Middleware Conference, 2015

Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Lasp: a language for distributed, eventually consistent computations with CRDTs.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

Reducing the vulnerability window in distributed transactional protocols.
Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, 2015

The implementation and use of a generic dataflow behaviour in Erlang.
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

Conflict-Free Partially Replicated Data Types.
Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

2014
An empirical study of the global behavior of a structured overlay network.
Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing, 2014

Derflow: distributed deterministic dataflow programming for erlang.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013
Improving DUIs with a Decentralized Approach with Transactions and Feedbacks.
Proceedings of the Distributed User Interfaces: Usability and Collaboration, 2013

A new concurrency model for Scala based on a declarative dataflow core.
Proceedings of the 4th Workshop on Scala, 2013

2012
A Comparative Evaluation of User Preferences for Extra-User Interfaces.
Int. J. Hum. Comput. Interact., 2012

Modelling and developing distributed user interfaces based on distribution graph.
Proceedings of the Sixth International Conference on Research Challenges in Information Science, 2012

Modular fault handling in a network-transparent programming language.
Proceedings of the 5th International Workshop on Exception Handling, 2012

A New Approach for Constraint Programming in Music using Relation Domains.
Proceedings of the Non-Cochlear Sound: Proceedings of the 38th International Computer Music Conference, 2012

Towards trust inference from bipartite social networks.
Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, 2012

2011
Distribution Primitives for Distributed User Interfaces.
Proceedings of the Distributed User Interfaces, 2011

A model-based approach for distributed user interfaces.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010
Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage.
Int. J. Adapt. Resilient Auton. Syst., 2010

Lock-Free Decentralized Storage for Transactional Upgrade Rollback.
Proceedings of the 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2010

From Mini-clouds to Cloud Computing.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

2009
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks.
Parallel Process. Lett., 2008

PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence.
Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 2008

A Self-Adaptable Network Topology for Ambient Intelligence.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

WSN and P2P: A Self-Managing Marriage.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Visualizing Transactional Algorithms for DHTs.
Proceedings of the Proceedings P2P'08, 2008

Reinventing Audio and Music Computation for Many-Core Processors.
Proceedings of the 2008 International Computer Music Conference, 2008

The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard.
Proceedings of the 2008 International Computer Music Conference, 2008

Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids.
Proceedings of the Grid and Services Evolution, 2008

Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions.
Proceedings of the Visions of Computer Science, 2008

2007
Self Management and the Future of Software Design.
Electron. Notes Theor. Comput. Sci., 2007

A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

PEPINO: PEer-to-Peer network INspectOr.
Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (P2P 2007), 2007

Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Using Dominators for Solving Constrained Path Problems.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Failure Handling in a Network-Transparent Distributed Programming Language.
Proceedings of the Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), 2006

2005
A Practical Formal Model for Safety Analysis in Capability-Based Systems.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Attach Me, Detach Me, Assemble Me Like You Work.
Proceedings of the Human-Computer Interaction, 2005

A Design Space for Context-Sensitive User Interfaces.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

Speeding Up Constrained Path Solvers with a Reachability Propagator.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

P2PS: Peer-to-Peer Development Platform for Mozart.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

A Fault Tolerant Abstraction for Transparent Distributed Programming.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach.
Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Migratable User Interfaces: Beyond Migratory Interfaces.
Proceedings of the 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), 2004

Topic 18: Peer-to-Peer and Web Computing.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Concepts, Techniques, and Models of Computer Programming
MIT Press, ISBN: 0-262-22069-5, 2004

2003
Logic programming in the context of multiparadigm programming: the Oz experience.
Theory Pract. Log. Program., 2003

The role of language paradigms in teaching programming.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002
FlexClock, a Plastic Clock Written in Oz with the QTk toolkit.
Proceedings of the Task Models and Diagrams for User Interface Design: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, 2002

NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems.
Proceedings of the 2nd International Conference on Peer-to-Peer Computing (P2P 2002), 2002

Teaching Programming Broadly and Deeply: The Kernel Language Approach.
Proceedings of the Informatics Curricula and Teaching Methods, 2002

Teaching Programming and Problem Solving.
Proceedings of the Informatics Curricula and Teaching Methods, 2002

A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces.
Proceedings of the Engineering for Human-Computer Interaction, 2001

2000
Service Combinators for WEB Computing in Distributed Oz.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999
Efficient logic variables for distributed computing.
ACM Trans. Program. Lang. Syst., 1999

Announcing the Mozart Programming System.
ACM SIGPLAN Notices, 1999

Logic Programming in Oz with Mozart.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
Programming Languages for Distributed Applications.
New Gener. Comput., 1998

A Lightweight Object Migration Protocol.
Proceedings of the Internet Programming Languages, 1998

1997
Mobile Objects in Distributed Oz.
ACM Trans. Program. Lang. Syst., 1997

An overview of the design of Distributed Oz.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996
Design and Analysis of Hardware for High-Performance Prolog.
J. Log. Program., 1996

Integrating Efficient Records into Concurrent Constraint Programming.
Proceedings of the Programming Languages: Implementations, 1996

1995
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract).
Proceedings of the 11. Workshop Logische Programmierung, 1995

A Detailed Algorithm Testing Guards over Feature Trees.
Proceedings of the Constraint Processing, Selected Papers, 1995

1994
1983-1993: The Wonder Years of Sequential Prolog Implementation.
J. Log. Program., 1994

The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees.
Proceedings of the Logic Programming, 1994

1993
Announcing the Release of Aquarius Prolog.
ACM SIGPLAN Notices, 1993

The Beauty and the Beast Algorithm.
Proceedings of the Logic Programming, 1993

Challenges in Developing Useful and Practical Static Analysis for Logic Programs.
Proceedings of the Static Analysis, Third International Workshop, 1993

Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir.
Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

An Informal Introduction to LIFE.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992
High-Performance Logic Programming with the Aquarius Prolog Compiler.
Computer, 1992

1990
Can Logic Programming Execute as Fast as Imperative Programming?
PhD thesis, 1990

The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Fast Prolog with an Extended General Purpose Architecture.
Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990

1989
A useful extension to Prolog's definite clause grammar notation.
ACM SIGPLAN Notices, 1989

An Intermediate Language to Support Prolog's Unification.
Proceedings of the Logic Programming, 1989

1988
A Distributed Prolog System with And Parallelism.
IEEE Softw., 1988

1987
Aquarius.
SIGARCH Comput. Archit. News, 1987

Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1984
A Prolog Compiler for the PLM.
MSc thesis, 1984


  Loading...