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
C Born, I Naseer, K Ferles
Verified Software. Theories, Tools, and Experiments: 11th International …, 2020
66*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
232018
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
162017
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
82018
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
82017
Symbolic reasoning for automatic signal placement
K Ferles, J Van Geffen, I Dillig, Y Smaragdakis
ACM SIGPLAN Notices 53 (4), 120-134, 2018
42018
Verifying correct usage of context-free API protocols.
K Ferles, J Stephens, I Dillig
Proc. ACM Program. Lang. 5 (POPL), 1-30, 2021
22021
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
J Stephens, K Ferles, B Mariano, S Lahiri, I Dillig
IEEE S&P, 2021
22021
Verifying Correct Usage of Context-Free API Protocols (Extended Version)
K Ferles, J Stephens, I Dillig
arXiv preprint arXiv:2010.09652, 2020
12020
Failure-Directed Program Trimming (Extended Version)
K Ferles, V Wüstholz, M Christakis, I Dillig
arXiv preprint arXiv:1706.04468, 2017
12017
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–12