INGI
Place Sainte Barbe 2/L5.02.01
1348 Louvain-la-Neuve
- Accueil
- Répertoire
- Peter Van Roy
Peter Van Roy
Professeur ordinaire
- Les cours
Nom ID Concepts des langages de programmation LINFO1104 Reasoning about a highly connected world: graph theory, game theory and networks LINFO1115 Concurrent programming concepts LINFO1131 Languages and algorithms for distributed Applications LINFO2345 Concepts des langages de programmation LSINC1104
2022
Haeri, Seyed Hossein ; Thompson, Peter ; Davies, Neil ; Van Roy, Peter ; Hammond, Kevin ; Chapman, James. Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. In: Computers, Vol. 11, no. 45 (March 2022).
2021
Kalbusch, Sébastien ; Verpoten, Vincent ; Van Roy, Peter. The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network. In: ACM Digital Library, , p. 15-27 (2021). doi:10.1145/3471871.3472962.
2020
Van Roy, Peter ; Haridi, Seif ; Schulte, Christian ; Smolka, Gert. A history of the Oz multiparadigm language. In: Proceedings of the ACM on Programming Languages, Vol. 4, no.HOPL, p. 1-56 (2020). doi:10.1145/3386333.
2019
Kathiravelu, Pradeeban ; Van Roy, Peter ; Veiga, Luís. Interoperable and network‐aware service workflows for big data executions at internet scale. In: Concurrency and Computation: Practice and Experience, Vol. 32, no.21 (2019). doi:10.1002/cpe.5212.
2019
Kathiravelu, Pradeeban ; Sharma, Ashish ; Galhardas, Helena ; Van Roy, Peter ; Veiga, Luís. On-demand big data integration : A hybrid ETL approach for reproducible scientific research. In: Distributed and Parallel Databases, Vol. 37, no.2, p. 273-295 (2019). doi:10.1007/s10619-018-7248-y.
2019
Kathiravelu, Pradeeban ; Van Roy, Peter ; Veiga, Luís. SD-CPS: software-defined cyber-physical systems. Taming the challenges of CPS with workflows at the edge. In: Cluster Computing, Vol. 22, no.3, p. 661-677 (2019). doi:10.1007/s10586-018-2874-8.
2018
Kathiravelu, Pradeeban ; Van Roy, Peter ; Veiga, Luís. Composing network service chains at the edge: a resilient and adaptive software-defined approach. In: Transactions on Emerging Telecommunications Technologies, Vol. 29, no.11 (2018). doi:10.1002/ett.3489.
2018
Kathiravelu, Pradeeban ; Sharma, Ashish ; Galhardas, Helena ; Van Roy, Peter ; Veiga, Luís. On-Demand Big Data Integration: A Hybrid ETL Approach for Reproducible Scientific Research.. In: Distributed and Parallel Databases, (2018).
2017
Kathiravelu, Pradeeban ; Sharma, Ashish ; Galhardas, Helena ; Van Roy, Peter ; Veiga, Luís. On-demand big data integration. A hybrid ETL approach for reproducible scientific research. In: Distributed and Parallel Databases, Vol. 37, no. 37, p. 273-295 (2019).
2013
Van Cauwelaert, Sascha ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter. Practical Uses of Constraint Programming in Music using Relation Domains. In: Emille journal, Vol. 10, p. 21-31 (2013).
2012
Melchior, Jérémie ; Vanderdonckt, Jean ; Van Roy, Peter. A Comparative Evaluation of User Preferences for Extra-User Interfaces. In: International Journal of Human Computer Interaction, Vol. 28, no.11, p. 760-767 (28 September 2012). doi:10.1080/10447318.2012.715544.
2008
Mejias Candia, Boris César ; Van Roy, Peter. The relaxed-ring : a fault-tolerant topology for structured overlay networks. In: Parallel Processing Letters, Vol. 18, no. 3, p. 411-432 (2008). doi:10.1142/S0129626408003478.
2007
Van Roy, Peter. Self Management and the Future of Software Design. In: Electronic Notes in Theoretical Computer Science, Vol. 182, p. 201-217 (2007). doi:10.1016/j.entcs.2006.12.043.
2006
Collet, Raphael ; Van Roy, Peter. Failure handling in a network-transparent distributed programming language. In: Lecture Notes in Computer Science, Vol. 4119, p. 121-140 (2006). doi:10.1007/11818502_7.
2006
Van Roy, Peter. Self management and the future of software design. In: Electronic Notes in Theoretical Computer Science, Vol. 182, p. 1-17 (2007).
1999
Van Roy, Peter. Announcing the Mozart programming system. In: SIGPLAN Notices, Vol. 34, no. 4, p. 33-34 (1999).
1999
Haridi, S. ; Van Roy, Peter ; Brand, P ; Mehl, M ; Scheidhauer, R ; Smolka, G. Efficient logic variables for distributed computing. In: ACM Transactions on Programming Languages and Systems, Vol. 21, no. 3, p. 569-626 (1999). doi:10.1145/319301.319347.
1998
Haridi, S. ; Van Roy, Peter ; Brand, P ; Schulte, C. Programming languages for distributed applications. In: New Generation Computing : computing paradigms and computational intelligence, Vol. 16, no. 3, p. 223-261 (1998). doi:10.1007/BF03037481.
1997
Van Roy, Peter ; Haridi, S. ; Brand, P ; Smolka, G ; Mehl, M ; Scheidhauer, R. Mobile objects in distributed Oz. In: ACM Transactions on Programming Languages and Systems, Vol. 19, no. 5, p. 804-851 (1997). doi:10.1145/265943.265972.
2007
Van Roy, Peter ; Haridi, Seif. Programmation: Concepts, techniques et modèles (Sciences sup), Dunod: Paris, 2007. 978-2-10-051196-9. 368 p.
2004
Van Roy, Peter ; Haridi, Seif. Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004. 978-0-262-22069-9.
2019
Da Costa, Georges ; Lastovetsky, Alexey L. ; Barbosa, Jorge G. ; Díaz-Martín, Juan C. ; García-Zapata, Juan L. ; Janetschek, Matthias ; Jeannot, Emmanuel ; Leitão, João ; Manumachu, Ravi Reddy ; Prodan, Radu ; Rico-Gallego, Juan A. ; Van Roy, Peter ; Shoker, Ali ; van der Linde, Albert. Programming models and runtimes. In: Jesus Carretero, Emmanuel Jeannot, Albert Y. Zomaya, Ultrascale Computing Systems, Institution of Engineering and Technology, 2019, p. 9-63. 9781785618338. doi:10.1049/pbpc024e_ch2.
2010
Van Roy, Peter. The CTM approach for teaching and learning programming. In: Thomas S Clary, Horizons in Computer Science Research. Volume 2, Nova Science Publishers, 2010, p. 1-26. 978-1-61761-439-2.
2009
Van Roy, Peter. Programming paradigms for dummies: what every programmer should know. In: Edited by Gérard Assayag and Andrew Gerzso, New computational paradigms for computer music (Musique/Science), Éditions DELATOUR FRANCE: Le vallier, 2009, p. 9-47. 978-2-7521-0054-2.
2001
Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces (Lecture Notes in Computer Science), Springer-Verlag, 2001.
2020
Kathiravelu, Pradeeban ; Van Roy, Peter ; Veiga, Luis ; Benkhelifa, Elhadj. Latency-Sensitive Web Service Workflows: A Case for a Software-Defined Internet. 2020 Seventh International Conference on Software Defined Systems (SDS) (Paris, France, du 20/4/2020 au 23/4/2020). doi:10.1109/sds49854.2020.9143882.
2020
Haeri, Seyed Hossein ; Van Roy, Peter. Piecewise Relative Observational Purity. ProWeb 2020 (Porto, Portugal, 23/03/2020) (Accepté/Sous presse).
2019
Kopestenski, Igor ; Van Roy, Peter. Achlys: Towards a Framework for Distributed Storage and Generic Computing Applications for Wireless IoT Edge Networks with Lasp on GRiSP. SmartEdge'19 at PerCom 2019 – IEEE International Conference on Pervasive Computing and Communication (Kyoto, Japan, du 11/03/2019 au 15/03/2019). In: IEEE Pervasive Computing, Vol. 17, no.4 (2019).
2019
Van Roy, Peter ; Kopestenski, Igor. Achlys: Towards a framework for distributed storage and generic computing applications for wireless IoT edge networks with Lasp on GRiSP. SmartEdge 2019 workshop (colocated with PerCom 2019) (Kyoto, Japan, du 11/03/2019 au 15/03/2019).
2019
Kopestenski, Igor ; Van Roy, Peter. Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks. the 18th ACM SIGPLAN International Workshop (Berlin, Germany, 18/8/2019). In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Association for Computing Machinery: New York, 2019. 9781450368100. doi:10.1145/3331542.3342567.
2019
Haeri, Seyed Hossein ; Van Roy, Peter. Marking Piecewise Observable Purity. Nordic Workshop on Programming Theory, (Tallinn University of Technology - Estonia, du 13/11/2019 au 15/11/2019).
2019
Li, Zhongmiao ; Romano, Paolo ; Van Roy, Peter. Sparkle: speculative deterministic concurrency control for partially replicated transactional stores. 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (Portland, OR, USA, du 24/6/2019 au 27/6/2019). In: Proceedings, 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks : 24-27 June 2019, Portland, Oreg, IEEE Computer Society, 2019. 978-172810056-2, p. 164 - 175. doi:10.1109/dsn.2019.00029.
2018
Van Roy, Peter. A Software System Should be Declarative Except Where it Interacts with the Real World. Workshop on Logic and Practice of Programming (LPOP 2018, colocated with FLoC 2018) (Oxford, UK, 18/07/2018).
2018
Kathiravelu, Pradeeban ; Van Roy, Peter ; Veiga, Luis. Software-defined data services: interoperable and network-aware big data executions. 2018 Fifth International Conference on Software Defined Systems (SDS) (Barcelona, du 23/4/2018 au 26/4/2018). In: 2018 Fifth International conference on software defined systems (SDS), IEEE, 2018. 978-153865900-7, p. 145 - 152. doi:10.1109/sds.2018.8370436.
2018
Van Roy, Peter ; Christopher S. Meiklejohn. Towards A Systems Approach To Distributed Programming. OBT 2018, colocated with POPL 2018 (Los Angeles, CA, 13/01/2018) (Accepté/Sous presse).
2017
Paul, Ruma Rani ; Melchior, Jérémie ; Van Roy, Peter ; Vlassov, Vladimir. Designing Distributed Applications Using a Phase-Aware, Reversible System. 1st IEEE International Conference on Edge Computing (Honolulu, Hawaii, du 25/06/2017 au 30/06/2017).
2017
Paul, Ruma Rani ; Melchior, Jérémie ; Van Roy, Peter ; Vlassov, Vadimir. Designing robust distributed systems with weakly interacting feedback structures. CodeMesh 2017 (London, UK, du 08/11/2017 au 09/11/2017).
2017
Van Roy, Peter. Ditching the Data Center: How to Stop Worrying and Love the Edge. Erlang User Conference, (Stockholm, Sweden, du 08/06/2017 au 09/06/2017).
2017
Van Roy, Peter ; Li, Zhongmiao ; Romano,Paolo. Enhancing Throughput of Partially Replicated State Machines via Multi-Partition Operation Scheduling. IEEE International Symposium on Network Computing and Applications (Cambridge, MA, du 30/10/2017 au 01/11/2017). doi:10.1109/NCA.2017.8171364.
2017
Li, Zhongmiao ; Van Roy, Peter. Exploiting Speculation in Partially Replicated Transactional Data Stores. ACM Symposium on Cloud Computing (SoCC '2017) (Santa Clara, CA, USA, du 25/09/2017 au 27/09/2017). doi:10.1145/3127479.3132692.
2017
Van Roy, Peter. LightKone Project: Lightweight Computation for Networks at the Edge . TEKK Tour Digital Wallonia (Mons, Belgium, 03/11/2017).
2017
Meiklejohn, Christopher ; Enes, Vitor ; Yoo, Junghun ; Baquero, Carlos ; Van Roy, Peter ; Bieniusa, Annette. Practical Evaluation of the Lasp Programming Model at Large Scale. 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017) (Namur, Belgium, du 09/10/2017 au 12/10/2017). doi:10.1145/3131851.3131862.
2017
Van Roy, Peter ; Bravo Gestoso, Angel. Saturn: A Distributed Metadata Service for Causal Consistency. EuroSys 2017 Conference (Belgrade, Serbia, du 23/04/2017 au 26/04/2017). doi:10.1145/3064176.3064210.
2016
Haeri, Seyed Hossein ; Van Roy, Peter. An Operational Semantics for Multicasting Systems with Monotonic Values. 28th Nordic Workshop on Programming Theory (Rold StorKro (North Jutland), Denmark, du 31/10/2017 au 02/11/2016). In: Informal Proceedings of the 28th Nordic Workshop on Programming Theory, 2016.
2016
Paul, Ruma ; Van Roy, Peter. Building Distributed Applications for Stressful Environments using Reversibility and Phase-Awareness. Conference on Complex Systems (CCS 2016) (Amsterdam, The Netherlands, du 19/09/2016 au 22/09/2016). doi:10.1109/ICDCS.2016.98.
2016
Meiklejohn, Christopher ; Haeri, Seyed Hossein ; Van Roy, Peter. Declarative, sliding window aggregations for computations at the edge. 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC) (Las Vegas, NV, du 09/01/2016 au 12/01/2016). In: Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, , p. 32-37 (2016). doi:10.1109/CCNC.2016.7444727.
2016
Paul, Ruma R. ; Van Roy, Peter ; Vlassov, Vladimir. Reversible phase transitions in a structured overlay network with churn. International conference on networked systems, NETYS (Marrakec, Morocco, du 18/05/2016 au 20/05/2016). In: Lecture Notes in Computer Science, Vol. 9944 LNCS, p. 318-333 (2016). doi:10.1007/978-3-319-46140-3_26.
2016
Haeri, Seyed Hossein ; Van Roy, Peter ; Baquero, Carlos ; Meiklejohn, Christopher. Worlds of Events: Deduction with Partial Knowledge about Causality. In: Electronic Proceedings in Theoretical Computer Science, Vol. 223, no. 1, p. 113-127 (2016). doi:10.4204/EPTCS.223.8.
2015
Derval, Guillaume ; Gego, Anthony ; Reinbold, Pierre ; Frantzen, Benjamin ; Van Roy, Peter. Automatic Grading of Programming Exercises in a MOOC Using the INGInious Platform.. EMOOCS 2015 (Third MOOC European Stakeholders Summit) (Mons, Belgium, du 18/05/2015 au 20/05/2015).
2015
Van Roy, Peter ; Derval, Guillaume ; Frantzen, Benjamin ; Gego, Anthony ; Reinbold, Pierre. Automatic grading of programming exercises in a MOOC using the INGInious platform. European MOOC Stakeholder Summit 2015 (EMOOCs 2015) (Mons, du 18/05/2015 au 20/05/2015). In: EMOOCs 2015 Proceedings Papers, 2015.
2015
Briquemont, Iwan ; Bravo, Manuel ; Li, Zhongmiao ; Van Roy, Peter. Conflict-free Partially Replicated Data Types. 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015) (Vancouver, BC, du 30/11/2015 au 03/12/2015). doi:10.1109/CloudCom.2015.81.
2015
Paul, Ruma Rani ; Van Roy, Peter ; Vlassov, Vladimir. Interaction Between Network Partitioning and Churn in a Self-Healing Structured Overlay Network. 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015) (Melbourne, Australia, du 14/012/2015 au 17/12/2015).
2015
Meiklejohn, Christopher ; Van Roy, Peter. Lasp: A Language for Distributed, Coordination-Free Programming. PPDP 2015 (17th International Symposium on Principles and Practice of Declarative Programming) (Siena, Italy, du 14/07/2015 au 16/07/2015).
2015
Meiklejohn, Christopher ; Van Roy, Peter. Lasp: A Language for Distributed, Eventually Consistent Computations with CRDTs. PaPoC 2015 (Workshop on Principles and Practice of Consistency for Distributed Data) (colocated with EuroSys 2015) (Bordeaux, France, 21/04/2015). In: PaPoC '15 Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data, ACM: New York, NY, USA, 2015. 978-1-4503-3537-9.
2015
Bravo, Manuel ; Romano, Paolo ; Rodrigues, Luis ; Van Roy, Peter. Reducing the Vulnerability Window in Distributed Transaction Protocols. PaPoC 2015 (Workshop on Principles and Practice of Consistency for Distributed Data) (colocated with EuroSys 2015) (Bordeaux, France, 21/04/2015).
2015
Meiklejohn, Christopher ; Van Roy, Peter. Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. Workshop on Planetary-Scale Distributed Systems (W-PSDS 2015, colocated with SRDS 2015) (Montreal, Quebec, 28/09/2015).
2015
Meiklejohn, Christopher ; Van Roy, Peter. The Implementation and Use of a Generic Dataflow Behaviour in Erlang. 14th ACM SIGPLAN Erlang Workshop (Vancouver, BC, 04/09/2015). doi:10.1145/2804295.2804300.
2015
Combéfis, Sébastien ; Van Roy, Peter. Three-Step Transformation of a Traditional University Course into a MOOC: a LouvainX Experience. EMOOCS 2015 (Third MOOC European Stakeholders Summit) (Mons, Belgium, du 18/05/2018 au 20/05/2018).
2015
Bravo, Manual ; Rodrigues, Luís ; Van Roy, Peter. Towards a scalable, distributed metadata service for causal consistency under partial geo-replication. Middleware '15: 16th International Middleware Conference (Vancouver BC Canada). In: Proceedings of the Doctoral Symposium of the 16th International Middleware Conference, Association for Computing Machinery: New York, 2015. 9781450337281. doi:10.1145/2843966.2843971.
2015
Combéfis, Sébastien ; Vande Kerckhove, Corentin ; Van Roy, Peter. Transforming a University Course into a Two-public Sustainable MOOC. HybridEd Workshop on MOOC-based Models for Hybrid Pedagogies (Toledo, Spain, 18/09/2015).
2014
Paul, Ruma R ; Van Roy, Peter ; Vlassov, Vladimir. An empirical study of the global behavior of a structured overlay network. 2014 IEEE Thirteenth International Conference on Peer-to-Peer Computing (P2P) (London, United Kingdom, du 8/9/2014 au 12/9/2014). In: 14-th IEEE International Conference on Peer-to-Peer Computing, IEEE, 2014. 9781479962013. doi:10.1109/p2p.2014.6934316.
2014
Bravo, Manuel ; Li, Zhongmiao ; Van Roy, Peter ; Meiklejohn, Christopher. Derflow : distributed deterministic dataflow programming for erlang. the Thirteenth ACM SIGPLAN workshop (Gothenburg, Sweden, 5/9/2014). In: Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang - Erlang '14, ACM Press, 2014. 9781450330381. doi:10.1145/2633448.2633451.
2014
Combéfis, Sébastien ; Bibal, Adrien ; Van Roy, Peter. Recasting a traditional course into a MOOC by means of a SPOC. EMOOCs 2014, the Second MOOC European Stakeholders Summit (Lausanne, Switzerland, du 10/02/2014 au 12/02/2014). In: Proceedings of the European MOOCS Stakeholders Summit (EMOOCs 2014), 2014, p. 205-208.
2013
Doeraene, Sébastien ; Van Roy, Peter. A new concurrency model for scala based on a declarative dataflow core. The fourth annual Scala workshop (Montpeller, France, 02/07/2013). In: Proceedings of the 4th Workshop on Scala, 2013. 978-1-4503-2064-1, p. 1-10. doi:10.1145/2489837.2489841.
2013
Gutierrez Sabogal, Gustavo Adolfo ; Van Roy, Peter ; Van Cauwelaert, Sascha. Implementation of the relation domain for constraint programming. The 19th International Conference on Principles and Practice of Constraint Programming (TRICS 2013) (Uppsala, Sweden, du 16/09/2013 au 20/09/2013).
2013
Gutierrez Sabogal, Gustavo Adolfo ; Barco, Andres Felipe ; Villanueva, Miguel Angel ; Cardona, Alejandro ; Montenegro, Daniel ; Miller, Sebastián ; Diaz, Juan Francisco ; Rueda, Camilo ; Van Roy, Peter. The Mozart constraint subsystem : system presentation. Workshop on Techniques for Implementing Constraint Programming Systems (Uppsala, Sweden, du 16/09/2013 au 20/09/2013).
2012
Van Cauwelaert, Sascha ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter. A new approach for constraint programming in music using relation domains. International computer music conference, ICMC (Ljubljana, Slovenia, du 09/09/2012 au 15/09/2012).
2012
Melchior, Jérémie ; Mejias, Boris ; Jaradin, Yves ; Van Roy, Peter ; Vanderdonckt, Jean. Improving DUIs with a decentralized approach with transactions and feedbacks. 2nd Workshop on Distributed User Interfaces: Collaboration and Usability (Austin, TX,, du 05/05/2012 au 06/05/2012). In: Distributed User Interfaces: Usability and Collaboration (Human–Computer Interaction Series), Springer, 2012. 978-1-4471-5498-3, p. 17-25. doi:10.1007/978-1-4471-5499-0_2.
2012
Melchior, Jérémie ; Vanderdonckt, Jean ; Van Roy, Peter. Modelling and developing distributed user interfaces based on distribution graph. Sixth International Conference on Research Challenges in Information Science (Valencia, Spain, du 16/05/2012 au 18/05/2012). In: Research Challenges in Information Science (RCIS), 2012 Sixth International Conference on, 2012. 978-1-4577-1937-0. doi:10.1109/RCIS.2012.6240450.
2012
Debongnie, Gery ; Collet, Raphaël ; Doeraene, Sébastien ; Van Roy, Peter. Modular fault handling in a network-transparent programming language. 5th International Workshop on Exception Handling (WEH 12), , June 9, 2012. (Zurich, Switzerland, du 02/06/2012 au 09/06/2012). doi:10.1109/WEH.2012.6226592.
2012
Van Cauwelaert, Sascha ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter. Practical Uses of Constraint Programming in Music using Relation Domains. Korean Electro-Acoustic Music Society's annual conference (Seoul, Korea, du 24/10/2012 au 27/10/2012).
2012
O'Doherty, Daire ; Jouili , Salim ; Van Roy, Peter. Towards trust inference from bipartite social networks. Second ACM SIGMOD Workshop on Databases and Social Networks (DBSocial 2012) (Scottsdale, AZ, USA, du 20/05/2012 au 24/05/2012). In: Proceeding DBSocial '12 Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, 2012. 978-1-4503-1495-4, p. 13-18. doi:10.1145/2304536.2304539.
2012
O'Doherty, Daire ; Jouili , Salim ; Van Roy, Peter. Trust-Based Recommendation: An Empirical Analysis. Sixth ACM Workshop on Social Network Mining and Analysis (SNA-KDD 2012), , Aug. 12, 2012. (Beijing, China, 12/08/2012).
2011
Melchior, Jérémie ; Vanderdonckt, Jean ; Van Roy, Peter. A Model-Based Approach for Distributed User Interfaces. 3rd ACM Symposium on Engineering Interactive Computing Systems EICS’2011 (Pisa, du 13/6/2011 au 16/6/2011). In: Proc. of 3rd ACM Symposium on Engineering Interactive Computing Systems EICS’2011, ACM Press: New York, 2011. 978-1-4503-0670-6, p. 11-20. doi:10.1145/1996461.1996488.
2011
De Coster, Xavier ; Ghilain, Matthieu ; Mejias, Boris ; Van Roy, Peter. Designing an Elastic and Scalable Social Network Application. Second International Conference on Cloud Computing, GRIDs, and Virtualization (Rome, Italy, du 25/09/2011 au 30/09/2011).
2011
Melchior, Jérémie ; Vanderdonckt, Jean ; Van Roy, Peter. Distribution Primitives for Distributed User Interfaces. Distributed User Interfaces (DUIs) 2011 (vancouvert, du 07/05/2011 au 12/05/2011). In: Human-Computer Interaction Series, p. 23-31 (2011). doi:10.1007/978-1-4471-2271-5_3.
2011
Dory, Thibault ; Van Roy, Peter. Elasticity as a criterion for choosing a cloud database. 3rd Cloud Computing International Conference (Porto, Portugal, du 04/11/2011 au 04/11/2011).
2011
Dory, Thibault ; Mejias, Boris ; Van Roy, Peter ; Tran, Nam-Luc . Measuring Elasticity for Cloud Databases. Second International Conference on Cloud Computing, GRIDs, and Virtualization) (Rome, Italy, du 25/09/2011 au 30/09/2011).
2010
Mejias Candia, Boris César ; Gutiérrez Sabogal, Gustavo Adolfo ; Van Roy, Peter ; Thomson, John ; Trezentos, Paulo. Lock-Free Decentralized Storage for Transactional Upgrade Rollback. 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (Larissa, Greece, du 28/06/2010 au 30/06/2010). In: 2010 19th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, I E E E, 2010. 978-0-7695-4063-4.
2009
Melchior, Jérémie ; Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. A Toolkit for Peer-to-Peer Distributed User Interfaces: Concepts, Implementation, and Applications. 1st ACM SIGCHI symposium on Engineering interactive computing systems EICS'2009 (Pittsburgh, du 15/7/2009 au 17/7/2009). In: Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems EICS'2009, ACM Press: New York, 2009. 978-1-60558-600-7, p. 69-78. doi:10.1145/1570433.1570449. doi:10.1145/1570433.1570449.
2009
Mejias Candia, Boris César ; Cadiz Rodriguez, Alfredo Jaime ; Van Roy, Peter. Beernet: RMI-free peer-to-peer networks. European Conference on Object-Oriented ProgrammingProceedings of the 1st International Workshop on Distributed Objects for the 21st Century (Genova, Italy, du 06/07/2009 au 10/07/2009). In: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century, ACM, 2009. 978-1-60558-545-1.
2009
Mejias, Boris ; Van Roy, Peter. From mini-clouds to Cloud Computing. Workshop on Architectures and Languages for Self-Managing Distributed Systems (San Francisco, du 14/09/2009 au 18/09/2009). In: 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, 2009. 978-1-4244-8684-7, p. 234-238. doi:10.1109/SASOW.2010.67.
2008
Mejias Candia, Boris César ; Cadiz Rodriguez, Alfredo Jaime ; Van Roy, Peter ; Mens, Kim. A Self-Adaptable Network Topology for Ambient Intelligence. Second IEEE International Workshop on Self-Adaptive and Self-Organizing System (Venice Italy, du 20/10/2008 au 24/10/2008). In: Self-Adaptive and Self-Organizing Systems Workshops, IEEE, 2008. 978-0-7695-3553-1, p. 219-224. doi:10.1109/SASOW.2008.60.
2008
Cadiz Rodriguez, Alfredo Jaime ; Mejias Candia, Boris César ; Vallejos, Jorge ; Mens, Kim ; Van Roy, Peter ; De Meuter, Wolfgang. PALTA : peer-to-peer adaptabLe topology for ambient intelligence. Proceedings of the XXVII International Conference of the Chilean Computer Science Society (Punta Arenas, Chile, du 10/11/2008 au 14/11/2008). In: Proceedings of the XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), IEEE, 2008. 978-0-7695-3403-9, 100-109.
2008
Van Roy, Peter ; Haridi, Seif ; Reinefeld, Alexander ; Stefani, Jean-Bernard ; Yap, Roland ; Coupaye, Thierry. Self management for large-scale distributed systems: an overview of the SELFMAN project. Formal Methods for Components and Objects. 6th International Symposium, FMCO 2007 (Amsterdam, Netherlands, 24-26 October 2007). In: Formal Methods for Components and Objects. 6th International Symposium, FMCO 2007, Springer-verlag, 2008. 978-3-540-92187-5, 153-178.
2008
Mejias Candia, Boris César ; Högqvist, Mikael ; Van Roy, Peter. Visualizing transactional algorithms for DHTs. 2008 Eighth International Conference on Peer-to-Peer Computing (P2P) (Aachen, Germany, 8-11 September 2008). In: 2008 Eighth International Conference on Peer-to-Peer Computing (P2P), IEEE, 2008. 978-0-7695-3318-6, p. 79-80. doi:10.1109/P2P.2008.48.
2007
Mejias Candia, Boris César ; Van Roy, Peter. A relaxed-ring for self-organising and fault-tolerant peer-to-peer networks. SCCC 2007-26th International Conference of the Chilean Computer Science Society (Iquique, Chile, 8-9 November 2007). In: SCCC 2007-26th International Conference of the Chilean Computer Science Society, IEEE, 2007. 978-0-7695-3017-8, p. 13-22.
2007
Grolaux, Donatien ; Mejias Candia, Boris César ; Van Roy, Peter. PEPINO: peer-to-peer network inspector. 2007 7th International Conference on Peer-to-Peer Computing (Galway, Ireland, 2-5 September 2007). In: 2007 7th International Conference on Peer-to-Peer Computing, IEEE, 2007. 978-0-7695-2986-8, p. 247-248.
2006
Van Roy, Peter. Convergence in language design: A case of lightning striking four times in the same place. 8th International Symposium on Functional and Logic Programming (Fuji Inst Educ & Training, Fuji Susono (Japan), Apr 24-26, 2006). In: Lecture Notes in Computer Science, Vol. 3945, p. 2-12 (2006). doi:10.1007/11737414_2.
2006
Quesada, Luis ; Van Roy, Peter ; Deville, Yves ; Collet, Raphaël. Using dominators for solving constrained path problems. 8th International Symposium on Practical Aspects of Declarative Languages (Charleston(Sc), Jan 09-10, 2006). In: Lecture Notes in Computer Science, Vol. 3819, p. 73-87 (2006). doi:10.1007/11603023_6.
2005
Grolaux, Donatien ; Glynn, K ; Van Roy, Peter. A fault tolerant abstraction for transparent distributed programming. 2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 149-160 (2005). doi:10.1007/978-3-540-31845-3_13.
2005
Spiessens, R ; Van Roy, Peter. A practical formal model for safety analysis in capability-based systems. International Symposium on Trustworthy Global Computing (Edinburgh(Scotland), Apr 07-09, 2005). In: Lecture Notes in Computer Science, Vol. 3705, p. 248-278 (2005). doi:10.1007/11580850_14.
2005
Grolaux, Donatien ; Van Roy, Peter ; Vanderdonckt, Jean. Attach me, detach me, assemble me like you work. Tenth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2005) (Rome, Italy, du 12/09/2005 au 16/09/2005). In: Human-Computer Interaction - INTERACT 2005 : IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Proceedings, 2005. 978-3-540-31722-7. doi:10.1007/11555261_19.
2005
Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. Attach me, detach me, assemble me like you work [Detachable user interface]. Human-Computer Interaction - INTERACT 2005. IFIP TC13 International Conference. Proceedings (Rome, Italy, 12-16 September 2005). In: Human-Computer Interaction - INTERACT 2005. IFIP TC13 InternationalConference. Proceedings (Lecture Notes in Computer Science Vol. 3585), Springer-verlag, 2005. 3-540-28943-7, p. 198-212.
2005
El-Ansary, S ; Grolaux, Donatien ; Van Roy, Peter ; Rafea, M. Overcoming the multiplicity of languages and technologies for web-based development using a multi-paradigm approach. 2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 113-124 (2005). doi:10.1007/978-3-540-31845-3_10.
2005
Mesaros, V ; Carton, B. ; Van Roy, Peter. P2PS: Peer-to-peer development platform for Mozart. 2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 125-136 (2005). doi:10.1007/978-3-540-31845-3_11.
2005
Quesada, Luis ; Van Roy, Peter ; Deville, Yves. Speeding up constrained path solvers with a reachability propagator. 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) (Sitges(Spain), Oct 01-05, 2005). In: Lecture Notes in Computer Science, Vol. 3709, p. 866 (2005). doi:10.1007/11564751_104.
2005
Spiessens, F ; Van Roy, Peter. The Oz-E project: Design guidelines for a secure multiparadigm programming language. 2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 21-40 (2005). doi:10.1007/978-3-540-31845-3_3.
2004
Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. Migratable User Interface: Beyond Migratory Interfaces. MobiQuitous 2004: First Annual International Conference on Mobile and Ubiquitous Systems (Boston, Massachusetts, August 2004).
2003
Van Roy, Peter ; Brand, P ; Duchier, D ; Haridi, S. ; Schulte, C ; Henz, M. Logic programming in the context of multiparadigm programming: the Oz experience. International Conference on Logic Programming (LAS CRUCES(Nm), Nov, 1999). In: Theory and Practice of Logic Programming, Vol. 3, p. 717-763 (2003). doi:10.1017/S1471068403001741.
2003
Mesaros, V.A. ; Carton, B. ; Van Roy, Peter. S-Chord: using symmetry to improve lookup efficiency in Chord. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2003) (Las Vegas, NV, USA, 23-26 June 2003). In: Proceedings of the International Conference on Parallel and DistributedProcessing Techniques and Applications (PDPTA'2003), Csrea press, 2003, Vol. 4, p. 1752-7 .
2003
Van Roy, Peter ; Haridi, S.. Teaching programming broadly and deeply: the kernel language approach. ICTEM '02: Informatics Curricula, Teaching Methods, and Best Practice (Florianopolis, SC, Brazil, 10-12 July 2002). In: Informatics Curricula and Teaching Methods. IFIP TC3/WG3.2 Conferenceon Informatics Curricula, Teaching Methods and Best Practice (ICTEM2002), Kluwer academic publishers, 2003. 1-4020-7266-X, p. 53-62.
2003
Van Roy, Peter ; Armstrong, J. ; Flatt, M. ; Magnusson, B.. The role of language paradigms in teaching programming. Thirty-Fourth SIGCSE Technical Symposium on Computer Science Education (Reno, NV, USA, 19-23 February 2003). In: SIGCSE Bulletin, Acm, 2003, Vol. 35, p. 269-270. doi:10.1145/792548.611908.
2002
Quesada, Luis ; Van Roy, Peter. A concurrent constraint programming approach for trajectory determination of autonomous vehicles. Principles and Practice of Constraint Programming - CP 2002. 8th International Conference, CP 2002. Proceedings (Ithaca, NY, USA, 9-13 September 2002). In: Principles and Practice of Constraint Programming - CP 2002. 8thInternational Conference, CP 2002. Proceedings (Lecture Notes inComputer Science Vol.2470), Springer-verlag, 2002. 3-540-44120-4, p. 777.
2002
Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. FlexClock: a Plastic Clock Written in Oz with the QTk Toolkit. Proceedings de TAMODIA 2002 (First International Workshop on Task Models and Diagrams for User Interface Design) (Bucharest, 18-19 july 2002).
2001
Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces. 8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01) (Toronto, Canada, Mai 2001).
2001
Grolaux, Donatien ; Vanderdonckt, Jean ; Van Roy, Peter. QTk: An Integrated Model-Based Approach to Designing Executable User Interfaces. 8th Workshop on Design, Specification and Verification of Interactive Systems: DSV-IS 2001 (Glasgow, Ecosse, 13-15 juin 2001).
2000
Hadim, M.B. ; Van Roy, Peter. Service combinators for Web computing in Distributed Oz. 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000) (Las Vegas, NV, USA, 26-29 June 2000). In: Proceedings of the International Conference on Parallel and DistributedProcessing Techniques and Applications. PDPTA'2000, Csrea press, 2000. 1-892512-52-1, Vol. 4, p. 1879-83 .
1999
Van Roy, Peter ; Brand, P ; Haridi, S. ; Collet, R. A lightweight reliable object migration protocol. Workshop on Internet Programming Languages (LOYOLA UNIV, CHICAGO(Illinois), May 13, 1998). In: Lecture Notes in Computer Science, Vol. 1686, p. 32-46 (1999).
2020
Haeri, Seyed Hossein ; Van Roy, Peter. A Family of λ-Calculi with Ports (), 2020. 22 p.
2020
Haeri, Seyed Hossein ; Van Roy, Peter. Purely Functional Distributed Systems Programming, 2020. 7 p.
2019
Haeri, Seyed Hossein ; Van Roy, Peter. Distributed Lambda Calculus, 2019. 5 p.
2018
Van Roy, Peter. La programmation du futur (The future of programming), 2018. 3 p.
2017
Li, Zhongmiao ; Van Roy, Peter. Speculative Transaction Processing in Geo-Replicated Data Stores, 2017. 16 p.
2018
Li, Zhongmiao ; Van Roy, Peter ; Romano, Paolo. Transparent Speculation in Geo-Replicated Transactional Data Stores, 2018.
2017
Van Roy, Peter. How the Internet amplifies threats to society and what to do about it , 2017. 1 p.
2017
Van Roy, Peter ; Meiklejohn, Christopher. Loquat: A Framework for Large-Scale Actor Communication on Edge Networks, 2017.
2017
Kathiravelu, Pradeeban ; Van Roy, Peter. On-Demand Service-Based Big Data Integration: Optimized for Research Collaboration, 2017.
2016
Shoker, Ali ; Leitao, Joao ; Van Roy, Peter ; Meiklejohn, Christopher. Lightkone: towards general purpose computations on the edge, 2016. 12 p.
2010
Mejias Candia, Boris César ; Van Roy, Peter. Beernet : building self-managing decentralized systems with replicated transactional storage, 2010.