Quentin Stiévenart

Action shots of @bramvdbogaerde presenting “Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts” at @icfp_conference in Milan. Joint work w/ @acieroid and @coenderoover. Open-access paper dl.acm.org/doi/10.1145/36… @softlab_brussel @dinfvub

Lecturers of the 3rd Summer School on Security Testing and Verification (ST&V 2024), organised Sep 9-10-11 by @softlab_brussel and @DistriNet at the @VUBrussel campus in Belgium, have confirmed. Early birds should register by July 21st! cybersecurity-research.be/summer-school-…

Action shots of @acieroid presenting "Dynamic Slicing of WebAssembly Binaries" at @IEEEICSME (pre-print soft.vub.ac.be/Publications/2…). Joint work w/ @davebinkley42 @CoenDeRoover.

Happy to share the pre-print (soft.vub.ac.be/Publications/2…) and link to our recently-published @JSSoftware article (sciencedirect.com/science/articl…) on Quasi-Static Executable Slicing, a hybrid of dynamic observation-based and static closure slicing! Joint work w/ @acieroid @davebinkley42

Action shots @jevdplas presenting "Result Invalidation for Incremental Modular Analyses". Joint work with @CoenDeRoover @acieroid @softlab_brussel. Preprint: soft.vub.ac.be/Publications/2…

Happy to share that the certificate for the @ieeescam 2022 Best Artifact Award arrived in the mail! @bramvdbogaerde @acieroid & @CoenDeRoover really appreciate this recognition for the engineering effort publications in our domain require! Thank you! soft.vub.ac.be/Publications/2…

Some action shots of @a_zerou presenting "On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks" at @IEEEICSME 2022 in Cyprus. Joint work with @tom_mens, @AlexandreDecan and @CoenDeRoover. Preprint: soft.vub.ac.be/Publications/2…

Action shots of @cvelazquezr (@softlab_brussel @dinfvub) presenting "LiFUSO: A Tool for Library Feature Unveiling based on Stack Overflow Posts" at @ieeeicsme 22. Tool + paper available at github.com/softwarelangua… + soft.vub.ac.be/Publications/2… Joint work w/ @eleni_const @CoenDeRoover.

Action shots of @bramvdbogaerde presenting "Summary-Based Compositional Analysis for Soft Contract Verification" at @ieeescam 2022 in Cyprus. Joint work with @acieroid and @CoenDeRoover @softlab_brussel @DINFVUB. Preprint: soft.vub.ac.be/Publications/2…

Action shots of @ypacheco1984 presenting "Mining for Framework Instantiation Pattern Interplays" at @ieeescam 2022 in Cyprus. Joint work w/ @a_zerou @CoenDeRoover @softlab_brussel @DINFVUB. Pre-print soft.vub.ac.be/Publications/2…

@ralph_squillace @CoenDeRoover @ECOOPconf @seba0_ Unfortunately we did not record it :(

Really happy about the turnout for the first workshop on Program Analysis for WebAssembly (PAW) at @ECOOPconf! #program" target="_blank" rel="nofollow noopener">2022.ecoop.org/home/paw-2022#… Co-organised with @acieroid @seba0_. Looking forward to the discussions later today!

We are looking for talk proposals for PAW@ECOOP: (Program Analyses for WebAssembly). If you are working on #WebAssembly and have something interesting to share, do consider submitting! Deadline: 18 April AOE. More infos at 2022.ecoop.org/home/paw-2022

Only one more week until the ProWeb'22 deadline! 📅Submission deadline: 1 Feb 2022 🔗2022.programming-conference.org/home/proweb-20… Doing Programming Languages / Software Engineering research relating to the web? Consider submitting! 🧑‍💻

The CfP of #ProWeb2022 is out! ProWeb will be colocated with @programmingconf 📅Submission deadline: 1 Feb 2022 🔗2022.programming-conference.org/home/proweb-20… Doing interesting PL / SE research? Consider submitting! Full papers, demos, and presentation abstracts all very welcome!

The presentation of our paper "Fuzzing Channel-Based Concurrency Runtimes using Types and Effects" (with @MagnusMadsenDK ) is available online! youtu.be/nN0re0gydJg (preprint available at soft.vub.ac.be/Publications/2…)

Want to implement your own modular analysis, and render it parallel or incremental? Check out the MAF framework, in our #SCAM2020 Engineering Track paper. Pre-print at soft.vub.ac.be/Publications/2… Joint work w/ @noahvanes @jevdplas @acieroid @oniroi of @softlab_brussel @DINFVUB

Action shots of @jevdplas presenting "Incremental Flow Analysis through Computational Dependency Reification" at virtual #SCAM2020. Pre-print at soft.vub.ac.be/Publications/2… Joint work w/ @acieroid @noahvanes @oniroi of @softlab_brussel @DINFVUB

Our paper "Compositional Information Flow Analysis for WebAssembly Programs" (with @oniroi) has been accepted at #scam20, preprint available at soft.vub.ac.be/Publications/2…, and in a more readable HTML page at soft.vub.ac.be/~qstieven/scam…

Our paper on "A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular" with @eljenso, @wdmeuter, and @oniroi has been accepted at @JSSoftware ! sciencedirect.com/science/articl…