Follow
Kostas Ferles
Kostas Ferles
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
Formal verification of workflow policies for smart contracts in azure blockchain
Y Wang, SK Lahiri, S Chen, R Pan, I Dillig, C Born, I Naseer, K Ferles
Verified Software. Theories, Tools, and Experiments: 11th International …, 2020
147*2020
Singularity: Pattern fuzzing for worst case complexity
J Wei, J Chen, Y Feng, K Ferles, I Dillig
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
462018
Smartpulse: Automated checking of temporal properties in smart contracts
J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig
2021 IEEE Symposium on Security and Privacy (SP), 555-571, 2021
452021
Failure-directed program trimming
K Ferles, V Wüstholz, M Christakis, I Dillig
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
242017
An efficient data structure for must-alias analysis
G Kastrinis, G Balatsouras, K Ferles, N Prokopaki-Kostopoulou, ...
Proceedings of the 27th International Conference on Compiler Construction, 48-58, 2018
112018
A datalog model of must-alias analysis
G Balatsouras, K Ferles, G Kastrinis, Y Smaragdakis
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
112017
Verifying correct usage of context-free API protocols
K Ferles, J Stephens, I Dillig
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
102021
Symbolic reasoning for automatic signal placement
K Ferles, J Van Geffen, I Dillig, Y Smaragdakis
ACM SIGPLAN Notices 53 (4), 120-134, 2018
72018
Practical Security Analysis of Zero-Knowledge Proof Circuits.
H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ...
IACR Cryptol. ePrint Arch. 2023, 190, 2023
62023
Failure-Directed Program Trimming (Extended Version)
K Ferles, V Wüstholz, M Christakis, I Dillig
arXiv preprint arXiv:1706.04468, 2017
22017
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
K Ferles, B Sepanski, R Krishnan, J Bornholt, I Dillig
arXiv preprint arXiv:2203.00783, 2022
12022
Synthesizing fine-grained synchronization protocols for implicit monitors
K Ferles, B Sepanski, R Krishnan, J Bornholt, I Dillig
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-26, 2022
2022
Symbolic Reasoning for Automatic Signal Placement
K Ferles, J Van Geffen, I Dillig, Y Smaragdakis
ACM SIGOPS Operating Systems Review 54 (1), 64-76, 2020
2020
Symbolic Reasoning for Automatic Signal Placement (Extended Version)
K Ferles, J Van Geffen, I Dillig, Y Smaragdakis
arXiv preprint arXiv:1804.02503, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–14