A Datalog model of must-alias analysis. - George Balatsouras; Kostas Ferles; George Kastrinis; Yannis Smaragdakis (SOAP@PLDI, 2017)

Failure-directed program trimming. - Kostas Ferles; Valentin Wüstholz; Maria Christakis; Isil Dillig (ESEC/SIGSOFT FSE, 2017)

Failure-Directed Program Trimming (Extended Version). - Kostas Ferles; Valentin Wüstholz; Maria Christakis; Isil Dillig (CoRR, 2017)

An efficient data structure for must-alias analysis. - George Kastrinis; George Balatsouras; Kostas Ferles; Nefeli Prokopaki-Kostopoulou; Yannis Smaragdakis (CC, 2018)

Symbolic reasoning for automatic signal placement. - Kostas Ferles; Jacob Van Geffen; Isil Dillig; Yannis Smaragdakis (PLDI, 2018)

Singularity: pattern fuzzing for worst case complexity. - Jiayi Wei; Jia Chen; Yu Feng 001; Kostas Ferles; Isil Dillig (ESEC/SIGSOFT FSE, 2018)

Symbolic Reasoning for Automatic Signal Placement (Extended Version). - Kostas Ferles; Jacob Van Geffen; Isil Dillig; Yannis Smaragdakis (CoRR, 2018)

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. - Yuepeng Wang 001; Shuvendu K. Lahiri; Shuo Chen; Rong Pan; Isil Dillig; Cody Born; Immad Naseer; Kostas Ferles (VSTTE, 2019)

Verifying Correct Usage of Context-Free API Protocols (Extended Version). - Kostas Ferles; Jon Stephens; Isil Dillig (CoRR, 2020)

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. - Jon Stephens; Kostas Ferles; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig (SP, 2021)

Verifying correct usage of context-free API protocols. - Kostas Ferles; Jon Stephens; Isil Dillig (Proc. ACM Program. Lang., 2021)

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version). - Kostas Ferles; Benjamin Sepanski; Rahul Krishnan; James Bornholt; Isil Dillig (CoRR, 2022)

Synthesizing fine-grained synchronization protocols for implicit monitors. - Kostas Ferles; Benjamin Sepanski; Rahul Krishnan; James Bornholt; Isil Dillig (Proc. ACM Program. Lang., 2022)

Split Gröbner Bases for Satisfiability Modulo Finite Fields. - Alex Ozdemir; Shankara Pailoor; Alp Bassa; Kostas Ferles; Clark W. Barrett; Isil Dillig (CAV (1), 2024)

Practical Security Analysis of Zero-Knowledge Proof Circuits. - Hongbo Wen; Jon Stephens; Yanju Chen; Kostas Ferles; Shankara Pailoor; Kyle Charbonnet; Isil Dillig; Yu Feng 001 (USENIX Security Symposium, 2024)