Konstantinos Ferles

Postdoctoral Researcher
Dr. Konstantinos Ferles is a Postdoctoral Fellow at the Computer Science Department. He is working under the supervision of Işıl Dillig and is a member of the UToPiA group. He received his Ph.D. from UT Austin in December of 2020 while also working under the supervision of Işıl Dillig. Prior to UT Austin, he received his B.Sc. and M.Sc. degrees (both in C.S.) from the University of Athens, Greece. The goal of his research is to aid developers in writing correct and efficient code by using a combination of program analysis and program synthesis techniques.

Select Publications

Ferles, Kostas, Stephens, Jon, and Dillig, Isil. 2021. Verifying correct usage of context-free API protocols..
Stephens, Jon, Ferles, Kostas, Mariano, Benjamin, Lahiri, Shuvendu, and Dillig, Isil. 2021. SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
Wang, Yuepeng, Lahiri, Shuvendu K, Chen, Shuo, Pan, Rong, Dillig, Isil, Born, Cody, Naseer, Immad, and Ferles, Kostas. 2019. Formal verification of workflow policies for smart contracts in azure blockchain.
Wei, Jiayi, Chen, Jia, Feng, Yu, Ferles, Kostas, and Dillig, Isil. 2018. Singularity: Pattern fuzzing for worst case complexity.
Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, and Smaragdakis, Yannis. 2018. Symbolic reasoning for automatic signal placement.