| 2025 | IJCAI | Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations. | Damien Sprockeels, Peter Van Roy |
| 2025 | PPDP | Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp. | Christopher Meiklejohn, Peter Van Roy |
| 2024 | IJCAI | Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony. | Damien Sprockeels, Peter Van Roy |
| 2019 | DSN | Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores. | Zhongmiao Li, Paolo Romano, Peter Van Roy |
| 2019 | PERCOM | Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. | Igor Kopestenski, Peter Van Roy |
| 2018 | HPDC | Transparent speculation in geo-replicated transactional data stores. | Zhongmiao Li, Peter Van Roy, Paolo Romano |
| 2017 | CLOUD | Exploiting speculation in partially replicated transactional data stores. | Zhongmiao Li, Peter Van Roy, Paolo Romano |
| 2017 | EuroSys | Saturn: a Distributed Metadata Service for Causal Consistency. | Manuel Bravo, Lus E. T. Rodrigues, Peter Van Roy |
| 2017 | NCA | Enhancing throughput of partially replicated state machines via multi-partition operation scheduling. | Zhongmiao Li, Peter Van Roy, Paolo Romano |
| 2017 | PERCOM | Loquat: A framework for large-scale actor communication on edge networks. | Christopher S. Meiklejohn, Peter Van Roy |
| 2017 | PPDP | Practical evaluation of the Lasp programming model at large scale: an experience report. | Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa |
| 2017 | VLDB | On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration. | Pradeeban Kathiravelu, Yiru Chen, Ashish Sharma, Helena Galhardas, Peter Van Roy, Lus Veiga |
| 2015 | CloudCom | Conflict-Free Partially Replicated Data Types. | Iwan Briquemont, Manuel Bravo, Zhongmiao Li, Peter Van Roy |
| 2015 | EuroSys | Reducing the vulnerability window in distributed transactional protocols. | Manuel Bravo, Paolo Romano, Lus E. T. Rodrigues, Peter Van Roy |
| 2015 | EuroSys | Lasp: a language for distributed, eventually consistent computations with CRDTs. | Christopher Meiklejohn, Peter Van Roy |
| 2015 | ICPADS | Interaction between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. | Ruma R. Paul, Peter Van Roy, Vladimir Vlassov |
| 2015 | Middleware | Towards a Scalable, Distributed Metadata Service for Causal Consistency under Partial Geo-replication. | Manuel Bravo, Lus E. T. Rodrigues, Peter Van Roy |
| 2015 | PPDP | Lasp: a language for distributed, coordination-free programming. | Christopher Meiklejohn, Peter Van Roy |
| 2015 | SRDS | Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. | Christopher Meiklejohn, Peter Van Roy |
| 2013 | ECOOP | A new concurrency model for Scala based on a declarative dataflow core. | Sbastien Doeraene, Peter Van Roy |
| 2012 | ICSE | Modular fault handling in a network-transparent programming language. | Gry Debongnie, Raphal Collet, Sbastien Doeraene, Peter Van Roy |
| 2012 | RCIS | Modelling and developing distributed user interfaces based on distribution graph. | Jrmie Melchior, Jean Vanderdonckt, Peter Van Roy |
| 2011 | EICS | A model-based approach for distributed user interfaces. | Jrmie Melchior, Jean Vanderdonckt, Peter Van Roy |
| 2010 | WETICE | Lock-Free Decentralized Storage for Transactional Upgrade Rollback. | Boris Mejas, Gustavo Gutierrez, Peter Van Roy, John Thomson, Paulo Trezentos |
| 2009 | EICS | A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications. | Jrmie Melchior, Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy |
| 2006 | FLOPS | Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. | Peter Van Roy |
| 2006 | PADL | Using Dominators for Solving Constrained Path Problems. | Luis Quesada, Peter Van Roy, Yves Deville, Raphal Collet |
| 2005 | CP | Speeding Up Constrained Path Solvers with a Reachability Propagator. | Luis Quesada, Peter Van Roy, Yves Deville |
| 2005 | Interact | Attach Me, Detach Me, Assemble Me Like You Work. | Donatien Grolaux, Jean Vanderdonckt, Peter Van Roy |
| 2004 | EuroPar | Topic 18: Peer-to-Peer and Web Computing. | Seif Haridi, Karl Aberer, Peter Van Roy, Michele Colajanni |
| 2004 | Mobiquitous | Migratable User Interfaces: Beyond Migratory Interfaces. | Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt |
| 2003 | PDPTA | S-Chord: Using Symmetry to Improve Lookup Efficiency in Chord. | Valentin Mesaros, Bruno Carton, Peter Van Roy |
| 2003 | SIGCSE | The role of language paradigms in teaching programming. | Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson |
| 2002 | CP | A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. | Luis Quesada, Peter Van Roy |
| 2000 | PDPTA | Service Combinators for WEB Computing in Distributed Oz. | Mustapha Hadim, Peter Van Roy |
| 1999 | ICLP | Logic Programming in Oz with Mozart. | Peter Van Roy |
| 1995 | CP | A Detailed Algorithm Testing Guards over Feature Trees. | Andreas Podelski, Peter Van Roy |
| 1993 | ICLP | An Informal Introduction to LIFE. | Hassan At-Kaci, Andreas Podelski, Peter Van Roy |
| 1993 | ICLP | The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. | Andreas Podelski, Peter Van Roy |
| 1993 | SAS | Challenges in Developing Useful and Practical Static Analysis for Logic Programs. | Peter Van Roy |
| 1990 | ISCA | Fast Prolog with an Extended General Purpose Architecture. | 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 |