SoftwareLanguagesLab
@softlab_brussel
Followers
611
Following
163
Media
109
Statuses
687
The Software Languages Lab is a research lab within the Department of Computer Science of the Vrije Universiteit Brussel (VUB).
Brussels, Belgium
Joined October 2013
RT @CoenDeRoover: Registrations are open for the 4th Summer School on Security Testing & Verification (ST&V 2025) in Brussels July 7 till 1….
0
4
0
Congratulations to our freshly-minted Phd in CS, Dr. @jevdplas who defended "Incremental Static Program Analysis through Reified Computational Dependencies" on Monday! Action shots w/ promotors @CoenDeRoover & @acieroid included. Dissertation copy at
2
5
10
Congratulations to our freshly-minted @VUBrussel Phd in CS, Dr. Opdebeeck @ROpdebee who defended “Static Analysis for Quality Assurance of Ansible Infrastructure-as-Code Artefacts” on Friday! Action shots w/ promotor @CoenDeRoover included. Dissertation:
0
3
12
RT @CoenDeRoover: Humbled by the 2024 Most Influential Paper Award of the Working Conference on Software Visualization, for our 2014 @IEEEV….
0
4
0
RT @CoenDeRoover: Action shots of @cindy_wauters from @softlab_brussel presenting "Property-based Testing within ML Projects: an Empirical….
0
4
0
RT @CoenDeRoover: Action shots of @bramvdbogaerde presenting “Blame-Correct Support for Receiver Properties in Recursively-Structured Actor….
0
5
0
RT @programmingconf: After the submission deadline is before the submission deadline: Submit to the journal on The Art, Science, and Engine….
0
6
0
RT @elisagboix: 🚀 Only 10 days left! Join us for the 1st Belgian Local-First Software Meetup on Fri, 23/08! It's free but registration is r….
eventbrite.be
Join us for the first Belgian Local-First Software Meetup, featuring two industrial talks on the latest advancements in local-first.
0
6
0
RT @KevinDP55: I'll be presenting @ElectricSQL at the first Belgian meetup on Local-First Software on the 23rd of August in Brussels. The r….
0
5
0
RT @elisagboix: We are organising the first Belgian meetup on Local-First Software on August 23rd in Brussels, featuring two industrial tal….
eventbrite.be
Join us for the first Belgian Local-First Software Meetup, featuring two industrial talks on the latest advancements in local-first.
0
9
0
RT @elisagboix: Happy to announce that DARE 2024 has obtained support from ACM Europe and emergenCITY, and we have additional spots for the….
0
7
0
RT @CoenDeRoover: Lecturers of the 3rd Summer School on Security Testing and Verification (ST&V 2024), organised Sep 9-10-11 by @softlab_br….
0
8
0
RT @xmal: Second Summer School on .Distributed and Replicated Environments (DARE 2024) with application deadlines till May 29th. This year….
0
6
0
RT @programmingconf: Reminder: The next submission deadline for the journal on The Art, Science, and Engineering of Programming is June 1st….
0
4
0
RT @programmingconf: The journal on "The Art, Science, and Engineering of Programming" is still taking submissions for volume nine!. Next d….
0
8
0
Congratulations to our new @VUBrussel PhD in Computer Science, Dr. Ward Muylaert @wardmuylaert, who defended the thesis "Data Flow and Control Flow Analysis of Problematic Commits" on Monday! Action shots with promotor @CoenDeRoover included.
1
3
15
RT @CoenDeRoover: An additional shot of @mvdcamme presenting "State Merging for Concolic Testing of Event-Driven Applications" at the @klee….
0
2
0
RT @elisagboix: Happy to announce the second edition of the @DARE summer school! The in-person week will be held from 9 to 13 September 202….
0
13
0
Congratulations to our new @VUBrussel PhD in CS, Dr. Velázquez-Rodríguez @cvelazquezr, who defended the thesis "Extracting Library Features from Incomplete Code on Stack Overflow" on Friday! Action shots with promotor @CoenDeRoover included. Dissertation:
0
4
14
RT @DistriNet: Save the date: 3rd edition of @softlab_brussel and @DistriNet (@KU_Leuven) Summer School on Security Testing & Verification,….
0
5
0