Gates Dell Complex 5.402
Austin, TX 78712
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.
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.
|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 PublicationsA complete list of publications can be found here.
OOPSLA’22Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors.In Object-Oriented Programming, Systems, Languages & Applications 2022
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’17Failure-directed program trimmingIn Foundations of Software Engineering 2017