Best paper award at NETYS'24
Networked Systems
Static Data Race Detection via Lazy Sequentialization
Joint work with B. Fischer, G. Garbi, S. La Torre, and 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
Mountain biking ≠ mountain biking
On the varieties of cycling in the mountains, 28. 4. 2024
Cleeve Hill
Cotswolds, England
25. 4. 2024
Mention in Podcast
Mastering Product Alignment: Crafting Product Strategy for GTM Success
Matthew Richards in Phil Guest's Behind Startup Lines, 8. 2. 2024
Interview
Spryte AI Spotlight
16. 1. 2024
Gscheideggkogel
Eisenerzer Alpen, Österreich
26. 12. 2023
Article on DZone
Does AI-generated code need to be tested even more?
23. 12. 2023
Software Verification Competition, SV-COMP'24
JBMC, Java bounded model checker, finished 2nd in Java track
20. 12. 2023
Software Verification Competition, SV-COMP'24
2LS, a C verification tool, finished 10th in C track
20. 12. 2023
Long Mynd
Shropshire Hills, England
2. 12. 2023
Caer Caradoc
Shropshire Hills, England
1. 12. 2023
Cathedral Redwoods
Southern Pacific Coast Ranges, United States
17. 11. 2023
Mission Peak
Southern Pacific Coast Ranges, United States
17. 11. 2023
Fort St-Eynard
Chartreuse, France
11. 11. 2023
Mont Morbié et Col du Potat
Bauges, France
10. 11. 2023
Grenoble - Le Touvet
Chartreuse, France
9. 11. 2023
Pointe de la Gorgeat
Chartreuse, France
7. 11. 2023
Mention in STX Next
Will AI replace programmers?
Blog post by L. Kurasińska and M. Fraķ, 25. 10. 2023
Gloucester - Stroud - Burford - Oxford
Cotswolds, England
6. 10. 2023 - 7. 10. 2023
PC Member
Computer-Aided Verification CAV 2024
4. 10. 2023
Article on Hackernoon
Does AI-generated code need to be tested?
12. 9. 2023
Admonter Reichenstein
Ennstaler Alpen, Österreich
1. 9. 2023
Drachenwand-Klettersteig
Osterhorngruppe und Fuschler Voralpen, Österreich
20. 8. 2023
Hochkarfelderkopf
Tennengebirge, Österreich
18. 8. 2023
Plassen
Dachsteingebirge, Österreich
16. 8. 2023
Mahdlgupf
Salzkammergut, Österreich
12. 8. 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
Blog post
How to Test a Secured Spring Web MVC Endpoint with MockMvc
1. 12. 2022
Diffblue Expands AI Code Writing Platform – Raises $8 Million
Press Release, 20. 11. 2022
Mention in IEEE Spectrum
Coding Made AI—Now, How Will AI Unmake Coding?
Article by Craig S. Smith, 18. 9. 2022
Concert
International Oxford Horn Trio
Works by A. Piazzolla, J. Brahms, F. W. Voigt, and P. Schrammel
15. 9. 2022
Podcast Eye on AI Episode #106
Automatically writing code and its impact on developers
Podcast by Craig S. Smith, 7. 9. 2022
Blog post
Guide to Overriding Spring Boot Properties for Testing
4. 9. 2022
Paper accepted at ASE'22
Automated Software Engineering
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
7. 7. 2022
Mention in Tech Monitor
AI coding assistants like Amazon CodeWhisperer and Github Copilot are here to stay
Article by Matthew Gooding, 23. 6. 2022
Mention in Tech Monitor
Developers not going to be replaced by AI yet
Article by Matthew Gooding, 10. 2. 2022
Mention in Medium
How AI Is Helping Programmers
Article by Zainab Aftab Chaudhry, 7. 7. 2021
Article on Hackernoon
How to Start Using Diffblue Cover: Community Edition For Unit Testing
Edited by Craig S. Smith, 7. 1. 2021
Computer Science
Music
Mountains

Legal Notices