Peter Van Roy

ORCID

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 32

Top Venues

University of California at Berkeley (MSC)

Education History

University of California at Berkeley

MSC

University of California at Berkeley

PHD

Publications

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
Algebraic Reasoning About Timeliness. CoRR (2023)
Peter Van Roy, Seif Haridi
Ideas for the future of Prolog inspired by Oz. CoRR (2023)
David S. Warren, Peter Van Roy, Yanhong A. Liu
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR (2022)
Seyed H. Haeri, Peter Thompson, Neil Davies, Peter Van Roy, Kevin Hammond, James Chapman
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. 11 (3) (2022)
Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. Erlang Workshop (2021)
Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
A history of the Oz multiparadigm language. Proc. ACM Program. Lang. 4 (HOPL) (2020)
Zhongmiao Li, Paolo Romano, Peter Van Roy
Transparent speculation in geo-replicated transactional data stores. J. Parallel Distributed Comput. 143 (2020)
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa
Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. CoRR (2020)
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
Interoperable and network-aware service workflows for big data executions at internet scale. Concurr. Comput. Pract. Exp. 32 (21) (2020)
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa
Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. SDS (2020)
Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga
On-demand big data integration - A hybrid ETL approach for reproducible scientific research. Distributed Parallel Databases 37 (2) (2019)
Igor Kopestenski, Peter Van Roy
Achlys : Towards a framework for distributed storage and generic computing applications for wireless IoT edge networks with Lasp on GRiSP. CoRR (2019)
Igor Kopestenski, Peter Van Roy
Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. PerCom Workshops (2019)
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge. Clust. Comput. 22 (3) (2019)
Igor Kopestenski, Peter Van Roy
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. Erlang Workshop (2019)
Zhongmiao Li, Paolo Romano, Peter Van Roy
Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores. DSN (2019)
Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga
On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research. CoRR (2018)
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
Composing network service chains at the edge: A Resilient and adaptive software-defined approach. Trans. Emerg. Telecommun. Technol. 29 (11) (2018)
Zhongmiao Li, Peter Van Roy, Paolo Romano
Transparent speculation in geo-replicated transactional data stores. HPDC (2018)
Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
Software-defined data services: Interoperable and network-aware big data executions. SDS (2018)
Christopher S. Meiklejohn, Peter Van Roy
Towards A Systems Approach To Distributed Programming. CoRR (2018)
Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy
Saturn: a Distributed Metadata Service for Causal Consistency. EuroSys (2017)
Ruma R. Paul, Jérémie Melchior, Peter Van Roy, Vladimir Vlassov
Designing Distributed Applications Using a Phase-Aware, Reversible System. EDGE (2017)
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Practical evaluation of the Lasp programming model at large scale: an experience report. PPDP (2017)
Christopher S. Meiklejohn, Peter Van Roy
Loquat: A framework for large-scale actor communication on edge networks. PerCom Workshops (2017)
Pradeeban Kathiravelu, Yiru Chen, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga
On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration. DMAH@VLDB (2017)
Zhongmiao Li, Peter Van Roy, Paolo Romano
Exploiting speculation in partially replicated transactional data stores. SoCC (2017)
Zhongmiao Li, Peter Van Roy, Paolo Romano
Enhancing throughput of partially replicated state machines via multi-partition operation scheduling. NCA (2017)
Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR (2017)
Ruma R. Paul, Peter Van Roy, Vladimir Vlassov
Reversible Phase Transitions in a Structured Overlay Network with Churn. NETYS (2016)
Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn
Worlds of Events: Deduction with Partial Knowledge about Causality. ICE (2016)
Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy
Declarative, sliding window aggregations for computations at the edge. CCNC (2016)
Ruma R. Paul, Peter Van Roy, Vladimir Vlassov
Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. ICPADS (2015)
Manuel Bravo, Paolo Romano, Luís E. T. Rodrigues, Peter Van Roy
Reducing the vulnerability window in distributed transactional protocols. PaPoC@EuroSys (2015)
Christopher Meiklejohn, Peter Van Roy
The implementation and use of a generic dataflow behaviour in Erlang. Erlang Workshop (2015)
Christopher Meiklejohn, Peter Van Roy
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. SRDS Workshop (2015)
Iwan Briquemont, Manuel Bravo, Zhongmiao Li, Peter Van Roy
Conflict-Free Partially Replicated Data Types. CloudCom (2015)
Christopher Meiklejohn, Peter Van Roy
Lasp: a language for distributed, eventually consistent computations with CRDTs. PaPoC@EuroSys (2015)
Christopher Meiklejohn, Peter Van Roy
Lasp: a language for distributed, coordination-free programming. PPDP (2015)
Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy
Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication. Middleware Doctoral Symposium (2015)
Ruma R. Paul, Peter Van Roy, Vladimir Vlassov
An empirical study of the global behavior of a structured overlay network. P2P (2014)
Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn
Derflow: distributed deterministic dataflow programming for erlang. Erlang Workshop (2014)
Sébastien Doeraene, Peter Van Roy
A new concurrency model for Scala based on a declarative dataflow core. SCALA@ECOOP (2013)
Géry Debongnie, Raphaël Collet, Sébastien Doeraene, Peter Van Roy
Modular fault handling in a network-transparent programming language. WEH@ICSE (2012)
Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
A Comparative Evaluation of User Preferences for Extra-User Interfaces. Int. J. Hum. Comput. Interact. 28 (11) (2012)
Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
Modelling and developing distributed user interfaces based on distribution graph. RCIS (2012)
Sascha Van Cauwelaert, Gustavo Gutierrez, Peter Van Roy
A New Approach for Constraint Programming in Music using Relation Domains. ICMC (2012)
Daire O'Doherty, Salim Jouili, Peter Van Roy
Towards trust inference from bipartite social networks. DBSocial (2012)
Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
A model-based approach for distributed user interfaces. EICS (2011)
Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos
Lock-Free Decentralized Storage for Transactional Upgrade Rollback. WETICE (2010)
Boris Mejías, Peter Van Roy
From Mini-clouds to Cloud Computing. SASO Workshops (2010)
Boris Mejías, Peter Van Roy
Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage. Int. J. Adapt. Resilient Auton. Syst. 1 (3) (2010)
Jérémie Melchior, Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications. EICS (2009)
Boris Mejías, Alfredo Cádiz, Peter Van Roy, Kim Mens
A Self-Adaptable Network Topology for Ambient Intelligence. SASO Workshops (2008)
Boris Mejías, Mikael Högqvist, Peter Van Roy
Visualizing Transactional Algorithms for DHTs. Peer-to-Peer Computing (2008)
Boris Mejías, Peter Van Roy
The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. Parallel Process. Lett. 18 (3) (2008)
David Wessel, Roger B. Dannenberg, Yann Orlarey, Miller S. Puckette, Peter Van Roy, Ge Wang
Reinventing Audio and Music Computation for Many-Core Processors. ICMC (2008)
Peter Van Roy
The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard. ICMC (2008)
Peter Van Roy
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. BCS Int. Acad. Conf. (2008)
Gustavo Gutierrez, Boris Mejías, Peter Van Roy, Diana Velasco, Juan Torres
WSN and P2P: A Self-Managing Marriage. SASO Workshops (2008)
Alfredo Cádiz, Boris Mejías, Jorge Vallejos, Kim Mens, Peter Van Roy, Wolfgang De Meuter
PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence. SCCC (2008)
Boris Mejías, Donatien Grolaux, Peter Van Roy
Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids. CoreGRID Workshop on Grid Middleware (2008)
Donatien Grolaux, Boris Mejías, Peter Van Roy
PEPINO: PEer-to-Peer network INspectOr. Peer-to-Peer Computing (2007)
Boris Mejías, Peter Van Roy
A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. SCCC (2007)
Peter Van Roy
Self Management and the Future of Software Design. Electron. Notes Theor. Comput. Sci. 182 (2007)
Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO (2007)
Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
Using Dominators for Solving Constrained Path Problems. PADL (2006)
Raphaël Collet, Peter Van Roy
Failure Handling in a Network-Transparent Distributed Programming Language. Advanced Topics in Exception Handling Techniques (2006)
Peter Van Roy
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. FLOPS (2006)
Jean Vanderdonckt, Donatien Grolaux, Peter Van Roy, Quentin Limbourg, Benoît Macq, Benoît Michel
A Design Space for Context-Sensitive User Interfaces. IASSE (2005)
Fred Spiessens, Peter Van Roy
A Practical Formal Model for Safety Analysis in Capability-Based Systems. TGC (2005)
Luis Quesada, Peter Van Roy, Yves Deville
Speeding Up Constrained Path Solvers with a Reachability Propagator. CP (2005)
Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy
Attach Me, Detach Me, Assemble Me Like You Work. INTERACT (2005)
Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
Migratable User Interfaces: Beyond Migratory Interfaces. MobiQuitous (2004)
Fred Spiessens, Peter Van Roy
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ (2004)
Valentin Mesaros, Bruno Carton, Peter Van Roy
P2PS: Peer-to-Peer Development Platform for Mozart. MOZ (2004)
Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni
Topic 18: Peer-to-Peer and Web Computing. Euro-Par (2004)
Donatien Grolaux, Kevin Glynn, Peter Van Roy
A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ (2004)
Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea
Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. MOZ (2004)
Valentin Mesaros, Bruno Carton, Peter Van Roy
S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord. PDPTA (2003)
Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. 3 (6) (2003)
Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson
The role of language paradigms in teaching programming. SIGCSE (2003)
Elliot B. Koffman, Torsten Brinda, Juan Alvarez, Amruth N. Kumar, Maria Lúcia Blanck Lisbôa, Juris Reinfelds, Peter Van Roy, Raul Sidnei Wazlawick
Teaching Programming and Problem Solving. Informatics Curricula and Teaching Methods (2002)
Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
Logic programming in the context of multiparadigm programming: the Oz experience CoRR (2002)
Peter Van Roy, Seif Haridi
Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods (2002)
Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
FlexClock, a Plastic Clock Written in Oz with the QTk toolkit. TAMODIA (2002)
Luc Onana Alima, Valentin Mesaros, Peter Van Roy, Seif Haridi
NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems. Peer-to-Peer Computing (2002)
Luis Quesada, Peter Van Roy
A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. CP (2002)
Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. EHCI (2001)
Mustapha Hadim, Peter Van Roy
Service Combinators for WEB Computing in Distributed Oz. PDPTA (2000)
Peter Van Roy
Announcing the Mozart Programming System. ACM SIGPLAN Notices 34 (4) (1999)
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
Efficient logic variables for distributed computing. ACM Trans. Program. Lang. Syst. 21 (3) (1999)
Peter Van Roy
Logic Programming in Oz with Mozart. ICLP (1999)
Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet
A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages (1998)
Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
Programming Languages for Distributed Applications. New Gener. Comput. 16 (3) (1998)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. 19 (5) (1997)
Seif Haridi, Peter Van Roy, Gert Smolka
An overview of the design of Distributed Oz. PASCO (1997)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
Integrating Efficient Records into Concurrent Constraint Programming. PLILP (1996)
Bruce K. Holmer, Barton Sano, Michael J. Carlton, Peter Van Roy, Alvin M. Despain
Design and Analysis of Hardware for High-Performance Prolog. J. Log. Program. 29 (1-3) (1996)
Peter Van Roy
Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). WLP (1995)

Peter Van Roy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Van Roy