Quentin Stiévenart

[Coen De Roover @CoenDeRoover]

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 https://t.co/SoKlnFwT5x @softlab_brussel @dinfvub

[Coen De Roover @CoenDeRoover]

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! https://t.co/FtL9HGBJ0y

[Coen De Roover @CoenDeRoover]

Action shots of @acieroid presenting "Dynamic Slicing of WebAssembly Binaries" at @IEEEICSME (pre-print https://t.co/s6UyTI78ye). Joint work w/ @davebinkley42 @CoenDeRoover.

[Coen De Roover @CoenDeRoover]

Happy to share the pre-print (https://t.co/SfU9RfBa4i) and link to our recently-published @JSSoftware article (https://t.co/HD9qqDrcvh) on Quasi-Static Executable Slicing, a hybrid of dynamic observation-based and static closure slicing! Joint work w/ @acieroid @davebinkley42

[Bram Vandenbogaerde @bramvdbogaerde]

Action shots @jevdplas presenting "Result Invalidation for Incremental Modular Analyses". Joint work with @CoenDeRoover @acieroid @softlab_brussel. Preprint: https://t.co/ICjY4Ie7ko

[Coen De Roover @CoenDeRoover]

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! https://t.co/li5wEblXqg

[Camilo Velázquez Rodríguez @cvelazquezr]

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: https://t.co/2pFKQVmzMe

[Coen De Roover @CoenDeRoover]

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 https://t.co/5RttCzTunF + https://t.co/HBWdE8y73f Joint work w/ @eleni_const @CoenDeRoover.

[Camilo Velázquez Rodríguez @cvelazquezr]

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: https://t.co/TxZ7dTa6nT

[Coen De Roover @CoenDeRoover]

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 https://t.co/jZtIWw30mp

[Quentin Stiévenart @acieroid]

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

[Quentin Stiévenart @acieroid]

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 https://t.co/FYQSngqnyz

[ProWeb 2022 @ProWebWorkshop]

Only one more week until the ProWeb'22 deadline!

📅Submission deadline: 1 Feb 2022
🔗https://t.co/E1rDaiMhat

Doing Programming Languages / Software Engineering research relating to the web? Consider submitting! 🧑‍💻

[ProWeb 2022 @ProWebWorkshop]

The CfP of #ProWeb2022 is out!
ProWeb will be colocated with @programmingconf

📅Submission deadline: 1 Feb 2022
🔗https://t.co/E1rDaiMhat

Doing interesting PL / SE research? Consider submitting! Full papers, demos, and presentation abstracts all very welcome!

[Quentin Stiévenart @acieroid]

The presentation of our paper "Fuzzing Channel-Based Concurrency Runtimes using Types and Effects" (with @MagnusMadsenDK ) is available online! https://t.co/mVR6hf6s55 (preprint available at https://t.co/VIFnZDSIue)

[Coen De Roover @CoenDeRoover]

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 https://t.co/KgPKc28BOb
Joint work w/ @noahvanes @jevdplas @acieroid @oniroi of @softlab_brussel @DINFVUB

[Coen De Roover @CoenDeRoover]

Action shots of @jevdplas presenting "Incremental Flow Analysis through Computational Dependency Reification" at virtual #SCAM2020. Pre-print at https://t.co/6rlcvtW9wh Joint work w/ @acieroid @noahvanes @oniroi of @softlab_brussel @DINFVUB

[Quentin Stiévenart @acieroid]

Our paper "Compositional Information Flow Analysis for WebAssembly Programs" (with @oniroi) has been accepted at #scam20, preprint available at https://t.co/8Dl1uTVX4R, and in a more readable HTML page at https://t.co/GBVzrukASO

[Quentin Stiévenart @acieroid]

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 ! https://t.co/KwaxV9d0MG