Alperen Keles
posts
resume
papers
research
projects
talks
|
Talks and Presentations
.
The Art of Database Testing
EN
#database-testing
#property-based-testing
DC Systems 011 — Antithesis
Tip Sistemleri / Type Systems
TR
#type-systems
#programming-languages
Hafif Programming
AI ve Yazılım Mühendisliği Üzerine
TR
#ai
#software-engineering
Konuklu Hasbihal — Mustafa Emre Özmen
A practical introduction to property-based testing
EN
#property-based-testing
Bobkonf presentation
slides (pdf)
ETNA: An Evaluation Platform for Property-Based Testing
EN
#property-based-testing
#benchmarking
ICFP23
ICFP Programming Contest Report
EN
#programming-contest
#functional-programming
ICFP22
Introduction to PBT
EN
#property-based-testing
Turkiye Java Community
Designing A Document Processor
EN
#functional-programming
#document-processing
Lambdaconf Presentation
Correctness-Oriented Programming with AI
EN
#ai
#software-engineering
Ritual Academy Chat
slides (pdf)
What is random testing, and why do you need it?
EN
#property-based-testing
#random-testing
TopSort Brownbag
slides (pdf)
