Search Results - Stiévenart, Quentin

Refine Results
  1. 1
    An empirical evaluation of quasi-static executable slices

    An empirical evaluation of quasi-static executable slices by Stiévenart, Quentin, Binkley, David, De Roover, Coen

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts

    Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts by Vandenbogaerde, Bram, Stiévenart, Quentin, De Roover, Coen

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    A parallel worklist algorithm and its exploration heuristics for static modular analyses

    A parallel worklist algorithm and its exploration heuristics for static modular analyses by Stiévenart, Quentin, Van Es, Noah, Van der Plas, Jens, De Roover, Coen

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Fuzzing channel-based concurrency runtimes using types and effects

    Fuzzing channel-based concurrency runtimes using types and effects by Stiévenart, Quentin, Madsen, Magnus

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries

    Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries by Stievenart, Quentin, Binkley, David W., De Roover, Coen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    A general method for rendering static analyses for diverse concurrency models modular

    A general method for rendering static analyses for diverse concurrency models modular by Stiévenart, Quentin, Nicolay, Jens, Meuter, Wolfgang De, Roover, Coen De

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Purity analysis for JavaScript through abstract interpretation

    Purity analysis for JavaScript through abstract interpretation by Nicolay, Jens, Stiévenart, Quentin, De Meuter, Wolfgang, De Roover, Coen

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Wasmizer: Curating WebAssembly-driven Projects on GitHub

    Wasmizer: Curating WebAssembly-driven Projects on GitHub by Nicholson, Alexander, Stiévenart, Quentin, Mazidi, Arash, Ghafari, Mohammad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Security Risks of Porting C Programs to WebAssembly

    Security Risks of Porting C Programs to WebAssembly by Stiévenart, Quentin, Coen De Roover, Ghafari, Mohammad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Developers Struggle with Authentication in Blazor WebAssembly

    Developers Struggle with Authentication in Blazor WebAssembly by Pascal Marc André, Stiévenart, Quentin, Ghafari, Mohammad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    The Security Risk of Lacking Compiler Protection in WebAssembly

    The Security Risk of Lacking Compiler Protection in WebAssembly by Stiévenart, Quentin, Coen De Roover, Ghafari, Mohammad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Implementing a performant scheme interpreter for the web in asm.js

    Implementing a performant scheme interpreter for the web in asm.js by Van Es, Noah, Stievenart, Quentin, Nicolay, Jens, D’Hondt, Theo, De Roover, Coen

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    Poster: Static Analysis of Concurrent Higher-Order Programs

    Poster: Static Analysis of Concurrent Higher-Order Programs by Stievenart, Quentin, Nicolay, Jens, De Meuter, Wolfgang, De Roover, Coen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Compositional Information Flow Analysis for WebAssembly Programs

    Compositional Information Flow Analysis for WebAssembly Programs by Stievenart, Quentin, Roover, Coen De

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Developers Struggle with Authentication in Blazor WebAssembly

    Developers Struggle with Authentication in Blazor WebAssembly by Andre, Pascal Marc, Stievenart, Quentin, Ghafari, Mohammad

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Summary-Based Compositional Analysis for Soft Contract Verification

    Summary-Based Compositional Analysis for Soft Contract Verification by Vandenbogaerde, Bram, Stievenart, Quentin, De Roover, Coen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    QSES: Quasi-Static Executable Slices

    QSES: Quasi-Static Executable Slices by Stievenart, Quentin, Binkley, David, De Roover, Coen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Dynamic Slicing of WebAssembly Binaries

    Dynamic Slicing of WebAssembly Binaries by Stievenart, Quentin, Binkley, David, De Roover, Coen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    The Security Risk of Lacking Compiler Protection in WebAssembly

    The Security Risk of Lacking Compiler Protection in WebAssembly by Stievenart, Quentin, De Roover, Coen, Ghafari, Mohammad

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Change Pattern Detection for Optimising Incremental Static Analysis

    Change Pattern Detection for Optimising Incremental Static Analysis by Wauters, Cindy, Plas, Jens Van der, Stievenart, Quentin, Roover, Coen De

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: