SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric Programming

Research output

Research output per year 2019 2019 2020 2021 2022 2023

• 11 Conference paper
• 10 PhD Thesis
• 8 Article
• 6 Meeting abstract (Book)

Research output per year

Research output per year

Search results

• 2023

  A Graph-Based Formal Semantics of Reactive Programming

  Oeyen, B., De Koster, J. & De Meuter, W., 16 Oct 2023, Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Rebelo, H. (ed.). ACM, p. 18-25 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

  Open Access

  File

  • Semantics 100%
  • Data streams 49%
  • Computer programming languages 44%
  37 Downloads (Pure)

• MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis

  Van der Plas, J., Nicolay, J., De Meuter, W. & De Roover, C., Apr 2023, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023). Scitepress, Vol. 1. p. 420-427 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings; vol. 2023-April).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Flow control 100%
  • Static analysis 86%
  • Information analysis 26%
  • Scalability 16%
  • Acoustic waves 16%
  1 Citation (Scopus)

  45 Downloads (Pure)

• Result Invalidation for Incremental Modular Analyses

  Van der Plas, J., Stiévenart, Q. & De Roover, C., 17 Jan 2023, Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, Boston, MA, USA, January 16-17, 2023. Dragoi, C., Emmi, M. & Wang, J. (eds.). Cham: Springer, Vol. 13881. p. 296-319 24 p. (Lecture Notes in Computer Science; vol. 13881).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  • Static analysis 100%
  4 Citations (Scopus)
• 2022

  A live debugging approach for big data processing applications

  Marra, M., 2022, 241 p.

  Research output: Thesis › PhD Thesis

  Open Access

  File

  • Big data 100%
  • Electric sparks 37%
  • Composite materials 21%
  331 Downloads (Pure)

• A meta-level architecture for stream-based programming languages and its applications in cyber-physical systems

  De Troyer, C., 2022, Brussel: Crazy Copy Center Productions. 230 p.

  Research output: Thesis › PhD Thesis

  Open Access

  File

  • Cyber Physical System 100%
  • Computer programming languages 81%
  • Digital twin 43%
  • Thermometers 9%
  • Intelligent buildings 9%
  151 Downloads (Pure)

• FLOREnce: A Hybrid Logic-Functional Reactive Programming Language

  Van Verre, L., Rodriguez Avila, H., Nicolay, J. & De Meuter, W., 29 Nov 2022, REBLS '22 Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. De Meuter, W., Eugster, P., Eugster, P., Salvaneschi, G., Sant'Anna, F., Ziarek, L. & Weisenburger, P. (eds.). ACM, p. 24-36 13 p. (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

  Open Access

  File

  • Computer programming languages 100%
  • Logic programming 43%
  • Computer programming 38%
  • Chemical analysis 23%
  • Experiments 13%
  1 Citation (Scopus)

  96 Downloads (Pure)

• On the coexistence of reactive code and imperative code in distributed applications: A language design approach

  Van den Vonder, S., 2022, Brussels: Crazy Copy Center Productions. 260 p.

  Research output: Thesis › PhD Thesis

  Open Access

  File

  • Computer programming languages 100%
  • Smartphones 68%
  • Sensors 37%
  • Linguistics 34%
  • Internet of things 30%
  284 Downloads (Pure)

• Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine

  Oeyen, B., De Koster, J. & De Meuter, W., 29 Nov 2022, Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. De Meuter, W., Eugster, P., Salvaneschi, G., Sant'Anna, F., Ziarek, L. & Weisenburger, P. (eds.). Auckland, New Zealand: ACM, p. 50-62 13 p. (REBLS 2022 - Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

  Open Access

  File

  • Virtual machine 100%
  • Metals 63%
  • Computer programming languages 59%
  • Sorting 32%
  • Internet of things 27%
  1 Citation (Scopus)

  86 Downloads (Pure)

• Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries

  Stiévenart, Q., Binkley, D. & De Roover, C., 2022, The 44th International Conference on Software Engineering (ICSE 2022). ACM, p. 2031-2042 12 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  • Reverse engineering 100%
  • Inspection 66%
  19 Citations (Scopus)

• Summary-Based Compositional Analysis for Soft Contract Verification

  Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). 22 ed. IEEE, p. 186-196 11 p. (Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Computer programming languages 100%
  • Specifications 70%
  3 Citations (Scopus)

  89 Downloads (Pure)

• Topology-Level Reactivity in Distributed Reactive Programs: Reactive Acquaintance Management using Flocks

  Van den Vonder, S., Renaux, T. & De Meuter, W., 15 Feb 2022, In: The Art, Science, and Engineering of Programming. 6, 3, p. 14:1-14:37 37 p., 14.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Flock 100%
  • Reactivity 98%
  • Programming Languages 50%
  • Topology 50%
  • Computer programming languages 43%
  2 Citations (Scopus)

  163 Downloads (Pure)

• When sequential code meets replicated data: programming language support to simplify the development of correct replicated data types

  De Porre, K., 2022, 293 p.

  Research output: Thesis › PhD Thesis

  Open Access

  File

  • Computer programming languages 100%
  • Semantics 53%
  • High level languages 19%
  • Data structures 12%
  • Availability 11%
  321 Downloads (Pure)
• 2021

  Advanced Debugging Techniques to Handle Concurrency Bugs in Actor-based Applications

  Torres Lopez, C., 2021

  Research output: Thesis › PhD Thesis

• A Parallel Worklist Algorithm and Its Exploration Heuristics for Static Modular Analyses

  Stiévenart, Q., Van Es, N., Van der Plas, J. & De Roover, C., 16 Jul 2021, In: Journal of Systems and Software. 181, 42 p., 111042.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Parallel algorithms 100%
  • Program processors 45%
  1 Citation (Scopus)

• Chocola: Composable Concurrency Language

  Swalens, J., Koster, J. D. & Meuter, W. D., Feb 2021, In: ACM Trans. Program. Lang. Syst.. 42, 4, 17.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Computer programming languages 100%
  • Semantics 74%
  2 Citations (Scopus)

  100 Downloads (Pure)

• Orchestratie van Actorgebaseerde Talen voor Cyber-physical Systemen

  Rodriguez Avila, H., 2021

  Research output: Thesis › PhD Thesis

• Poker: Visual Instrumentation of Reactive Programs With Programmable Probes

  Descheemaeker, C., Van den Vonder, S., Renaux, T. & De Meuter, W., 17 Oct 2021, REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2021. Mandel, L. (ed.). Chicago, IL, USA: ACM, p. 14-26 13 p. (REBLS 2021 - Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

  Open Access

  File

  • Computer programming languages 100%
  1 Citation (Scopus)

  88 Downloads (Pure)

• The Art of the Meta Stream Protocol

  De Troyer, C., Nicolay, J. & De Meuter, W., 15 Jul 2021, In: The Art, Science, and Engineering of Programming. 6, 3, 40 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  85 Downloads (Pure)

• Trampoline Variables: A General Method for State Accumulation in Reactive Programming

  Oeyen, B., Van den Vonder, S. & De Meuter, W., 18 Oct 2021, REBLS 2021 - Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. Mandel, L. (ed.). Chicago, IL, USA: ACM, p. 27-40 14 p. (REBLS 2021 - Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2021).

  Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

  Open Access

  File

  • Computer programming languages 100%
  3 Citations (Scopus)

  100 Downloads (Pure)
• 2020

  Advanced Join Patterns for the Actor Model based on CEP Techniques

  Rodriguez Avila, H., De Meuter, W. & De Koster, J., 2 Nov 2020, In: The Art, Science, and Engineering of Programming. 5, 2, 31 p., 10.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Actors 100%
  • Join 70%
  • Model-based 64%
  • Synchronization 57%
  • DSL 38%
  202 Downloads (Pure)

• An Automated Delta-debugging Approach to Resilience Testing of Actor Systems through Fault Injection

  De Bleser, J., 2020

  Research output: Thesis › PhD Thesis

  • Fault 100%
  • Injection 99%
  • Resilience 94%
  • Testing 57%

• A Parallel Worklist Algorithm for Modular Analyses

  Van Es, N., Stiévenart, Q., Van der Plas, J. & De Roover, C., 27 Sept 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 1-12 12 p. 9252039. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Parallel algorithms 100%
  • Program processors 45%
  4 Citations (Scopus)

  158 Downloads (Pure)

• Compositional Information Flow Analysis for WebAssembly Programs

  Stiévenart, Q. & De Roover, C., 27 Sept 2020, 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020, September 27-28, 2020. IEEE, p. 13-24 12 p. 9252076. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Static analysis 100%
  • Websites 82%
  • Internet of things 80%
  • Acoustic waves 75%
  • Servers 69%
  33 Citations (Scopus)

  412 Downloads (Pure)

• Incremental Flow Analysis through Computational Dependency Reification

  Van der Plas, J., Stiévenart, Q., Van Es, N. & De Roover, C., 27 Sept 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 25-36 12 p. 9252058. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Static analysis 100%
  • Pipelines 73%
  • Feedback 60%
  11 Citations (Scopus)

  194 Downloads (Pure)

• MAF: A Framework for Modular Static Analysis of Higher-Order Languages

  Van Es, N., Van der Plas, J., Stiévenart, Q. & De Roover, C., 27 Sept 2020, Proceedings of the 20th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2020). IEEE, p. 37-42 6 p. 9252057. (Proceedings - 20th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Static analysis 100%
  6 Citations (Scopus)

  243 Downloads (Pure)

• Reactive Sorting Networks

  Oeyen, B., Van den Vonder, S. & De Meuter, W., 26 Nov 2020, REBLS 2020 - Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems. Perez, I. (ed.). ACM, p. 38-50 13 p. (REBLS 2020 - Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Co-located with SPLASH 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

  Open Access

  File

  • Sorting 100%
  • Wire 17%
  • Computer science 11%
  • Computer programming languages 10%
  5 Citations (Scopus)

  71 Downloads (Pure)

• Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

  Van den Vonder, S., Renaux, T., Oeyen, B., De Koster, J. & De Meuter, W., 6 Nov 2020, In: Leibniz international proceedings in informatics. 166, p. 1-29 29 p., 19.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Data streams 100%
  • Software engineering 79%
  • Chemical analysis 64%
  9 Citations (Scopus)

  144 Downloads (Pure)

• Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact)

  Van den Vonder, S., Renaux, T., Oeyen, B., De Koster, J. & De Meuter, W., 6 Nov 2020, In: Dagstuhl Artifacts Series (DARTS). 6, 2, p. 1-4 4 p., 7.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Wind turbines 100%
  • Simulators 84%
  109 Downloads (Pure)

• Triumvirate: A Programming Language Design for Distributed Rich Internet Applications

  Myter, F., 2020

  Research output: Thesis › PhD Thesis

  • Computer programming languages 100%
  • Internet 74%
• 2019

  Composable Actor Behaviour

  Van den Vonder, S., De Koster, J. & De Meuter, W., 6 Jun 2019, Distributed Applications and Interoperable Systems. Pereira, J. & Ricci, L. (eds.). Springer Cham, p. 57-73 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11534 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Actors 100%
  • Reuse 69%
  • Chemical analysis 46%
  • Software reliability 45%
  • Software quality 41%
  186 Downloads (Pure)

• Distributed Reactive Programming for Reactive Distributed Systems

  Myter, F., De Meuter, W. & Scholliers, C., 2019, In: The Art, Science, and Engineering of Programming. 3, 3, p. 1-52 52 p., 5.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  12 Citations (Scopus)

  187 Downloads (Pure)

• Een Gedistribueerd Logisch-Reactief Programmeermodel en diens Toepassing voor het Monitoren van Veiligheid

  Renaux, T., 2019

  Research output: Thesis › PhD Thesis

  • Algebra 100%
  • Banking 54%
  • Monitoring 53%
  • Semantics 32%
  • Data storage equipment 29%

• Effect-driven Flow Analysis

  Nicolay, J., Stiévenart, Q., De Meuter, W. & De Roover, C., 13 Jan 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer, p. 247-274 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Static analysis 100%
  • Static Analysis 38%
  • Trigger 37%
  • Terminate 31%
  • Speedup 28%
  11 Citations (Scopus)

  153 Downloads (Pure)

• Garbage-free Abstract Interpretation through Abstract Reference Counting

  Van Es, N., Stiévenart, Q. & De Roover, C., 1 Jul 2019, Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 134. 34 p. 10

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  Open Access

  File

  • Concretes 100%
  4 Citations (Scopus)

  31 Downloads (Pure)

• Statisch Verifiëren van Inter-veld Vereisten en de Toepassingen in Web API’s

  Oostvogels, N., 2019

  Research output: Thesis › PhD Thesis