Peter Van Roy - RankMe

128 papers A* 3A 6B 5C 7Misc 5Journal 31Unranked 64

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Algebraic reasoning for timeliness-guided system design. J. Log. Algebraic Methods Program. Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman, Artjoms Sinkarovs
2025	C	`conf`	Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp. PPDP Christopher Meiklejohn, Peter Van Roy
2025	A*	`conf`	Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations. IJCAI Damien Sprockeels, Peter Van Roy
2024	A*	`conf`	Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony. IJCAI Damien Sprockeels, Peter Van Roy
2023	—	`conf`	Algebraic Reasoning About Timeliness. ICE Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
2023	J	`jnl`	Ideas for the future of Prolog inspired by Oz. CoRR Peter Van Roy, Seif Haridi
2022	J	`jnl`	Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. Seyed H. Haeri, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman
2022	J	`jnl`	Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR David Scott Warren, Peter Van Roy, Yanhong A. Liu
2021	—	`conf`	The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. Erlang Workshop Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy
2020	J	`jnl`	A history of the Oz multiparadigm language. Proc. ACM Program. Lang. Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
2020	J	`jnl`	Interoperable and network-aware service workflows for big data executions at internet scale. Concurr. Comput. Pract. Exp. Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
2020	—	`conf`	Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. SDS Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa
2020	J	`jnl`	Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. CoRR Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga, Elhadj Benkhelifa
2020	J	`jnl`	Transparent speculation in geo-replicated transactional data stores. J. Parallel Distributed Comput. Zhongmiao Li, Paolo Romano, Peter Van Roy
2019	J	`jnl`	Achlys : Towards a framework for distributed storage and generic computing applications for wireless IoT edge networks with Lasp on GRiSP. CoRR Igor Kopestenski, Peter Van Roy
2019	—	`conf`	Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. PerCom Workshops Igor Kopestenski, Peter Van Roy
2019	—	`conf`	Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. Erlang Workshop Igor Kopestenski, Peter Van Roy
2019	J	`jnl`	On-demand big data integration - A hybrid ETL approach for reproducible scientific research. Distributed Parallel Databases Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga
2019	—	`ch.`	Programming models and runtimes. Ultrascale Computing Systems Georges Da Costa, Alexey L. Lastovetsky, Jorge G. Barbosa, Juan Carlos Díaz Martín, Juan-Luis García Zapata, Matthias Janetschek, Emmanuel Jeannot, João Leitão, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde
2019	J	`jnl`	SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge. Clust. Comput. Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
2019	A	`conf`	Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores. DSN Zhongmiao Li, Paolo Romano, Peter Van Roy
2018	J	`jnl`	Composing network service chains at the edge: A Resilient and adaptive software-defined approach. Trans. Emerg. Telecommun. Technol. Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
2018	J	`jnl`	On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research. CoRR Pradeeban Kathiravelu, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga
2018	—	`conf`	Software-defined data services: Interoperable and network-aware big data executions. SDS Pradeeban Kathiravelu, Peter Van Roy, Luís Veiga
2018	J	`jnl`	Towards A Systems Approach To Distributed Programming. CoRR Christopher S. Meiklejohn, Peter Van Roy
2018	A	`conf`	Transparent speculation in geo-replicated transactional data stores. HPDC Zhongmiao Li, Peter Van Roy, Paolo Romano
2017	—	`conf`	Designing Distributed Applications Using a Phase-Aware, Reversible System. EDGE Ruma R. Paul, Jérémie Melchior, Peter Van Roy, Vladimir Vlassov
2017	B	`conf`	Enhancing throughput of partially replicated state machines via multi-partition operation scheduling. NCA Zhongmiao Li, Peter Van Roy, Paolo Romano
2017	—	`conf`	Exploiting speculation in partially replicated transactional data stores. SoCC Zhongmiao Li, Peter Van Roy, Paolo Romano
2017	—	`conf`	Loquat: A framework for large-scale actor communication on edge networks. PerCom Workshops Christopher S. Meiklejohn, Peter Van Roy
2017	—	`conf`	On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration. DMAH@VLDB Pradeeban Kathiravelu, Yiru Chen, Ashish Sharma, Helena Galhardas, Peter Van Roy, Luís Veiga
2017	J	`jnl`	Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report. CoRR Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
2017	C	`conf`	Practical evaluation of the Lasp programming model at large scale: an experience report. PPDP Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa
2017	A	`conf`	Saturn: a Distributed Metadata Service for Causal Consistency. EuroSys Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy
2016	—	`conf`	Declarative, sliding window aggregations for computations at the edge. CCNC Christopher Meiklejohn, Seyed H. Haeri, Peter Van Roy
2016	—	`conf`	Reversible Phase Transitions in a Structured Overlay Network with Churn. NETYS Ruma R. Paul, Peter Van Roy, Vladimir Vlassov
2016	—	`conf`	Worlds of Events: Deduction with Partial Knowledge about Causality. ICE Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn
2015	C	`conf`	Conflict-Free Partially Replicated Data Types. CloudCom Iwan Briquemont, Manuel Bravo, Zhongmiao Li, Peter Van Roy
2015	B	`conf`	Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. ICPADS Ruma R. Paul, Peter Van Roy, Vladimir Vlassov
2015	C	`conf`	Lasp: a language for distributed, coordination-free programming. PPDP Christopher Meiklejohn, Peter Van Roy
2015	—	`conf`	Lasp: a language for distributed, eventually consistent computations with CRDTs. PaPoC@EuroSys Christopher Meiklejohn, Peter Van Roy
2015	—	`conf`	Reducing the vulnerability window in distributed transactional protocols. PaPoC@EuroSys Manuel Bravo, Paolo Romano, Luís E. T. Rodrigues, Peter Van Roy
2015	—	`conf`	Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. SRDS Workshop Christopher Meiklejohn, Peter Van Roy
2015	—	`conf`	The implementation and use of a generic dataflow behaviour in Erlang. Erlang Workshop Christopher Meiklejohn, Peter Van Roy
2015	—	`conf`	Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication. Middleware Doctoral Symposium Manuel Bravo, Luís E. T. Rodrigues, Peter Van Roy
2014	—	`conf`	An empirical study of the global behavior of a structured overlay network. P2P Ruma R. Paul, Peter Van Roy, Vladimir Vlassov
2014	—	`conf`	Derflow: distributed deterministic dataflow programming for erlang. Erlang Workshop Manuel Bravo, Zhongmiao Li, Peter Van Roy, Christopher Meiklejohn
2013	—	`conf`	A new concurrency model for Scala based on a declarative dataflow core. SCALA@ECOOP Sébastien Doeraene, Peter Van Roy
2013	—	`ch.`	Improving DUIs with a Decentralized Approach with Transactions and Feedbacks. Distributed User Interfaces Jérémie Melchior, Boris Mejías, Yves Jaradin, Peter Van Roy, Jean Vanderdonckt
2012	J	`jnl`	A Comparative Evaluation of User Preferences for Extra-User Interfaces. Int. J. Hum. Comput. Interact. Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
2012	—	`conf`	A New Approach for Constraint Programming in Music using Relation Domains. ICMC Sascha Van Cauwelaert, Gustavo Gutierrez, Peter Van Roy
2012	B	`conf`	Modelling and developing distributed user interfaces based on distribution graph. RCIS Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
2012	—	`conf`	Modular fault handling in a network-transparent programming language. WEH@ICSE Géry Debongnie, Raphaël Collet, Sébastien Doeraene, Peter Van Roy
2012	—	`conf`	Towards trust inference from bipartite social networks. DBSocial Daire O'Doherty, Salim Jouili, Peter Van Roy
2011	Misc	`conf`	A model-based approach for distributed user interfaces. EICS Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
2011	—	`ch.`	Distribution Primitives for Distributed User Interfaces. Distributed User Interfaces Jérémie Melchior, Jean Vanderdonckt, Peter Van Roy
2010	J	`jnl`	Beernet: Building Self-Managing Decentralized Systems with Replicated Transactional Storage. Int. J. Adapt. Resilient Auton. Syst. Boris Mejías, Peter Van Roy
2010	—	`conf`	From Mini-clouds to Cloud Computing. SASO Workshops Boris Mejías, Peter Van Roy
2010	C	`conf`	Lock-Free Decentralized Storage for Transactional Upgrade Rollback. WETICE Boris Mejías, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos
2009	Misc	`conf`	A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications. EICS Jérémie Melchior, Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy
2008	—	`conf`	A Self-Adaptable Network Topology for Ambient Intelligence. SASO Workshops Boris Mejías, Alfredo Cádiz, Peter Van Roy, Kim Mens
2008	—	`conf`	Improving the Peer-to-Peer Ring for Building Fault-Tolerant Grids. CoreGRID Workshop on Grid Middleware Boris Mejías, Donatien Grolaux, Peter Van Roy
2008	—	`conf`	Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions. BCS Int. Acad. Conf. Peter Van Roy
2008	—	`conf`	PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence. SCCC Alfredo Cádiz, Boris Mejías, Jorge Vallejos, Kim Mens, Peter Van Roy, Wolfgang De Meuter
2008	—	`conf`	Reinventing Audio and Music Computation for Many-Core Processors. ICMC David Wessel, Roger B. Dannenberg, Yann Orlarey, Miller S. Puckette, Peter Van Roy, Ge Wang
2008	—	`conf`	The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard. ICMC Peter Van Roy
2008	J	`jnl`	The Relaxed-Ring: a Fault-Tolerant Topology for Structured Overlay Networks. Parallel Process. Lett. Boris Mejías, Peter Van Roy
2008	—	`conf`	Visualizing Transactional Algorithms for DHTs. Peer-to-Peer Computing Boris Mejías, Mikael Högqvist, Peter Van Roy
2008	—	`conf`	WSN and P2P: A Self-Managing Marriage. SASO Workshops Gustavo Gutierrez, Boris Mejías, Peter Van Roy, Diana Velasco, Juan Torres
2007	—	`conf`	A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks. SCCC Boris Mejías, Peter Van Roy
2007	—	`conf`	PEPINO: PEer-to-Peer network INspectOr. Peer-to-Peer Computing Donatien Grolaux, Boris Mejías, Peter Van Roy
2007	—	`conf`	Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project. FMCO Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani, Roland H. C. Yap, Thierry Coupaye
2006	Misc	`conf`	Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. FLOPS Peter Van Roy
2006	—	`conf`	Failure Handling in a Network-Transparent Distributed Programming Language. Advanced Topics in Exception Handling Techniques Raphaël Collet, Peter Van Roy
2006	—	`conf`	Self Management and the Future of Software Design. FACS Peter Van Roy
2006	C	`conf`	Using Dominators for Solving Constrained Path Problems. PADL Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
2005	—	`conf`	A Design Space for Context-Sensitive User Interfaces. IASSE Jean Vanderdonckt, Donatien Grolaux, Peter Van Roy, Quentin Limbourg, Benoît Macq, Benoît Michel
2005	—	`conf`	A Practical Formal Model for Safety Analysis in Capability-Based Systems. TGC Fred Spiessens, Peter Van Roy
2005	B	`conf`	Attach Me, Detach Me, Assemble Me Like You Work. INTERACT Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy
2005	—	`ed.`	Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers MOZ Peter Van Roy
2005	A	`conf`	Speeding Up Constrained Path Solvers with a Reachability Propagator. CP Luis Quesada, Peter Van Roy, Yves Deville
2004	—	`conf`	A Fault Tolerant Abstraction for Transparent Distributed Programming. MOZ Donatien Grolaux, Kevin Glynn, Peter Van Roy
2004	—	`book`	Concepts, Techniques, and Models of Computer Programming Peter Van Roy, Seif Haridi
2004	C	`conf`	Migratable User Interfaces: Beyond Migratory Interfaces. MobiQuitous Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
2004	—	`conf`	Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach. MOZ Sameh El-Ansary, Donatien Grolaux, Peter Van Roy, Mahmoud Rafea
2004	—	`conf`	P2PS: Peer-to-Peer Development Platform for Mozart. MOZ Valentin Mesaros, Bruno Carton, Peter Van Roy
2004	—	`conf`	The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language. MOZ Fred Spiessens, Peter Van Roy
2004	—	`conf`	Topic 18: Peer-to-Peer and Web Computing. Euro-Par Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni
2003	J	`jnl`	Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2003	Misc	`conf`	S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord. PDPTA Valentin Mesaros, Bruno Carton, Peter Van Roy
2003	A	`conf`	The role of language paradigms in teaching programming. SIGCSE Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson
2002	A	`conf`	A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. CP Luis Quesada, Peter Van Roy
2002	—	`conf`	FlexClock, a Plastic Clock Written in Oz with the QTk toolkit. TAMODIA Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
2002	J	`jnl`	Logic programming in the context of multiparadigm programming: the Oz experience CoRR Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002	—	`conf`	NetProber: A Component for Enhancing Efficiency of Overlay Networks in P2P Systems. Peer-to-Peer Computing Luc Onana Alima, Valentin Mesaros, Peter Van Roy, Seif Haridi
2002	—	`conf`	Teaching Programming Broadly and Deeply: The Kernel Language Approach. Informatics Curricula and Teaching Methods Peter Van Roy, Seif Haridi
2002	—	`conf`	Teaching Programming and Problem Solving. Informatics Curricula and Teaching Methods Elliot B. Koffman, Torsten Brinda, Juan Alvarez, Amruth N. Kumar, Maria Lúcia Blanck Lisbôa, Juris Reinfelds, Peter Van Roy, Raul Sidnei Wazlawick
2001	—	`conf`	QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. EHCI Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
2000	Misc	`conf`	Service Combinators for WEB Computing in Distributed Oz. PDPTA Mustapha Hadim, Peter Van Roy
1999	J	`jnl`	Announcing the Mozart Programming System. ACM SIGPLAN Notices Peter Van Roy
1999	J	`jnl`	Efficient logic variables for distributed computing. ACM Trans. Program. Lang. Syst. Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
1999	B	`conf`	Logic Programming in Oz with Mozart. ICLP Peter Van Roy
1998	—	`conf`	A Lightweight Object Migration Protocol. ICCL Workshop: Internet Programming Languages Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet
1998	J	`jnl`	Programming Languages for Distributed Applications. New Gener. Comput. Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
1997	—	`conf`	An overview of the design of Distributed Oz. PASCO Seif Haridi, Peter Van Roy, Gert Smolka
1997	J	`jnl`	Mobile Objects in Distributed Oz. ACM Trans. Program. Lang. Syst. Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
1996	J	`jnl`	Design and Analysis of Hardware for High-Performance Prolog. J. Log. Program. Bruce K. Holmer, Barton Sano, Michael J. Carlton, Peter Van Roy, Alvin M. Despain
1996	—	`conf`	Integrating Efficient Records into Concurrent Constraint Programming. PLILP Peter Van Roy, Michael Mehl, Ralf Scheidhauer
1995	—	`conf`	A Detailed Algorithm Testing Guards over Feature Trees. Constraint Processing, Selected Papers Andreas Podelski, Peter Van Roy
1995	—	`conf`	Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). WLP Peter Van Roy
1994	J	`jnl`	1983-1993: The Wonder Years of Sequential Prolog Implementation. J. Log. Program. Peter Van Roy
1994	—	`conf`	The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. ILPS Andreas Podelski, Peter Van Roy
1993	—	`conf`	An Informal Introduction to LIFE. ICLP Workshop on Concurrent Constraint Programming Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy
1993	J	`jnl`	Announcing the Release of Aquarius Prolog. ACM SIGPLAN Notices Thomas W. Getzinger, Ralph Clarke Haygood, Peter Van Roy
1993	—	`conf`	Challenges in Developing Useful and Practical Static Analysis for Logic Programs. WSA Peter Van Roy
1993	—	`conf`	Techniques avancées de compilation de Prolog: l'état de l'art et l'avenir. JFPL Peter Van Roy
1993	—	`conf`	The Beauty and the Beast Algorithm. ILPS Andreas Podelski, Peter Van Roy
1993	—	`conf`	The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ICLP Workshop on Concurrent Constraint Programming Andreas Podelski, Peter Van Roy
1992	J	`jnl`	High-Performance Logic Programming with the Aquarius Prolog Compiler. Computer Peter Van Roy, Alvin M. Despain
1990	—	`—`	Can Logic Programming Execute as Fast as Imperative Programming? Peter Van Roy
1990	A*	`conf`	Fast Prolog with an Extended General Purpose Architecture. ISCA Bruce K. Holmer, Barton Sano, Michael J. Carlton, Peter Van Roy, Ralph Clarke Haygood, William R. Bush, Alvin M. Despain, Joan M. Pendleton, Tep P. Dobry
1990	—	`conf`	The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler. NACLP Peter Van Roy, Alvin M. Despain
1989	J	`jnl`	A useful extension to Prolog's definite clause grammar notation. ACM SIGPLAN Notices Peter Van Roy
1989	—	`conf`	An Intermediate Language to Support Prolog's Unification. NACLP Peter Van Roy
1988	J	`jnl`	A Distributed Prolog System with And Parallelism. IEEE Softw. Mike Carlton, Peter Van Roy
1987	J	`jnl`	Aquarius. SIGARCH Comput. Archit. News Alvin M. Despain, Yale N. Patt, Vason P. Srini, Philip Bitar, William R. Bush, C. Chien, Wayne Citrin, Barry Fagin, Wenwei Hwu, Stephen W. Melvin, Rick McGeer, Ashok Singhal, Michael Shebanow, Peter Van Roy
1987	—	`conf`	Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. TAPSOFT, Vol.2 Peter Van Roy, Bart Demoen, Yves D. Willems
1984	—	`—`	A Prolog Compiler for the PLM. Peter Van Roy