You need to be logged in to use this feature.
We create a domain-specific programming language, PVL, which aims to verify program implementations against their specifications via an internal verification engine embedded into PVL compiler.
Tags: Engineering, Computer Science, Software Engineering, Safety-Critical Systems.
Alperen Keleş is a senior computer engineering student at the Middle East Technical University of Turkey. He is a debater, chess player, writer, and researcher. Alperen likes organising and participating in events such as hackathons and likes creating and working on research projects. Throughout his undergraduate studies, Alperen worked on network security and machine learning, formal verification and model checking, compilers and programming languages, heap exploitation and program synthesis through different projects. He loves learning more than anything and hopes to continue learning various domains.