Our paper on "Towards Trustworthy AI Software Development Assistance" with @krishnanm86 and Daniel Maninger is now available in the ACM DL, Proc. 24 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results dl.acm.org/doi/10.1145/36…

This is really important... we all know LLMs make mistakes...but when using LLM code completion one needs to be extra careful because they are EXCELLENT stochastic parrots. Even when they are <wrong>, they SOUND <right> and thus can be the source of nasty errors.... 🧵

A quick reminder that the deadline for applications for the Assistant Prof TT position on „Reliable Distributed Software“ is this Saturday 👇 tu-darmstadt.de/universitaet/k…

Our ACL 24 paper on analyzing how much code structure LLMs understand is not available on arxiv arxiv.org/abs/2406.11930

well, I meant to write "now" instead of "not" 😀

This is great news! Congratulations to the TU Darmstadt and hessian.AI robotics team Jan Peters Georgia Chalvatzaki @ CoRL+Humanoids 2025 Roderich Gross!

One of the biggest copyright infringement cases in AI right now. 👀

🎉🥳I am super excited about this collaboration 👇Building on top of, e.g., Atman (neurips.cc/virtual/2023/p…), MultiFusion (neurips.cc/virtual/2023/p…), and Safe Latent Diffussion (cvpr.thecvf.com/virtual/2023/p…), we will push the boundaries of explainable, safe and transparent GenAI.

Indeed

✨NEWS ALERT 🚨 We invite self-nominations for the program committee of the 48th International Conference on Software Engineering @icseconf 2026 are open! Apply until November 12, 2024! bit.ly/icse2026-pc-no… Thomas Zimmermann ACM SIGSOFT

🚀 Calling all talented students and postdocs! Join my team 🦄 at UC Irvine to dive into exciting projects in developer experience, software engineering, AI and ML, data science, and more. Ready to collaborate? Let’s connect! 🤝💻✨

Interesting read 👇

Congrats, Fabrizio - well deserved!

When we develop AI systems that can actually reason, they will involve deep learning (as one of two major components, the other one being discrete search), and some people will say that this "proves" that DL can reason. No, it will have proven the thesis that DL is not enough,

Proud to be among the new elected members of Academia Europaea 🙏

Bin gespannt, was sich die nächste Bundesregierung 🇩🇪bei #KI vornehmen wird

Very cool logo, very cool city, and together with Thomas Zimmermann we’ll be working hard to put together a cool technical program. Submission deadline is approaching … don‘t miss it! Looking forward to meet many cool people in Rio in 2026 😎

Honored to be one of 2024 #ACMFellows. Thanks to the peers that nominated, endorsed, and selected me. This is also a tribute to PhD candidates and postdocs I have had the privilege to work with. Thanks Association for Computing Machinery TU Darmstadt Computer Science, TU Darmstadt hessian.AI ATHENE

🙏Kristian Kersting für Dein unermüdliches Engagement! Man kann ruhig von Alarmsirenen 🚨sprechen. Politik, Wirtschaft und Gesellschaft in 🇩🇪 und 🇪🇺müssen dringend aus dem „deep sleep“ rauskommen und #KI auf der Agenda ganz oben setzen.

Künftig werde es aber nicht nur darum gehen, wer die führenden großen KI-Modelle habe – sondern funktionierende Geschäftsmodelle, sagt DFKI-Experte Burchardt. „Die großen Techkonzerne verpulvern mit künstlicher Intelligenz bisher sehr viel Geld“. wiwo.de/unternehmen/it…