logseq/journals/2025_09_16.md

progress:: {{renderer :todomaster}} icon:: 📅 boox-notes::

- ### Tasks
	-
- ### Notes
	- **[[SWEN]] talk on Semantic transformations vs Iterative repair: handling bugs with LLMs** (Max Hort)
		- Work with Simula
		- Detection and fixing vulnerabilities with LLMs
			- ![image.png](../assets/image_1758026244401_0.png)
			- Semantic preservig transformations essentially based on variable renaming
				- ![image.png](../assets/image_1758026288177_0.png){:height 516, :width 808}
				- ![image.png](../assets/image_1758026357281_0.png)
				- ![image.png](../assets/image_1758026397882_0.png)
				- ![image.png](../assets/image_1758026438853_0.png)
				- ![image.png](../assets/image_1758026508462_0.png)
				- How do you ensure that the functionalities remain the same? #question
				- ![image.png](../assets/image_1758027202868_0.png)
				- ![image.png](../assets/image_1758027303873_0.png)
				- How do you check if a bug has been fixed during iterations #question
				- ![image.png](../assets/image_1758027583266_0.png){:height 508, :width 891}
				-
				-
	-