Hoher Dachstein
Dachsteingebirge, Österreich
30. 6. 2025 - 2. 7. 2025
Pretty River Valley
Niagara Escarpment, Canada
10. 5. 2025
C Bounded Model Checker (CBMC)
Rance Cleaveland Test-of-Time Tool Award à ETAPS 2025
Joint avec D. Kroening et M. Tautschnig, 7. 5. 2025
Albion Falls, Felker's Falls and Devil's Punchbowl
Niagara Escarpment, Canada
4. 5. 2025
Mount Nemo
Niagara Escarpment, Canada
3. 5. 2025
Oxford - Swyncombe - Bald Hill
Chilterns, England
27. 4. 2025
Oxford - Stowe House - Quainton Hill - Brill
Buckinghamshire Hills, England
20. 4. 2025
Newbury - Walbury Hill - Ladle Hill
North Wessex Downs, England
5. 4. 2025
ITEA GENIUS Project
Diffblue receives InnovateUK grant for £1m project on AI for software engineering
Press Release, 2. 4. 2025
Software Verification Competition, SV-COMP'25
JBMC, Java bounded model checker, finished 2nd in Java track
24. 3. 2025
Wichtl-Hütte
Seckauer Alpen und Triebener Tauern, Österreich
22. 3. 2025
Zirbitzkogel
Seetaler Alpen und Saualpe, Österreich
21. 3. 2025
Blog
The Trust Problem in AI-Driven Software Development & What To Do About It
21. 3. 2025
Blog
Overcoming Hallucinations: Combining LLMs with Code Execution
21. 3. 2025
Blog
Towards Autonomous AI Coding Agents: The Future of Software Development?
21. 3. 2025
Talk
Agentic AI: Hype or the Way to Unlock Productivity Gains in Software Engineering?
Predict'25, 14. 1. 2025
PC member
International Conference on Software Engineering, ICSE'26
4. 12. 2024
Angerstein
Dachsteingebirge, Österreich
30. 7. 2024
Kalmberge
Salzkammergut, Österreich
26. 7. 2024
Mention dans un rapport de recherche
Gen AI in Software
Capgemini Research Institute, 22. 7. 2024
Meet-up sur l'importance de l'assurance de qualité et du test
Does AI-generated code need to be tested?
Oxfordshire - Leaders in Tech, 3. 7. 2024
Débat public
AI Investing in a post-LLM world
Évènement d'IP Group Deeptech, 2. 7. 2024
Interview
Diffblue CTO Peter Schrammel on AI, trust, and the beauty of code
The Diff newsletter, 19. 6. 2024
Best paper award à NETYS'24
Networked Systems
Static Data Race Detection via Lazy Sequentialization
Joint avec B. Fischer, G. Garbi, S. La Torre et G. Parlato, 31. 5. 2024
The Roaches, Axe Edge Moor and Tegg's Nose
Peak District, England
25. 5. 2024
Skirrid Fawr
Black Mountains, Wales
4. 5. 2024
Blog post
Mountain biking ≠ mountain biking
On the varieties of cycling in the mountains, 28. 4. 2024
Cleeve Hill
Cotswolds, England
25. 4. 2024
Taming the Infinities of Concurrency
Template-Based Verification of Array-Manipulating Programs
Joint avec V. Malík et T. Vojnar, 20. 3. 2024
Mention dans Podcast
Mastering Product Alignment: Crafting Product Strategy for GTM Success
Matthew Richards dans Behind Startup Lines avec Phil Guest, 8. 2. 2024
Interview
Spryte AI Spotlight
16. 1. 2024
Gscheideggkogel
Eisenerzer Alpen, Österreich
26. 12. 2023
Article sur DZone
Does AI-generated code need to be tested even more?
23. 12. 2023
Long Mynd
Shropshire Hills, England
2. 12. 2023
Caer Caradoc
Shropshire Hills, England
1. 12. 2023
Mention sur STX Next
Will AI replace programmers?
Blog post par L. Kurasińska et M. Fraķ, 25. 10. 2023
PC Member
Computer-Aided Verification CAV 2024
4. 10. 2023
Article sur Hackernoon
Does AI-generated code need to be tested?
12. 9. 2023
PC Member
Foundations of Software Engineering FSE 2024
7. 8. 2023
Software Verification Competition, SV-COMP'23
JBMC, Java bounded model checker, won the Java track
3. 2. 2023
Software Verification Competition, SV-COMP'23
2LS, a C verification tool, finished 8th in C track
3. 2. 2023
Article de blog
How to Test a Secured Spring Web MVC Endpoint with MockMvc
1. 12. 2022
Diffblue Expands AI Code Writing Platform – Raises $8 Million
Communiqué de presse, 20. 11. 2022
Mention dans IEEE Spectrum
Coding Made AI—Now, How Will AI Unmake Coding?
Article par Craig S. Smith, 18. 9. 2022
Concert
International Oxford Horn Trio
Œuvres de A. Piazzolla, J. Brahms, F. W. Voigt et P. Schrammel
15. 9. 2022
Podcast Eye on AI Episode #106
Automatically writing code and its impact on developers
Podcast par Craig S. Smith, 7. 9. 2022
Blog post
Guide to Overriding Spring Boot Properties for Testing
4. 9. 2022
Papier accepté auprès d'ASE'22
Automated Software Engineering
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
7. 7. 2022
Mention sur Tech Monitor
AI coding assistants like Amazon CodeWhisperer and Github Copilot are here to stay
Article par Matthew Gooding, 23. 6. 2022
Mention sur Tech Monitor
Developers not going to be replaced by AI yet
Article par Matthew Gooding, 10. 2. 2022
Mention sur Medium
How AI Is Helping Programmers
Article par Zainab Aftab Chaudhry, 7. 7. 2021
Article sur Hackernoon
How to Start Using Diffblue Cover: Community Edition For Unit Testing
Édité par Craig S. Smith, 7. 1. 2021
Informatique
Musique
