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
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2019
51*2019
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
162018
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
152017
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
72018
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
62017
Symbolic reasoning for automatic signal placement
K Ferles, J Van Geffen, I Dillig, Y Smaragdakis
ACM SIGPLAN Notices 53 (4), 120-134, 2018
22018
Failure-Directed Program Trimming (Extended Version)
K Ferles, V Wüstholz, M Christakis, I Dillig
arXiv preprint arXiv:1706.04468, 2017
12017
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
2021
Verifying Correct Usage of Context-Free API Protocols (Extended Version)
K Ferles, J Stephens, I Dillig
arXiv preprint arXiv:2010.09652, 2020
2020
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–11