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

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

Search results

  • 2023

    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
    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
    4 Citations (Scopus)
  • 2022

    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
    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
    3 Citations (Scopus)
    90 Downloads (Pure)
  • 2020

    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
    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
    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
    12 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
    6 Citations (Scopus)
    247 Downloads (Pure)
  • 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
    189 Downloads (Pure)

  • 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
    11 Citations (Scopus)
    154 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
    4 Citations (Scopus)
    32 Downloads (Pure)