Bram Vandenbogaerde
@bramvdbogaerde
Pre-doctoral fellow at the Software Languages Lab @ VUB.
ID: 310486299
https://vdb.space 03-06-2011 20:48:38
165 Tweet
82 Followers
81 Following
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…
Action shots of Bram Vandenbogaerde presenting "Cross-Level Debugging for Static Analysers" at SLE Conference SPLASH Conference. Pre-print: soft.vub.ac.be/Publications/2… Joint work w/ Mats Van Molle (BA student of DINF@VUB) and Coen De Roover of SoftwareLanguagesLab fame.
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
First time I have a problem with DigitalOcean. Major packet loss in AMS1 datacentre.
Retweet and follow Marques Brownlee and @dbrandSkins to enter to win this skinned HTC One M8! Random winner in 6 hours. Go!
@JoachimMG John W Kerns Let's Encrypt According to their statuspage letsencrypt.status.io the public beta will begin at 6 PM GMT.