Kostas Ferles

Veridise

About Me

I am the Chief Research Officer at Veridise, Inc, where our goal is to harden blockchain security with formal methods.

I received my Ph.D. from the University of Texas, Austin (UT Austin) in December 2020. After graduating, I extended my stay at UT Austin for a brief postdoc position (until May of 2021). All my years at UT, I was working under the supervision of Işıl Dillig and was a member of the UToPiA group. Prior to UT Austin, I received my B.Sc. and M.Sc. degrees (both in C.S.) from the University of Athens, Greece. During my master’s, I was working as a research assistant under the supervision of Yannis Smaragdakis.


Research Interests

The goal of my research is to aid developers in writing correct and efficient code by using a combination of program analysis and program synthesis techniques. You can find a complete list of my publications here.

news

Jun 13, 2023 Happy to announce that I was promoted Chief Research Officer at Veridise.
Jan 10, 2023 I will be serving as the Web Co-chair of POPL’24.
Jun 15, 2022 I will be serving as an external reviewer for papers and artifacts at OOPSLA’23
Jun 1, 2022 I joined Veridise as a Principle Scientist.

Selected Publications

A complete list of publications can be found here.

  1. OOPSLA’22
    Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors.
    Ferles, Kostas, Sepanski, Benjamin, Krishnan, Rahul, Bornholt, James, and Dillig, Isil
    In Object-Oriented Programming, Systems, Languages & Applications 2022
    PDF
  2. POPL’21
    Verifying correct usage of context-free API protocols.
    Ferles, Kostas, Stephens, Jon, and Dillig, Isil
    In Symposium on Principles of Programming Languages 2021
    PDF
  3. Oakland’21
    SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
    Stephens, Jon, Ferles, Kostas, Mariano, Benjamin, Lahiri, Shuvendu, and Dillig, Isil
    In IEEE Symposium on Security and Privacy 2021
    PDF
  4. VSTTE’19
    Formal verification of workflow policies for smart contracts in azure blockchain
    Wang, Yuepeng, Lahiri, Shuvendu K, Chen, Shuo, Pan, Rong, Dillig, Isil, Born, Cody, Naseer, Immad, and Ferles, Kostas
    In Working Conference on Verified Software: Theories, Tools, and Experiments 2019
    PDF
  5. PLDI’18
    Symbolic reasoning for automatic signal placement
    Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, and Smaragdakis, Yannis
    In Programming Language Design and Implementation 2018
    PDF
  6. FSE’17
    Failure-directed program trimming
    Ferles, Kostas, Wüstholz, Valentin, Christakis, Maria, and Dillig, Isil
    In Foundations of Software Engineering 2017
    PDF