Alperen Keles
Publications.

Evaluating Shrinking (Experience Report)

Haskell 2026

Alperen Keles, George Miao, Leonidas Lampropoulos

PDF

Programmable Property-Based Testing

ICFP 2026

Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos

PDF DOI write-up
Distinguished Paper

QuickerChick

ICFP 2026 SRC

Ivan Mladenov, Alperen Keles, Leonidas Lampropoulos

DIRT: Database-Integrated Random Testing

DBTest 2026

Alperen Keles, Ethan Chou, Harrison Goldstein, Leonidas Lampropoulos

PDF write-up

Etna: An Evaluation Platform for Property-Based Testing

JFP

Alperen Keles, Jessica Shi, Nikhil Kamath, Tin Nam Liu, Ceren Mert, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos

PDF write-up

Tail: A Typed and Structured Document Editor

POPL 2024 SRC

Alperen Keles

PDF

Etna: An Evaluation Platform for Property-Based Testing (Experience Report)

ICFP 2023

Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos

PDF DOI write-up

Protocol Verification Language

CGO 2020 SRC

Alperen Keles, Ozan Akin, Ozan Sazak, Umut Sahin

DroPPPP: A P4 Approach to Mitigating DoS Attacks in SDN

WISA 2019

Goksel Simsek, Hakan Bostan, Alper Kaan Sarica, Egemen Sarikaya, Alperen Keles, Pelin Angin, Hande Alemdar, Ertan Onur

DOI