Kostas Ferles

According to our database, Kostas Ferles authored at least 15 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Split Gröbner Bases for Satisfiability Modulo Finite Fields.

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig

IACR Cryptol. ePrint Arch., 2024

2023

Practical Security Analysis of Zero-Knowledge Proof Circuits.

Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng

IACR Cryptol. ePrint Arch., 2023

2022

Synthesizing fine-grained synchronization protocols for implicit monitors.

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

Proc. ACM Program. Lang., 2022

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

CoRR, 2022

2021

Verifying correct usage of context-free API protocols.

Kostas Ferles, Jon Stephens, Isil Dillig

Proc. ACM Program. Lang., 2021

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.

Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Symbolic Reasoning for Automatic Signal Placement.

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

ACM SIGOPS Oper. Syst. Rev., 2020

Verifying Correct Usage of Context-Free API Protocols (Extended Version).

Kostas Ferles, Jon Stephens, Isil Dillig

CoRR, 2020

2019

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.

Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2018

Symbolic Reasoning for Automatic Signal Placement (Extended Version).

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

CoRR, 2018

Singularity: pattern fuzzing for worst case complexity.

Jiayi Wei, Jia Chen, Yu Feng, Kostas Ferles, Isil Dillig

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

An efficient data structure for must-alias analysis.

George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, Yannis Smaragdakis

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Failure-Directed Program Trimming (Extended Version).

Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig

CoRR, 2017

Failure-directed program trimming.

Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A Datalog model of must-alias analysis.

George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis

Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017