Kostas Ferles
Computer Science Department @ The University of Texas at Austin
Gates Dell Complex 5.402
2317 Speedway
Austin, TX 78712
About Me
I am Postdoctoral Fellow at the Computer Science Department in the University of Texas, Austin (UT Austin). I am working under the supervision of Işıl Dillig and I am a member of the UToPiA group. I received my Ph.D. from UT Austin in December of 2020 while also working under the supervision of Işıl Dillig. 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
| Dec 16, 2021 | Our paper will appear at OOPSLA'22 |
|---|---|
| Oct 23, 2021 | I am on the academic job market this year. |
| Oct 23, 2021 | I will be serving on the PLDI’22 Program Committee. |
| Dec 18, 2020 |
I received my Ph.D. degree 
|
Selected Publications
A complete list of publications can be found here.-
POPL’21Verifying correct usage of context-free API protocols.In Symposium on Principles of Programming Languages 2021
-
Oakland’21SmartPulse: Automated Checking of Temporal Properties in Smart ContractsIn IEEE Symposium on Security and Privacy 2021
-
VSTTE’19Formal verification of workflow policies for smart contracts in azure blockchainIn Working Conference on Verified Software: Theories, Tools, and Experiments 2019
-
PLDI’18Symbolic reasoning for automatic signal placementIn Programming Language Design and Implementation 2018
-
FSE’17