Joined August 2010
- Tweets 43
- Following 534
- Followers 132
- Likes 35
3 Photos and videos
Quentin Stiévenart retweeted
5 Sep 2024
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
5
10
597
Quentin Stiévenart retweeted
3 Jun 2024
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…
8
11
1,294
Quentin Stiévenart retweeted
5 Oct 2023
Action shots of @acieroid presenting "Dynamic Slicing of WebAssembly Binaries" at @IEEEICSME (pre-print soft.vub.ac.be/Publications/…). Joint work w/ @davebinkley42 @CoenDeRoover.
4
20
746
Quentin Stiévenart retweeted
20 Mar 2023
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
5
11
1,087
Quentin Stiévenart retweeted
16 Jan 2023
Action shots @jevdplas presenting "Result Invalidation for Incremental Modular Analyses". Joint work with @CoenDeRoover @acieroid @softlab_brussel. Preprint: soft.vub.ac.be/Publications/…
4
6
708
Quentin Stiévenart retweeted
24 Nov 2022
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/…
5
23
Quentin Stiévenart retweeted
7 Oct 2022
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/…
6
13
Quentin Stiévenart retweeted
5 Oct 2022
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.
8
14
Quentin Stiévenart retweeted
4 Oct 2022
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/…
5
9
Quentin Stiévenart retweeted
4 Oct 2022
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/…
1
6
12
12 Apr 2022
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
3
Quentin Stiévenart retweeted
25 Jan 2022
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! 🧑💻
3
1
Quentin Stiévenart retweeted
6 Jan 2022
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!
7
3
13 Nov 2020
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/…)
4
5
Quentin Stiévenart retweeted
27 Sep 2020
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
3
7
Quentin Stiévenart retweeted
27 Sep 2020
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
3
8
27 Sep 2020
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…
4
22 Oct 2018
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…
6
11
Quentin Stiévenart retweeted
21 Jun 2017
Mailbox Abstractions for Static Analysis of Actor Programs at #ECOOP17 #ECOOP2017. Graph mailbox abstraction really interesting!
1
3