This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
This action will delete this post on this instance and on all federated instances, and it cannot be undone. Are you certain you want to delete this post?
This action will block this actor and hide all of their past and future posts. Are you certain you want to block this actor?
This action will block this object. Are you certain you want to block this object?
Are you sure you want to delete the OAuth client [Client Name]? This action cannot be undone and will revoke all access tokens for this client.
Are you sure you want to revoke the OAuth token [Token ID]? This action cannot be undone and will immediately revoke access for this token.
We are hiring an associate professor (tenured) in #SoftwareEngineering (any subdomain) in our team (ACES) at @TelecomParis. Come join us! Application deadline: September 4, 2023. (Contact me for any question.) https://institutminestelecom.recruitee.com/l/en/o/associate-professor-of-software-engineering-at-telecom-paris-cdi

Why does this have to be so user-hostile? The default paste when copying formatted text should be to match the destination formatting. Not the source formatting, and paste is one of the most important functionalities in modern word processing. I wish they would provide at least some option to change these short cuts #microsoft #msword #macos #userhostile

More visitors at University of Sydney. Tural Mammadov and Jurgen Cito (1 & 3) with me, Xi Wu and Huaming Chen (2, 4 & 5). #USyd #USydSE

How do you fuzz code that cannot be instrumented, e.g. on an embedded system? It turns out you can use GDB for that!
👉 Check out our upcoming “GDBFuzz” @issta_conf paper at
https://publications.cispa.saarland/3950/
👉 GDBFuzz is available as open source at https://github.com/boschresearch/gdbfuzz

Bye bye #ICSE2023! It was great to meet up with everyone.


My PhD students at @ICSEconf! If you meet Tural Mammadov, Marius Smytzek, Leon Bettscheider , or Fengmin "Paul" Zhu, ask them about their research, what it’s like to work with me at @CISPA - and how I made them wear these T-shirts. https://jobs.cispa.saarland/

Gigantic congratulations to Prof. Dr. @avanhatt, who successfully defended today!!!! She has done a truly awesome series of super-practical applications of formal methods to compilers and things—stuff people will be using and building on for a long time. 🎉👏🦀