🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Our paper on "A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular" with Jens Nicolay, Wolfgang De Meuter, and @oniroi has been accepted at Journal of Systems and Software ! sciencedirect.com/science/articl…

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…

Action shots of Jens Van der Plas presenting "Incremental Flow Analysis through Computational Dependency Reification" at virtual #SCAM2020. Pre-print at soft.vub.ac.be/Publications/2… Joint work w/ Quentin Stiévenart Noah Van Es @oniroi of SoftwareLanguagesLab DINF@VUB

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/ Noah Van Es Jens Van der Plas Quentin Stiévenart Oniro of SoftwareLanguagesLab DINF@VUB

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

The CfP of #ProWeb2022 is out! ProWeb will be colocated with ‹Programming› 2025 📅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!

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! 🧑‍💻

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

Action shots of Yunior Pacheco presenting "Mining for Framework Instantiation Pattern Interplays" at IEEE SCAM Conference 2022 in Cyprus. Joint work w/ Ahmed Zerouali Coen De Roover SoftwareLanguagesLab DINF@VUB. Pre-print soft.vub.ac.be/Publications/2…

Action shots of Bram Vandenbogaerde presenting "Summary-Based Compositional Analysis for Soft Contract Verification" at IEEE SCAM Conference 2022 in Cyprus. Joint work with Quentin Stiévenart and Coen De Roover SoftwareLanguagesLab DINF@VUB. Preprint: soft.vub.ac.be/Publications/2…

Action shots of Camilo Velázquez Rodríguez (SoftwareLanguagesLab @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 Constantinou Coen De Roover.

Some action shots of Ahmed Zerouali presenting "On the Impact of Security Vulnerabilities in the npm and RubyGems Dependency Networks" at IEEE ICSME 2025 2022 in Cyprus. Joint work with @tom_mens, Alexandre Decan and Coen De Roover. Preprint: soft.vub.ac.be/Publications/2…

Happy to share that the certificate for the IEEE SCAM Conference 2022 Best Artifact Award arrived in the mail! Bram Vandenbogaerde Quentin Stiévenart & Coen De Roover really appreciate this recognition for the engineering effort publications in our domain require! Thank you! soft.vub.ac.be/Publications/2…

Action shots Jens Van der Plas presenting "Result Invalidation for Incremental Modular Analyses". Joint work with Coen De Roover Quentin Stiévenart SoftwareLanguagesLab. Preprint: soft.vub.ac.be/Publications/2…

Happy to share the pre-print (soft.vub.ac.be/Publications/2…) and link to our recently-published Journal of Systems and Software article (sciencedirect.com/science/articl…) on Quasi-Static Executable Slicing, a hybrid of dynamic observation-based and static closure slicing! Joint work w/ Quentin Stiévenart dave binkley

Action shots of Quentin Stiévenart presenting "Dynamic Slicing of WebAssembly Binaries" at IEEE ICSME 2025 (pre-print soft.vub.ac.be/Publications/2…). Joint work w/ dave binkley Coen De Roover.

.Quentin Stiévenart and I are forming the SCAM’24 Industry Track PC! Nominate yourself or a colleague: forms.gle/3kJrNmsqQLWqTK…

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

Action shots of Bram Vandenbogaerde presenting “Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts” at ICFP Conference in Milan. Joint work w/ Quentin Stiévenart and @coenderoover. Open-access paper dl.acm.org/doi/10.1145/36… SoftwareLanguagesLab @dinfvub

Mailbox Abstractions for Static Analysis of Actor Programs at #ECOOP17 #ECOOP2017. Graph mailbox abstraction really interesting!