Alperen Keles
posts
resume
research
projects
talks
documents
|
Entries tagged :: ai
.
2026-02-24
Specifiability is the Leverage
en
[software engineering, ai]
11 min read
2026-02-11
The Mechanics of Autonomous Software Translation
en
[software engineering, ai, testing]
12 min read
2026-02-06
LLMs could be, but shouldn't be compilers
en
[software engineering, ai]
8 min read
2025-11-18
Verification is Not the Silver Bullet
en
[software engineering, ai]
5 min read
2025-08-31
Breaking Verifiable Abstractions
en
[software engineering, ai]
8 min read
2025-03-09
Verifiability is the Limit
en
[software engineering, ai]
9 min read
AI ve Yazılım Mühendisliği Üzerine
tr
[ai, software-engineering]
1 min read
Konuklu Hasbihal — Mustafa Emre Özmen
Read more ⟶
