Quentin Stiévenart retweeted
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/36746… @softlab_brussel @dinfvub
Quentin Stiévenart retweeted
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/su…
Quentin Stiévenart retweeted
Action shots of @acieroid presenting "Dynamic Slicing of WebAssembly Binaries" at @IEEEICSME (pre-print soft.vub.ac.be/Publications/…). Joint work w/ @davebinkley42 @CoenDeRoover.
Quentin Stiévenart retweeted
Happy to share the pre-print (soft.vub.ac.be/Publications/…) and link to our recently-published @JSSoftware article (sciencedirect.com/science/ar…) on Quasi-Static Executable Slicing, a hybrid of dynamic observation-based and static closure slicing! Joint work w/ @acieroid @davebinkley42
Quentin Stiévenart retweeted
Action shots @jevdplas presenting "Result Invalidation for Incremental Modular Analyses". Joint work with @CoenDeRoover @acieroid @softlab_brussel. Preprint: soft.vub.ac.be/Publications/…
Quentin Stiévenart retweeted
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/…
Quentin Stiévenart retweeted
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/…
Quentin Stiévenart retweeted
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/softwarelanguages… + soft.vub.ac.be/Publications/… Joint work w/ @eleni_const @CoenDeRoover.
Quentin Stiévenart retweeted
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/…
Quentin Stiévenart retweeted
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/…
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
Quentin Stiévenart retweeted
Only one more week until the ProWeb'22 deadline!
📅Submission deadline: 1 Feb 2022
🔗2022.programming-conference.…
Doing Programming Languages / Software Engineering research relating to the web? Consider submitting! 🧑💻
Quentin Stiévenart retweeted
The CfP of #ProWeb2022 is out!
ProWeb will be colocated with @programmingconf
📅Submission deadline: 1 Feb 2022
🔗2022.programming-conference.…
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/…)
Quentin Stiévenart retweeted
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/…
Joint work w/ @noahvanes @jevdplas @acieroid @oniroi of @softlab_brussel @DINFVUB
Quentin Stiévenart retweeted
Action shots of @jevdplas presenting "Incremental Flow Analysis through Computational Dependency Reification" at virtual #SCAM2020. Pre-print at soft.vub.ac.be/Publications/… 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/…, and in a more readable HTML page at soft.vub.ac.be/~qstieven/sca…
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/ar…
Quentin Stiévenart retweeted
Mailbox Abstractions for Static Analysis of Actor Programs at #ECOOP17 #ECOOP2017. Graph mailbox abstraction really interesting!
