Estes dias está a haver em Kyoto umha super conferência bienal sobre ecologia de serpentinas #ICSE2025. Por vários motivos nom podo estar aí em pessoa, mas as colegas Chor Wai Lo e Sukaibin Sumail levárom pósteres sobre parte dos trabalhos que levamos fazendo juntas nos últimos anos em #Sabah.
June 14, 2025 at 11:54 AM
Neha Rungta Keynote ICSE2025: Engineering correctness for a domain
www.youtube.com/watch?v=0NE_...
www.youtube.com/watch?v=0NE_...
Neha Rungta Keynote ICSE2025: Engineering correctness for a domain
YouTube video by Association for Computing Machinery (ACM)
www.youtube.com
May 10, 2025 at 3:33 PM
Neha Rungta Keynote ICSE2025: Engineering correctness for a domain
www.youtube.com/watch?v=0NE_...
www.youtube.com/watch?v=0NE_...
Patricia Lago Keynote ICSE2025: Software Sustainability and its Engineering: How far have we come?
@icseconf.bsky.social
#icse2025
www.youtube.com/watch?v=KPDh...
@icseconf.bsky.social
#icse2025
www.youtube.com/watch?v=KPDh...
Patricia Lago Keynote ICSE2025: Software Sustainability and its Engineering: How far have we come?
YouTube video by Association for Computing Machinery (ACM)
www.youtube.com
May 10, 2025 at 3:20 PM
Patricia Lago Keynote ICSE2025: Software Sustainability and its Engineering: How far have we come?
@icseconf.bsky.social
#icse2025
www.youtube.com/watch?v=KPDh...
@icseconf.bsky.social
#icse2025
www.youtube.com/watch?v=KPDh...
Here's the recording of David Parnas' keynote at #icse2025 @icseconf.bsky.social
www.youtube.com/watch?v=YyFo...
www.youtube.com/watch?v=YyFo...
David Parnas Keynote ICSE2025: Regulation of AI and Other Untrustworthy Software
YouTube video by Timothy Lethbridge
www.youtube.com
May 9, 2025 at 7:28 AM
Here's the recording of David Parnas' keynote at #icse2025 @icseconf.bsky.social
www.youtube.com/watch?v=YyFo...
www.youtube.com/watch?v=YyFo...
Back from #ICSE2025, where we also discussed the twin transformations of sustainability and digital society, I'm pleased to see that after my keynote at the @Weizenbaum Institute last year, the corresponding paper on a research roadmap for sustainable intelligence has ...
Digital Technologies for Sustainability - Climate change and AI: A research agenda for sustainableintelligence
Artificial intelligence represents one of the most powerful technologies currently available to humanity, offering immense potential for transformative change. It has the potential to assist us in addressing our most pressing climate change concerns. It can also enhance our ability to promote and lead the transition to sustainability. However, it is also important to acknowledge that AI is a technology that requires significant resources. It is estimated that by 2025–2026, the daily training costs for the large AI models wil exceed the global computing capacity. This chapter presents the latest developments in AI for sustainability transformation and sustainable AI, with a particular focus on reducing resource consumption. It introduces the concept of sustainable intelligence and discusses a research agenda featuring a multidisciplinary, transformative approach to the design and development of AI technologies and AI-based systems, with the objective of ensuring their development in an environmentally friendly and socially responsible manner, and with the aim of investigating their impact on the natural, technical and societal environment.
www.nomos-elibrary.de
May 8, 2025 at 8:30 AM
Back from #ICSE2025, where we also discussed the twin transformations of sustainability and digital society, I'm pleased to see that after my keynote at the @Weizenbaum Institute last year, the corresponding paper on a research roadmap for sustainable intelligence has ...
Huge congratulations to @profjohngrundy.bsky.social on receiving his IEEE Fellowship at #ICSE2025! Awarded for his contributions to automated software engineering—such well-deserved recognition for his outstanding impact.
May 8, 2025 at 7:41 AM
Huge congratulations to @profjohngrundy.bsky.social on receiving his IEEE Fellowship at #ICSE2025! Awarded for his contributions to automated software engineering—such well-deserved recognition for his outstanding impact.
Videos of #ICSE2025 keynote presentations are now on our YouTube Channel! www.youtube.com/playlist?lis... Other session videos will follow in the coming weeks, as we receive requests.
ICSE 2025 - YouTube
ICSE, the IEEE/ACM International Conference on Software Engineering, is the premier software engineering conference. It will be held April 27-May 3 2025 in O...
www.youtube.com
May 7, 2025 at 9:09 PM
Videos of #ICSE2025 keynote presentations are now on our YouTube Channel! www.youtube.com/playlist?lis... Other session videos will follow in the coming weeks, as we receive requests.
Check out our ROSARUM benchmark, part of our #icse2025 paper on backdoors and fuzzing:
▶️ It is a fuzzing benchmark (can fuzzers trigger backdoors reliably and fast?)
▶️ It is a backdoor detection benchmark (can code analyses find backdoors reliably?)
⬇️ github.com/binsec/rosarum
▶️ It is a fuzzing benchmark (can fuzzers trigger backdoors reliably and fast?)
▶️ It is a backdoor detection benchmark (can code analyses find backdoors reliably?)
⬇️ github.com/binsec/rosarum
GitHub - binsec/rosarum: A novel backdoor detection benchmark
A novel backdoor detection benchmark. Contribute to binsec/rosarum development by creating an account on GitHub.
github.com
May 7, 2025 at 1:32 PM
Check out our ROSARUM benchmark, part of our #icse2025 paper on backdoors and fuzzing:
▶️ It is a fuzzing benchmark (can fuzzers trigger backdoors reliably and fast?)
▶️ It is a backdoor detection benchmark (can code analyses find backdoors reliably?)
⬇️ github.com/binsec/rosarum
▶️ It is a fuzzing benchmark (can fuzzers trigger backdoors reliably and fast?)
▶️ It is a backdoor detection benchmark (can code analyses find backdoors reliably?)
⬇️ github.com/binsec/rosarum
Had a great time in Ottawa last week at #ICSE2025! Thanks you to everyone who attended our talks! It was a blast meeting so many new friends and catching up with old ones too. Looking forward to next year and checking out all the great new research everyone is working on! :)
May 6, 2025 at 1:17 PM
Had a great time in Ottawa last week at #ICSE2025! Thanks you to everyone who attended our talks! It was a blast meeting so many new friends and catching up with old ones too. Looking forward to next year and checking out all the great new research everyone is working on! :)
Unser Experte Niklas Bunzel war auf dem 3. Responsible AI Engineering WS (co-located ICSE2025) und präsentierte sein paper "Compliance Made Practical: Translating the EU AI Act into Implementable Security Actions". Folien sind auf LinkedIn veröffentlicht:
www.linkedin.com/feed/update...
www.linkedin.com/feed/update...
May 6, 2025 at 11:36 AM
Unser Experte Niklas Bunzel war auf dem 3. Responsible AI Engineering WS (co-located ICSE2025) und präsentierte sein paper "Compliance Made Practical: Translating the EU AI Act into Implementable Security Actions". Folien sind auf LinkedIn veröffentlicht:
www.linkedin.com/feed/update...
www.linkedin.com/feed/update...
I had an amazing time in Ottawa at #icse2025 and #msr2025! It was a pleasure to meet and connect with so many people there. Looking forward to the next discussion about IaC and SE. Thanks again to @guidosalva.bsky.social, @spdavid.bsky.social, and Roland Meier for the contribution to our paper.
May 5, 2025 at 3:19 PM
I had an amazing time in Ottawa at #icse2025 and #msr2025! It was a pleasure to meet and connect with so many people there. Looking forward to the next discussion about IaC and SE. Thanks again to @guidosalva.bsky.social, @spdavid.bsky.social, and Roland Meier for the contribution to our paper.
How to detect backdoors efficiently?
🗣️ The slides of our #icse2025 presentation on "Finding Backdoors with Fuzzing" are now available at
⬇️ binsec.github.io/assets/publi...
🗣️ The slides of our #icse2025 presentation on "Finding Backdoors with Fuzzing" are now available at
⬇️ binsec.github.io/assets/publi...
May 5, 2025 at 8:49 AM
How to detect backdoors efficiently?
🗣️ The slides of our #icse2025 presentation on "Finding Backdoors with Fuzzing" are now available at
⬇️ binsec.github.io/assets/publi...
🗣️ The slides of our #icse2025 presentation on "Finding Backdoors with Fuzzing" are now available at
⬇️ binsec.github.io/assets/publi...
Finished my last evening in Ottawa with a photo walk. Thank you @icseconf.bsky.social organizers for a perfect conference! It was truly amazing. #icse2025
May 4, 2025 at 1:22 AM
Finished my last evening in Ottawa with a photo walk. Thank you @icseconf.bsky.social organizers for a perfect conference! It was truly amazing. #icse2025
I was very happy that my talk at #ICSE2025 was so well received! Thanks everyone!
Lets go out and touch some grass ✌️ We can use software for good.
Paper: arxiv.org/abs/2503.12640
Lets go out and touch some grass ✌️ We can use software for good.
Paper: arxiv.org/abs/2503.12640
May 3, 2025 at 10:24 PM
I was very happy that my talk at #ICSE2025 was so well received! Thanks everyone!
Lets go out and touch some grass ✌️ We can use software for good.
Paper: arxiv.org/abs/2503.12640
Lets go out and touch some grass ✌️ We can use software for good.
Paper: arxiv.org/abs/2503.12640
🎓 We're deeply grateful to @uottawa.bsky.social and @carleton.ca, our local university partners, for their incredible support in hosting #icse2025 in the heart of Canada’s capital! 🇨🇦
Merci & Thank You! 🍁
Merci & Thank You! 🍁
May 3, 2025 at 9:09 PM
🎓 We're deeply grateful to @uottawa.bsky.social and @carleton.ca, our local university partners, for their incredible support in hosting #icse2025 in the heart of Canada’s capital! 🇨🇦
Merci & Thank You! 🍁
Merci & Thank You! 🍁
A massive thank you also to our biggest sponsor, Huawei! Your generous support helped us bring #icse2025 to life across talks, events, and community moments. We’re grateful for your commitment to advancing #softwareengineering. 🙌
May 3, 2025 at 9:06 PM
A massive thank you also to our biggest sponsor, Huawei! Your generous support helped us bring #icse2025 to life across talks, events, and community moments. We’re grateful for your commitment to advancing #softwareengineering. 🙌
Special shoutout to IBM, our first corporate sponsor to sign up to sponsor #icse2025! Your early support helped set the stage for an incredible conference. Thank you for championing the future of #softwareengineering! 🙌
May 3, 2025 at 9:06 PM
Special shoutout to IBM, our first corporate sponsor to sign up to sponsor #icse2025! Your early support helped set the stage for an incredible conference. Thank you for championing the future of #softwareengineering! 🙌
💙 A huge THANK YOU to all our amazing sponsors who helped make #icse2025 possible! Your support fuels innovation, connection, and community in software engineering. 🙌
May 3, 2025 at 9:06 PM
💙 A huge THANK YOU to all our amazing sponsors who helped make #icse2025 possible! Your support fuels innovation, connection, and community in software engineering. 🙌
🎉What a week! #icse2025 has been an incredible success, packed with groundbreaking research, inspiring keynotes, and unforgettable moments.
What was your favourite session or moment? 💡
What was your favourite session or moment? 💡
May 3, 2025 at 9:03 PM
🎉What a week! #icse2025 has been an incredible success, packed with groundbreaking research, inspiring keynotes, and unforgettable moments.
What was your favourite session or moment? 💡
What was your favourite session or moment? 💡
The final #icse2025 sessions are underway. Don't miss the last opportunities to engage, learn, and connect. Let's finish strong! 🚀
#SoftwareEngineering #ICSEWorkshops
#SoftwareEngineering #ICSEWorkshops
May 3, 2025 at 8:02 PM
The final #icse2025 sessions are underway. Don't miss the last opportunities to engage, learn, and connect. Let's finish strong! 🚀
#SoftwareEngineering #ICSEWorkshops
#SoftwareEngineering #ICSEWorkshops
🥗After yet another delicious lunch and conversations that sparked ideas and connections, we're back at it!
Workshop sessions are in full swing this afternoon at #icse2025!
#SoftwareEngineering #ICSEWorkshops
Workshop sessions are in full swing this afternoon at #icse2025!
#SoftwareEngineering #ICSEWorkshops
May 3, 2025 at 5:57 PM
🥗After yet another delicious lunch and conversations that sparked ideas and connections, we're back at it!
Workshop sessions are in full swing this afternoon at #icse2025!
#SoftwareEngineering #ICSEWorkshops
Workshop sessions are in full swing this afternoon at #icse2025!
#SoftwareEngineering #ICSEWorkshops
Marvin is presenting our initial paper on guidelines for empirical research involving LLMs in software engineering. This is still evolving. You can find the most current version of the guidelines here:
https://llm-guidelines.org/guidelines/
@icseconf #icse2025
https://llm-guidelines.org/guidelines/
@icseconf #icse2025
May 3, 2025 at 2:26 PM
Marvin is presenting our initial paper on guidelines for empirical research involving LLMs in software engineering. This is still evolving. You can find the most current version of the guidelines here:
https://llm-guidelines.org/guidelines/
@icseconf #icse2025
https://llm-guidelines.org/guidelines/
@icseconf #icse2025
