- LLM4Code
- Software Engineering
- Systems
- LLM Systems
- Deep Learning
- LLM
- Musings
- LLM
•
•
•
•
•
•
•
-
Paper Notes: Has the Bug Really Been Fixed?
Reading Gu, Barr, Hamilton, and Su's ICSE'10 paper on detecting bad bug fixes with distance-bounded weakest preconditions.
-
Hello, welcome to my homepage